From Textop Wiki
|The article below may contain errors of fact, bias, grammar, etc. The Citizendium Foundation and the participants in the Citizendium project make no representations about the reliability of this article or, generally, its suitability for any purpose. We make this disclaimer of all Citizendium article versions that have not been specifically approved.|
An entitative graph is an element of the graphical syntax for logic that Charles Sanders Peirce developed under the name of qualitative logic beginning in the 1880's, taking the coverage of the formalism only as far as the propositional or sentential aspects of logic are concerned. See CP 3.468, 4.434, and 4.564 in Peirce's Collected Papers.
The syntax is:
- The blank page;
- Single letters, phrases;
- Objects (subgraphs) enclosed by a simple closed curve called a cut. A cut can be empty.
The semantics are:
- The blank page denotes False;
- Letters, phrases, subgraphs, and entire graphs can be True or False;
- To surround objects with a cut is equivalent to Boolean complementation. Hence an empty cut denotes Truth;
- All objects within a given cut are tacitly joined by disjunction.
A "proof" manipulates a graph, using a short list of rules, until the graph is reduced to an empty cut or the blank page. A graph that can be so reduced is what is now called a tautology (or the complement thereof). Graphs that cannot be simplified beyond a certain point are analogues of the satisfiable formulas of first order logic.
Peirce soon abandoned the entitative graphs for the existential graphs, whose sentential (alpha) part is dual to the entitative graphs. He developed the existential graphs until they became another formalism for what are now termed first order logic and normal modal logic.
- Peirce, C.S., Collected Papers of Charles Sanders Peirce, Vols. 1?6, Charles Hartshorne and Paul Weiss (eds.), Vols. 7?8, Arthur W. Burks, ed., Harvard University Press, Cambridge, MA, 1931?1935, 1958. Cited as CP volume.paragraph.
- Peirce, C.S., "Qualitative Logic", MS 736 (c. 1886), pp. 101?115 in The New Elements of Mathematics by Charles S. Peirce, Volume 4, Mathematical Philosophy, Carolyn Eisele (ed.), Mouton, The Hague, 1976.
- Peirce, C.S., "Qualitative Logic", MS 582 (1886), 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., "The Logic of Relatives: Qualitative and Quantitative", MS 584 (1886), 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.
- Shin, Sun-Joo (2002), The Iconic Logic of Peirce's Graphs, MIT Press, Cambrodge, MA.
- Portions of the above article are adapted from an earlier version of the Wikinfo article, "Entitative graph", used under the GNU Free Documentation License.
- Portions of the above article are adapted from an earlier version of the Wikipedia article, "Entitative graph", used under the GNU Free Documentation License.
Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section titled GNU FDL text.