Category Archives: Inquiry Driven Systems

In the Way of Inquiry • Reconciling Accounts

The Reader may share with the Author a feeling of discontent at this point, attempting to reconcile the formal intentions of this inquiry with the cardinal contentions of experience.  Let me try to express the difficulty in the form of … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | Leave a comment

In the Way of Inquiry • Material Exigency

Our survey of obstacles to inquiry has dealt at length with blocks arising from its formal aspects.  On the other hand, I have cast this project as an empirical inquiry, proposing to represent experimental hypotheses in the form of computer … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | Leave a comment

In the Way of Inquiry • Formal Apology

Using form in the sense of abstract structure, the focus of my interest in this investigation is limited to the formal properties of the inquiry process.  Among its chief constituents are numbered all the thinking and unthinking processes supporting the … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | Leave a comment

In the Way of Inquiry • Justification Trap

There is a particular type of “justification trap” a person can fall into, of trying to prove the scientific method by solely deductive means, that is, of trying to show the scientific method is a good method by starting from … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 1 Comment

In the Way of Inquiry • Initial Unpleasantness

Clouds and thunder: The image of Difficulty at the Beginning. Thus the superior man Brings order out of confusion. — I Ching ䷂ Hexagram 3 Inquiry begins in doubt, a debit of certainty and a drought of information, never a … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | 1 Comment

In the Way of Inquiry • Obstacles

Upon this first, and in one sense this sole, rule of reason, that in order to learn you must desire to learn, and in so desiring not be satisfied with what you already incline to think, there follows one corollary … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | Leave a comment

In the Way of Inquiry • Recircus

I must lie down where all the ladders start In the foul rag and bone shop of the heart. — W.B. Yeats I have in mind circling back to a point in my project on Inquiry Driven Systems, namely, the chapter … Continue reading

Posted in Animata, C.S. Peirce, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Semiotics | Tagged , , , , , , | Leave a comment

Survey of Differential Logic • 4

This is a Survey of blog and wiki posts on Differential Logic, material I plan to develop toward a more compact and systematic account. Elements Differential Propositional Calculus Part 1 • Part 2 • Appendices • References Differential Logic • … Continue reading

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Equational Inference, Frankl Conjecture, Functional Logic, Gradient Descent, Graph Theory, Hologrammautomaton, Indicator Functions, Inquiry Driven Systems, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Surveys, Time, Topology, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Abduction, Deduction, Induction, Analogy, Inquiry • 31

Re: Scott Aaronson • Explanation-Gödel and Plausibility-Gödel Scott Aaronson asks a question arising from Gödel’s First Incompleteness Theorem, namely, what are its consequences for the differential values of explanation, plausibility, and proof?  I add the following thoughts. A general heuristic … Continue reading

Posted in Abduction, Analogy, Animata, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mathematics, Scientific Method, Semiotics, Visualization | Tagged , , , , , , , , , , , , , , , | 1 Comment

Theme One Program • Exposition 8

Transformation Rules and Equivalence Classes The abstract character of the cactus language relative to its logical interpretations makes it possible to give abstract rules of equivalence for transforming cacti among themselves and partitioning the space of cacti into formal equivalence … Continue reading

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment