The Teridentity and Peircean Algebraic Logic
- Joachim Hereth CorreiaAffiliated withInstitut für Algebra, Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften
- , Reinhard PöschelAffiliated withInstitut für Algebra, Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften
A main source of inspiration for the work on Conceptual Graphs by John Sowa and on Contextual Logic by Rudolf Wille has been the Philosophy of Charles S. Peirce and his logic system of Existential Graphs invented at the end of the 19th century. Although Peirce has described the system in much detail, there is no formal definition which suits the requirements of contemporary mathematics.
In his book A Peircean Reduction Thesis: The Foundations of topological Logic, Robert Burch has presented the Peircean Algebraic Logic (PAL) which aims to reconstruct in an algebraic precise manner Peirce’s logic system.
Using a restriction on the allowed constructions, he is able to prove the Peircean Reduction Thesis, that in PAL all relations can be constructed from ternary relations, but not from unary and binary relations alone. This is a mathematical version of Peirce’s central claim that the category of thirdness cannot be decomposed into the categories of firstness and secondness.
Removing Burch’s restriction from PAL makes the system very similar to the system of Existential Graphs, but the proof of the Reduction Thesis becomes extremely complicated. In this paper, we prove that the teridentity relation is – as also elaborated by Burch – irreducible, but we prove this without the additional restriction on PAL. This leads to a proof of the Peircean Reduction Thesis.
- The Teridentity and Peircean Algebraic Logic
- Book Title
- Conceptual Structures: Inspiration and Application
- Book Subtitle
- 14th International Conference on Conceptual Structures, ICCS 2006, Aalborg, Denmark, July 16-21, 2006. Proceedings
- pp 229-246
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Springer-Verlag Berlin Heidelberg
- Additional Links
- Industry Sectors
- eBook Packages
- Editor Affiliations
- 18. Department of Communication and Psychology, Aalborg University
- 19. AIFB Institute, Universität Karlsruhe (TH)
- 20. Department of Communication, Aalborg University
- Author Affiliations
- 21. Institut für Algebra, Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften, D-01062, Dresden, Germany
To view the rest of this content please follow the download PDF link above.