Category Archives: Systems

Abduction, Deduction, Induction, Analogy, Inquiry • 30

Re: Richard J. Lipton • The Future Of Mathematics? • Is The End Near? Re: “Proofs Are Not As Important As Discoveries” (PANAIAD). Conjecture and Discovery fall under the heading of Abductive Inference (AI’s missing grape). About which more when I pull … Continue reading

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

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 9

Re: FB | Systems Sciences • Kenneth Lloyd Dear Kenneth, Mulling over recent discussions put me in a pensive frame of mind and my thoughts led me back to my first encounter with category theory.  I came across the term … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic, Dynamic Systems, Tangent Functors • Comment 1

Seeing as how quasi-neural models and the recurring issues of logical-symbolic vs. quantitative-connectionist paradigms have come round again, as they do every dozen or twenty years or so, I thought I might refer again to work I started initially in that … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Abduction, Deduction, Induction, Analogy, Inquiry • 29

Re: Ontolog Forum • Michael DeBellis Questions about Abduction in AI and Computer Science raised in the Ontolog Forum prompted me to look up previous discussions tracing the integral relationship among information, inquiry, and the three types of inference.  Here’s … Continue reading

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

Abduction, Deduction, Induction, Analogy, Inquiry • 28

Re: Ontolog Forum • Michael DeBellis • Adrian Walker MDB: I’m currently auditing a fascinating seminar at Berkeley on Semiotics and Information Theory.  Mostly we are focusing on C.S. Peirce although we’ve also explored other theories such as Shannon’s Information Theory.  … Continue reading

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

Abduction, Deduction, Induction, Analogy, Inquiry • 27

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! I took a look at Avi’s paper “On the Nature of the Theory of Computation” (OtNotToC).  There is … Continue reading

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 2 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 26

Re: Gil Kalai • Avi Wigderson : Integrating Computational Modeling, Algorithms, and Complexity into Theories of Nature Marks a New Scientific Revolution! Projects giving a central place to computation in scientific inquiry go back to Hobbes and Leibniz, at least, … Continue reading

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 6 Comments

Abduction, Deduction, Induction, Analogy, Inquiry • 25

Re: Artem Kaznatcheev • Reductionism : To Computer Science From Philosophy The sense of reduction operative in complexity theory has its roots in Aristotle’s απαγωγη, variously translated as abduction or reduction and sometimes glossed as retroduction by C.S. Peirce.  See my … Continue reading

Posted in Abduction, Analogy, Aristotle, Artificial Intelligence, C.S. Peirce, Deduction, Induction, Inquiry, Inquiry Driven Systems, Intelligent Systems Engineering, Logic, Mental Models, Peirce, Scientific Method, Semiotics, Systems | Tagged , , , , , , , , , , , , , , , | 2 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 8

Re: Systems Science • Len Troncale It’s been a while since I started this thread, with many sidetrips and tangents, so let me go back to the top and expand on the motivations I expressed there, addressing a few issues … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 7

Re: Systems Science • JS Let’s stand back from the picture and see how the dimensions of syntax, semantics, and pragmatics look from a pragmatic semiotic or sign relational perspective. is an object domain, a set of elements under view … Continue reading

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamical Systems, Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Information Theory, Inquiry Driven Systems, Intelligent Systems, Knowledge Representation, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Systems, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments