Monthly Archives: December 2018

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 , , , , , , , , , , , , , , , | 3 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 6

Re: Systems Science • JS A few of my readers are racing well ahead of me, exploring a range of different roads, but I’ll be making a dogged effort to stick to my math-bio-graphical narrative this time around, and try … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 5

Re: Systems Science • JS Yes, all these strands are strongly entangled. I had already spent a full decade wrestling with the works of Charles Sanders Peirce and George Spencer Brown before my need to figure out what they were … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 4

Re: Systems Science • LT To clarify my previous remark about General Systems Theory, I wasn’t trying to define a whole field but merely to describe my experience in forums like these, where it took me a while to realize … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 8 Comments

Differential Logic, Dynamic Systems, Tangent Functors • Discussion 3

Re: Systems Science • (1) • (2) • (3) Various discussions in various places bring back to mind this thread from early this fall, prompting me to make a try at continuing it.  Here’s a series of blog posts where … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Semiotics, Semiosis, Sign Relations • 3

For ease of reference, here are two variants of Peirce’s 1902 definition of a sign, which he gives in the process of defining logic. Selections from C.S. Peirce, “Carnegie Application” (1902) No. 12.  On the Definition of Logic Logic will … Continue reading

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 16 Comments

Semiotics, Semiosis, Sign Relations • 2

Here are links to more complete discussions of semiotics. Sign Relations • OEIS Wiki • Wikiversity The approach described here develops from what I regard as the core definition of triadic sign relations, one explicit enough to support a consequential … Continue reading

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 17 Comments

Semiotics, Semiosis, Sign Relations • 1

A first mention of semiotics (and cybersemiotics) in a discussion group gave me a chance to begin a fresh introduction to the subject.  I thought it might be useful to share that here. Here’s the intro to Semiotics I wrote … Continue reading

Posted in C.S. Peirce, Category Theory, Logic, Relation Theory, Semiosis, Semiotics, Sign Relations, Triadic Relations | Tagged , , , , , , , | 17 Comments