Animated Logical Graphs • 57

All other sciences without exception depend upon the principles of mathematics;  and mathematics borrows nothing from them but hints.

C.S. Peirce • “Logic of Number”

A principal intention of this essay is to separate what are known as algebras of logic from the subject of logic, and to re-align them with mathematics.

G. Spencer Brown • Laws of Form

The duality between entitative and existential interpretations of logical graphs tells us something important about the relation between logic and mathematics.  It tells us the mathematical forms giving structure to reasoning are deeper and more abstract at once than their logical interpretations.

A formal duality points to a more encompassing unity, founding a calculus of forms whose expressions can be read in alternate ways by switching the meanings assigned to a pair of primitive terms.  Spencer Brown’s mathematical approach to Laws of Form and the whole of Peirce’s work on the mathematics of logic shows both thinkers were deeply aware of this principle.

Peirce explored a variety of dualities in logic which he treated on analogy with the dualities in projective geometry.  This gave rise to formal systems where the initial constants, and thus their geometric and graph-theoretic representations, had no uniquely fixed meanings but could be given dual interpretations in logic.

It was in this context that Peirce’s systems of logical graphs developed, issuing in dual interpretations of the same formal axioms which Peirce referred to as entitative graphs and existential graphs, respectively.  He developed only the existential interpretation to any great extent, since the extension from propositional to relational calculus appeared more natural in that case, but whether there is any logical or mathematical reason for the symmetry to break at that point is a good question for further research.

Resources

References

  • Peirce, C.S., [Logic of Number — Le Fevre] (MS 229), in Carolyn Eisele (ed., 1976),
    The New Elements of Mathematics by Charles S. Peirce, vol. 2, 592–595.  Excerpt.
  • Spencer Brown, G. (1969), Laws of Form, George Allen and Unwin, London, UK.

cc: Cybernetics (1) (2)Laws of FormFB | Logical Graphs • Ontolog Forum (1) (2)
• Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) • Structural Modeling (1) (2)
• Systems Science (1) (2)

This entry was 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 and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

17 Responses to Animated Logical Graphs • 57

  1. Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry

  2. Pingback: Double Negation • 2 | Inquiry Into Inquiry

  3. Pingback: Animated Logical Graphs • 59 | Inquiry Into Inquiry

  4. Pingback: Animated Logical Graphs • 60 | Inquiry Into Inquiry

  5. Pingback: Animated Logical Graphs • 61 | Inquiry Into Inquiry

  6. Pingback: Animated Logical Graphs • 62 | Inquiry Into Inquiry

  7. Pingback: Animated Logical Graphs • 63 | Inquiry Into Inquiry

  8. Pingback: Animated Logical Graphs • 66 | Inquiry Into Inquiry

  9. Pingback: Animated Logical Graphs • 69 | Inquiry Into Inquiry

  10. Pingback: Animated Logical Graphs • 70 | Inquiry Into Inquiry

  11. Pingback: Animated Logical Graphs • 71 | Inquiry Into Inquiry

  12. Pingback: Animated Logical Graphs • 72 | Inquiry Into Inquiry

  13. Pingback: Animated Logical Graphs • 73 | Inquiry Into Inquiry

  14. Pingback: Animated Logical Graphs • 74 | Inquiry Into Inquiry

  15. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

  16. Pingback: Animated Logical Graphs • 75 | Inquiry Into Inquiry

  17. Pingback: Animated Logical Graphs • 76 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.