Logical graph

From Wikipedia, the free encyclopedia

A logical graph is a special type of diagramatic structure in any one of several systems of graphical syntax that Charles Sanders Peirce developed for logic.

In his papers on qualitative logic, entitative graphs, and existential graphs, 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 this line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph-theoretic structures.

[edit] See also

• Charles Sanders Peirce bibliography
• Conceptual graph
• Laws of Form
• Minimal negation operator
• Peirce's law
• Propositional calculus
• Truth table

[edit] External links

• Logical Graph @ PlanetMath
• Logical Graph @ Commens Dictionary of Peirce's Terms
• Laws of Form web site
• Spencer-Brown's talks at Esalen 1973 — Self-referential forms are introduced in the section entitled "Degree of Equations and the Theory of Types"
• Louis H. Kauffman — Box Algebra, Boundary Mathematics, Logic, and Laws of Form
• Conceptual Graphs Website by John Sowa.
• Frithjof Dau's page of readings and links on existential graphs includes lists of: books exclusively on existential graphs; books containing existential graphs; articles; and some links and downloadables.
• The literature of C.S. Peirce’s Existential Graphs, Xin-Wen Liu, Institute of Philosophy, Chinese Academy of Social Sciences, Beijing, PRC. A whole lot there.