Re: Richard J. Lipton • The 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 —

• Peirce’s Law • This Blog • OEIS Wiki

Resources

• Logic Syllabus • Ampheck
• Logical Graphs • One • Two
• Propositions As Types Analogy
• Survey of Animated Logical Graphs
• Propositional Equation Reasoning Systems
• Survey of Abduction, Deduction, Induction, Analogy, Inquiry

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)