Tag Archives: Laws of Form

Survey of Animated Logical Graphs • 7

Posted on March 18, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph‑theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, 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 , , , , , , , , , , , , , , , , , , , , , , , , | 46 Comments

Survey of Theme One Program • 6

Posted on February 26, 2024 by Jon Awbrey

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , , | 35 Comments

Logical Graphs • Interpretive Duality 4

Posted on November 8, 2023 by Jon Awbrey

Re: Peirce’s Law • (1) • (2) • (3) • (4) • (5) • (6) • (7) Re: Logical Graphs • Interpretive Duality • (1) • (2) • (3) Last time we took up Peirce’s law, and saw how it … 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, Interpretive Duality, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Logical Graphs • Interpretive Duality 3

Posted on November 1, 2023 by Jon Awbrey

Re: Peirce’s Law • (1) • (2) • (3) • (4) • (5) • (6) • (7) Re: Logical Graphs • Interpretive Duality • (1) • (2) To see how our choice of interpretation bears on cases beyond the bare … 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, Interpretive Duality, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Logical Graphs • Interpretive Duality 2

Posted on October 29, 2023 by Jon Awbrey

A logical concept represented by a boolean variable has its extension, the cases it covers in a designated universe of discourse, and its comprehension (or intension), the properties it implies in a designated hierarchy of predicates.  The formulas and graphs … 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, Interpretive Duality, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Logical Graphs • Interpretive Duality 1

Posted on October 26, 2023 by Jon Awbrey

The duality between Entitative and Existential interpretations of logical graphs is a good example of a mathematical symmetry, in this case a symmetry of order two.  Symmetries of this and higher orders give us conceptual handles on excess complexity in … 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, Interpretive Duality, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Peirce’s Law • 7

Posted on October 25, 2023 by Jon Awbrey

Equational Form (concl.) The following animation replays the steps of the proof. Reference Peirce, Charles Sanders (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7 (1885), 180–202.  Reprinted (CP 3.359–403), (CE 5, 162–190). … Continue reading →

Posted in C.S. Peirce, Equational Inference, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Law, Proof Theory, Propositional Calculus, Propositions As Types Analogy, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , | 9 Comments

Peirce’s Law • 6

Posted on October 24, 2023 by Jon Awbrey

Equational Form (cont.) Using the axioms and theorems listed in the entries on logical graphs, the equational form of Peirce’s law may be proved in the following manner. Reference Peirce, Charles Sanders (1885), “On the Algebra of Logic : A … Continue reading →

Posted in C.S. Peirce, Equational Inference, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Law, Proof Theory, Propositional Calculus, Propositions As Types Analogy, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , | 9 Comments

Peirce’s Law • 5

Posted on October 23, 2023 by Jon Awbrey

Equational Form A stronger form of Peirce’s law also holds, in which the final implication is observed to be reversible, resulting in the following equivalence. The converse implication is clear enough on general principles, since holds for any proposition Representing … Continue reading →

Posted in C.S. Peirce, Equational Inference, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Law, Proof Theory, Propositional Calculus, Propositions As Types Analogy, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , | 9 Comments

Peirce’s Law • 4

Posted on October 22, 2023 by Jon Awbrey

Proof Animation The following animation replays the steps of the proof. Reference Peirce, Charles Sanders (1885), “On the Algebra of Logic : A Contribution to the Philosophy of Notation”, American Journal of Mathematics 7 (1885), 180–202.  Reprinted (CP 3.359–403), (CE 5, 162–190). Resources … Continue reading →

Posted in C.S. Peirce, Equational Inference, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Peirce's Law, Proof Theory, Propositional Calculus, Propositions As Types Analogy, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , | 9 Comments