Animated Logical Graphs • 51

Peirce's Law

Re: Richard J. LiptonThe Future Of Mathematics?Is The End Near?

Synchronicity being what it is, a long-running discussion on the Peirce List just gave me a handy bridge to a topic I’ve been meaning to take up in several other connections.  So I’m adding my comment to this series, along with links to additional resources.

Re: Peirce List (1) (2) (3) (4) (5)

Pursuing the discussion of many things:
of laws — and graphs — and reasoning —
of contradictions — and abductions —
and why the third is given not —
and whether figs have wings —

It might not be non sequitur to remember that place in Peirceland where we walk the line between classical and intuitionistic logic, namely, the boundary marked by the principle we have come to call Peirce’s Law.

Here’s links to bits of fol-de-rule, with graphs and everything —


cc: Cybernetics Communications (1) (2)FB | Logical Graphs • Ontolog Forum (1) (2)
• Peirce (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) • Structural Modeling (1) (2) • Systems (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.

Leave a Reply

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

You are commenting using your 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.