- 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 forlogic .In his papers on "
qualitative logic ", "entitative graph s", and "existential graph s", Peirce developed several versions of a graphical formalism, or a graph-theoreticformal 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.
References
* Peirce, C.S., Bibliography.
* Peirce, C.S. (c. 1886), "Qualitative Logic", MS 736. Published as pp. 101–115 in Carolyn Eisele (ed., 1976), "The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy", Mouton, The Hague.
* Peirce, C.S. (1886 a), "Qualitative Logic", MS 582. Published as pp. 323–371 in "Writings of Charles S. Peirce: A Chronological Edition, Volume 5, 1884–1886", Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.
* Peirce, C.S. (1886 b), "The Logic of Relatives: Qualitative and Quantitative", MS 584. Published as pp. 372–378 in "Writings of Charles S. Peirce: A Chronological Edition, Volume 5, 1884–1886", Peirce Edition Project (eds.), Indiana University Press, Bloomington, IN, 1993.
* Spencer Brown, George (1969), "
Laws of Form ", George Allen and Unwin, London, UK.ee also
*
Ampheck
*Boolean algebra (logic)
*Boolean function
*Boolean logic
*Boolean-valued function
*Conceptual graph
*Laws of Form
*Logical matrix
*Minimal negation operator
*Peirce's law
*Propositional calculus
*Truth table External links
* [http://planetmath.org/encyclopedia/LogicalGraph.html Logical Graph] @ [http://planetmath.org/ PlanetMath]
* [http://www.helsinki.fi/science/commens/terms/graphlogi.html Logical Graph] @ [http://www.helsinki.fi/science/commens/dictionary.html Commens Dictionary of Peirce's Terms]
* [http://www.lawsofform.org/ "Laws of Form" web site]
* [http://www.lawsofform.org/aum/session1.html Spencer-Brown's talks at Esalen 1973] — Self-referential forms are introduced in the section entitled "Degree of Equations and the Theory of Types"
* [http://www.math.uic.edu/~kauffman/ Louis H. Kauffman] — " [http://www.math.uic.edu/~kauffman/Arithmetic.htm Box Algebra, Boundary Mathematics, Logic, and Laws of Form] "
Wikimedia Foundation. 2010.
