Tag Archives: Logical Graphs

Inquiry Driven Systems • Comment 2

Posted on February 21, 2018 by Jon Awbrey

I just got reminded of an earlier blog post that more or less fits here.  It links to the bibliography I had in hand and mind when I went back to graduate school in systems engineering to synthesize all the … Continue reading →

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 8 Comments

Animated Logical Graphs • 12

Posted on January 31, 2018 by Jon Awbrey

Re: Facebook Discussion • Meredith Bricken Mills I’ve always been fond of picture proofs — it was one of the things that drew me to graph theory, topology, and the logical graphs of C.S. Peirce and Spencer Brown in the first place.  … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Animated Logical Graphs • 11

Posted on January 30, 2018 by Jon Awbrey

Re: Richard Coyne • Inside Out Logic Venn diagrams make for very iconic representations of their universes of discourse.  That is one of the main sources of their intuitive utility and also the main source of their logical limitations — … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Differential Logic • Comment 3

Posted on December 30, 2017 by Jon Awbrey

In my previous comment on boundaries in object universes and venn diagrams, and always when I’m being careful about their mathematical senses, the definitions of “topology” and “boundary” I have in mind can be found in any standard textbook.  Here are … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Differential Logic • Comment 2

Posted on December 28, 2017 by Jon Awbrey

As always, we have to distinguish between the diagram itself, the representation or sign inscribed in some medium, and the formal object it represents under a given interpretation. A venn diagram is an iconic sign we use to represent a … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Diagrammatic Reasoning, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Differential Logic • Comment 1

Posted on December 21, 2017 by Jon Awbrey

Re: Gil Kalai • Pivotal Variables Just a tangential association with respect to logical influence and pivotability.  I have been exploring questions related to pivotal variables (“Differences that Make a Difference” or “Difference In ⟹ Difference Out”) via logical analogues … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Differential Analytic Turing Automata, Differential Logic, Discrete Dynamical Systems, Graph Theory, Hill Climbing, Hologrammautomaton, Logic, Logical Graphs, Logical Influence, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Pivotal Variables, Propositional Calculus, Propositional Equation Reasoning Systems, Visualization, Zeroth Order Logic | Tagged , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Peirce’s 1903 Lowell Lectures • Comment 10

Posted on December 16, 2017 by Jon Awbrey

Re: Peirce List Discussion • John Sowa JFS: In the Lowell Lectures [1903] Peirce defined the Sheet of Assertion as the representation of a universe that was constructed during a discourse between Graphist and Grapheus. But that is just one … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Comment 9

Posted on November 28, 2017 by Jon Awbrey

Re: Peirce List • John Sowa JFS: In 1911, Peirce clarified [the] issues by using two distinct terms:  ‘the universe’ and ‘a sheet of paper’.  The sheet is no longer identified with the universe, and there is no reason why one couldn’t or … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Comment 8

Posted on November 26, 2017 by Jon Awbrey

Cf: Laws Of Form Discussion • JA Re: Laws Of Form Discussion • JB Re: Peirce List Discussion • JA Many aspects of Peirce’s alpha graphs can be clarified by seeing how they relate to the corresponding Venn diagrams. In … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment

Peirce’s 1903 Lowell Lectures • Comment 7

Posted on November 25, 2017 by Jon Awbrey

Cf: Laws Of Form Discussion • JA Re: Peirce List Discussion • JA I’ll go ahead and copy out the first part of the article on Logical Implication, as I find I am still pleased with all I was able … Continue reading →

Posted in C.S. Peirce, Diagrammatic Reasoning, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce List, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , | Leave a comment