Moving Pictures of Thought

A logical graph is a graph‑theoretic structure in one of the systems of graphical syntax Charles S. Peirce developed for logic.

Introduction

In numerous papers on qualitative logic, entitative graphs, and existential graphs, C.S. Peirce developed several versions of a graphical formalism, or a graph‑theoretic formal language, designed to be interpreted for logic.

In the century since Peirce initiated their line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph‑theoretic structures.  The posts to follow explore the common basis of those formal systems from a bird’s eye view, focusing on the aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.

Resources

• Logical Graphs
• Futures Of Logical Graphs
• Propositional Equation Reasoning Systems
• Charles Sanders Peirce • Bibliography

cc: FB | Logical Graphs • Laws of Form • Ma^thstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science