Abstract
On the verge of the 20th century, Charles S. Peirce was convinced that his Existential Graphs were the best form of presenting every deductive argument. Between 1900 and 1909, Peirce chose the scroll as a basic sign in his Alpha system for Existential Graphs. According to a recent paper by Francesco Bellucci and Ahti-Veikko Pietarinen, the reason for this choice lies mainly in the non-analyzable nature of the scroll: Only one sign expresses the basic notion of illation. In this paper, some analogies between this early version of the Alpha system and Structural Reasoning (in the sense of Kosta Došen and Peter Schröder-Heister) are explored. From these analogies, it will be claimed that the system Alpha based on the scroll can be used as an accurate framework for (i) constructing basic structural deductions and (ii) accomplishing a diagrammatic interpretation of logical constants of First-Order Language. Moreover, EGs show cognitive advantages with respect to sequent systems. In this paper, the basic conception is outlined in an informal way, without making an exposition of the technical details.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Roberts, D.: The Existential Graphs of Charles. S. Peirce. Mouton, La Haya (1973)
Peirce, C.S.: Collected Papers. 8 volumes, vols. 1–6 edited by Hartshorne, C., Weiss, P., vols. 7 and 8 edited by Burks, A.W. Harvard University Press, Cambridge (1931–1958)
Došen, K.: Logical constants as punctuation marks. Notre Dame J. Formal Logic 30(3), 362–381 (1989). https://doi.org/10.1305/ndjfl/1093635154
Schroeder-Heister, P.: Resolution and the origins of structural reasoning: early proof-theoretic ideas of Hertz and Gentzen. Bull. Symb. Log. 8, 246–265 (2002). https://doi.org/10.2178/bsl/1182353872
Gentzen, G.: Untersuchungen über das logische Schließen. Mathematische Zeitschrift 39, 176–210, 405–431 (1935). English Translation in Gentzen, G.: Collected Papers, Transl. and edited By Szabo, M.E., pp. 68–131. North-Holland, Amsterdam-London (1969)
Bellucci, F., Pietarinen, A.-V.: Existential graphs as an instrument for logical analysis. Part 1: Alpha. Rev. Symb. Log. 9(2), 209–237 (2016). https://doi.org/10.1017/S1755020315000362. ISSN 1755-0203
Stjernfelt, F.: Two iconicity notions in Peirce’s diagrammatology. In: Schärfe, H., Hitzler, P., Øhrstrøm, P. (eds.) ICCS-ConceptStruct 2006. LNCS (LNAI), vol. 4068, pp. 70–86. Springer, Heidelberg (2006). https://doi.org/10.1007/11787181_6
Zalamea, F.: Peirce’s logic of continuity: existential graphs and non-Cantorian continuum. Rev. Mod. Log. 9, 115–162 (2003). https://projecteuclid.org/euclid.rml/1081173838
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Legris, J. (2018). Existential Graphs as a Basis for Structural Reasoning. In: Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S., Bellucci, F. (eds) Diagrammatic Representation and Inference. Diagrams 2018. Lecture Notes in Computer Science(), vol 10871. Springer, Cham. https://doi.org/10.1007/978-3-319-91376-6_53
Download citation
DOI: https://doi.org/10.1007/978-3-319-91376-6_53
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91375-9
Online ISBN: 978-3-319-91376-6
eBook Packages: Computer ScienceComputer Science (R0)