Charles Sanders Peirce, George Spencer Brown, and Me • 5

Posted on August 12, 2017 by Jon Awbrey

Peirce's Law

Here are blog and wiki versions of an article I wrote on Peirce’s Law, an axiom or theorem (depending on your choice of logical basis) which distinguishes classical from intuitionistic propositional calculus.  Aside from its pivotal logical status it affords a nice illustration of several important features of logical graphs in the style of Peirce and Spencer Brown.

Resource

cc: Cybernetics • Laws of Form • Ontolog • Peirce • Structural Modeling • Systems Science

This entry was posted in Abstraction, Amphecks, Analogy, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Deduction, Differential Logic, Duality, Form, Graph Theory, Inquiry, Inquiry Driven Systems, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Peirce, Proof Theory, Propositional Calculus, Semiotics, Sign Relational Manifolds, Sign Relations, Spencer Brown, Theorem Proving, Time, Topology and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

5 Responses to Charles Sanders Peirce, George Spencer Brown, and Me • 5

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

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

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

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

  5. Pingback: Survey of Animated Logical Graphs • 7 | Inquiry Into Inquiry

Leave a comment

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