Abstract
A main goal of Formal Concept Analysis (FCA) from its very beginning has been the support of rational communication by formalizing and visualizing concepts. In the last years, this approach has been extended to traditional logic based on the doctrines of concepts, judgements and conclusions, leading to a framework called Contextual Logic. Much of the work on Contextual Logic has been inspired by the Existential Graphs invented by Charles S. Peirce at the end of the 19th century. While his graphical logic system is generally believed to be equivalent to first order logic, a proof in the strict mathematical sense cannot be given, as Peirce’s description of Existential Graphs is vague and does not suit the requirements of contemporary mathematics.
In his book ’A Peircean Reduction Thesis: The Foundations of topological Logic’, Robert Burch presents the results of his project to reconstruct in an algebraic precise manner Peirce’s logic system. The resulting system is called Peircean Algebraic Logic (PAL). He also provides a proof of the Peircean Reduction Thesis which states that all relations can be constructed from ternary relations in PAL, but not from unary and binary relations alone.
Burch’s proof relies on a major restriction on the allowed construction of graphs. Removing this restriction renders the proof much more complicated. In this paper, a new approach to represent an arbitrary graph by a relational normal form is introduced. This representation is then used to prove the thesis for infinite and two-element domains.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Burch, R.W.: A Peircean Reduction Thesis: The Foundation of Topological Logic. Texas Tech. University Press (1991)
Dau, F.: The Logic System of Concept Graphs with Negations and its Relationship to Predicate Logic. LNCS (LNAI), vol. 2892. Springer, Heidelberg (2003)
Dau, F.: Query graphs with cuts: Mathematical foundations. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds.) Diagrams 2004. LNCS (LNAI), vol. 2980, pp. 32–50. Springer, Heidelberg (2004)
Dau, F., Klinger, J.: From formal concept analysis to contextual logic. In: Ganter, B., Stumme, G., Wille, R. (eds.) Formal Concept Analysis: The State of the Art. Springer, Heidelberg (2003)
Correia, J.H., Pöschel, R.: The Power of Peircean Algebraic Logic (PAL). In: Eklund, P. (ed.) ICFCA 2004. LNCS (LNAI), vol. 2961, pp. 337–351. Springer, Heidelberg (2004)
Pape, H.: Charles S. Peirce: Phänomen und Logik der Zeichen. Suhrkamp Verlag Wissenschaft, German translation of Peirce’s Syllabus of Certain Topics of Logic (1983)
Peirce, C.S.: MS 478: Existential Graphs, pp. 1931–1935. Harvard University Press, Partly published in of [Pei35b] (4.394-417). Complete german translation in [Pap83]
Peirce, C.S.: Collected Papers, pp. 1931–1935. Harvard University Press
Peirce, C.S., Sowa, J.F.: Existential Graphs: MS 514 by Charles Sanders Peirce with commentary by John Sowa, 1908 (2000), Available at http://www.jfsowa.com/peirce/ms514.htm
Sowa, J.F.: Conceptual structures: information processing in mind and machine. Addison-Wesley, Reading (1984)
Sowa, J.F.: Conceptual graphs summary. In: Nagle, T.E., Nagle, J.A., Gerholz, L.L., Eklund, P.W. (eds.) Conceptual Structures: current research and practice, Ellis Horwood, pp. 3–51 (1992)
Wille, R.: Restructuring lattice theory: an approach based on hierarchies of concepts. In: Rival, I. (ed.) Ordered sets, pp. 445–470. Reidel, Dordrecht (1982)
Wille, R.: Contextual logic summary. In: Stumme, G. (ed.) Working with Conceptual Structures. Contributions to ICCS 2000, pp. 265–276. Shaker Verlag, Aachen (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dau, F., Correia, J.H. (2006). Two Instances of Peirce’s Reduction Thesis. In: Missaoui, R., Schmidt, J. (eds) Formal Concept Analysis. Lecture Notes in Computer Science(), vol 3874. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11671404_7
Download citation
DOI: https://doi.org/10.1007/11671404_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32203-0
Online ISBN: 978-3-540-32204-7
eBook Packages: Computer ScienceComputer Science (R0)