Logical graph
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.
See also
- Charles Sanders Peirce bibliography
- Conceptual graph
- Laws of Form
- Minimal negation operator
- Peirce's law
- Propositional calculus
- Truth table
External links
- Spencer-Brown's talks at Esalen 1973 — Self-referential forms are introduced in the section entitled "Degree of Equations and the Theory of Types"
- Conceptual Graphs — Brief Summary
- Conceptual Graphs — Resource Hub
- Conceptual Structures, Home Page for annual conference.
- 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.
- Existential Graphs, Jay Zeman (ed.), University of Florida. With 4 works by Peirce.
 | This mathematical logic-related article is a stub. You can help Wikipedia by expanding it. |