Abstract
Following the guiding thread of Peirce’s use of diagrammatic syntax in his system of existential graphs (EG), which depends crucially on the role of the Sheet of Assertion, we introduce the notion of Sheet of Indication (SI) as the basis for a general diagrammatic semantics applicable to a wide range of diagrams. We then show how Peirce’s EG-alpha graphs may be understood as instances of SIs and how logically coherent models of the graphs are represented in the SI semantics.
Similar content being viewed by others
Notes
Presheaves are fundamental constructions in category theory. In category-theoretical language, a presheaf is a contravariant functor from any category \(\mathcal {C}\) into \(\mathbf{Set}\), the category of sets and functions. The easiest example is given by considering the map \(\mathcal {F}(U)\) that takes any open set \(U\) of a topological space into the set of real-valued continuous functions over \(U\): given two open sets \(U\) and \(V\) (ordered by inclusion), with \(U\subseteq V\), there is a natural map between \(\mathcal {F(V)}\) onto \(\mathcal {F}(U)\) which takes an element \(f\in \mathcal {F}(V)\) (which is a map \(f:V\longrightarrow \mathbb {R}\)) onto the map \(f_{|U}\in \mathcal {F}(U)\), where \(f_{|U}\) is simply the restriction of \(f\) to \(U\).
References
Brady, G., & Trimble, T. H. (2000). A categorical interpretation of C.S. Peirce’s propositional logic Alpha. Journal of Pure and Applied Algebra, 49, 213–239.
Caterina, G., & Gangle, R. (2013). Iconicity and abduction: a categorical approach to creative hypothesis-formation in Peirce’s existential graphs. Logic Journal of IGPL, 21(6), 1028–1043.
Hookway, C. (1985). Peirce. London: Routledge.
Kauffman, L. H. (2001). Peirce’s Existential Graphs. Cybernetics and Human Knowing, 18(1–2), 49–81.
Mac Lane, S. (1998). Categories for the working mathematician. New York: Springer.
Peirce, C. S. (1931–1935). Collected papers of Charles Sanders Peirce (Vol. 1–6). Cambridge: Belknap Press.
Pietarinen, A. (2011). Moving pictures of Thought II: graphs, games, and pragmaticism’s proof. Semiotica, 186, 315–331.
Pietarinen, A. (2006). Signs of logic: peircean themes on the philosophy of language, games, and communication. Dordrecht: Springer Synthese Library.
Reyes, M., Reyes, G., & Zolfaghari, H. (2004). Generic figures and their glueings. Monza: Polimetrica.
Roberts, D. D. (1973). The existential graphs of C.S. Peirce. The Hague: Mouton.
Shin, S. J. (2002). The iconic logic of Peirce’s graphs. Bradford: A Bradford Book.
Sowa, J. F. (2011). Peirce’s tutorial on existential graphs. Semiotica, 186(1–4), 345–394.
Spencer-Brown, G. (1969). Laws of form. London: Allen & Unwin.
Zalamea, F. (2003). Peirce’s logic of continuity: existential graphs and non-cantorian continuum. Review of Modern Logic, 9(29), 115–162.
Zalamea, F. (2012). Peirce’s logic of continuity: a conceptual and mathematical approach. Boston: Docent Press.
Zalamea, F. (2012). Synthetic philosophy of contemporary mathematics. Ottawa: Urbanomic.
Zeman, J. (1974). Peirce’s logical graphs. Semiotica, 12, 239–256.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gangle, R., Caterina, G. The sheet of indication: a diagrammatic semantics for Peirce’s EG-alpha. Synthese 192, 923–940 (2015). https://doi.org/10.1007/s11229-014-0495-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-014-0495-1