Categorical Iconicity in Peirce’s Existential Graphs

  • Gianluca CaterinaEmail author
  • Rocco Gangle
Part of the Studies in Applied Philosophy, Epistemology and Rational Ethics book series (SAPERE, volume 29)


The notion of iconicity developed in the previous chapter might appear open to the objection that the use of any such conception of iconic “structure” to model abduction must err either on the side of being too formal and thus insensitive to the concrete, existential details of the situation at hand, or that of being too concretely figural or “intuitive” and thus inappropriate for the rigorous purposes of logical analysis. In fact, we aim to show that the particular power of iconic relations to support robust abductive modeling rests precisely in their capacity to reduce this Scylla-and-Charybdis problem of dry formalism versus muddy intuition to the status of a false dichotomy. Especially when modeled and analyzed via the categorical mathematics of presheaves and sheaves, iconicity as such provides a conceptual framework that is capable of varying smoothly and continuously (and tractably) from the most concrete, material domains to the most formal and abstract.


Partial Order Transformation Rule Category Theory Classical Propositional Logic Derivation Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    W. Lawvere, Quantifiers and sheaves, in Proceedings of the International Congress on Mathematics (Nice 1970) (Gauthier-Villars, 1970), pp. 329–334Google Scholar
  2. 2.
    C.S. Peirce, Selected Writings (Dover, New York, 1958)Google Scholar
  3. 3.
    A. Aliseda, Abductive Reasoning: Logical Investigations Into Discovery and Explanation (Springer, Berlin, 2006)Google Scholar
  4. 4.
    D. Walton, Abductive Reasoning (University of Alabama, Tuscaloosa, 2005)Google Scholar
  5. 5.
    L. Magnani, Abduction, Reason and Science - Processes of Discovery and Explanation (Springer, Berlin, 2000)Google Scholar
  6. 6.
    L. Kauffman, Peirce’s existential graphs. Cybern. Hum. Knowing 18, 49–81 (2001)Google Scholar
  7. 7.
    A. Tarski, Sentential calculus and topology, in Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Trans J.H. Woodger (Clarendon, Oxford, 1956), pp. 421–454Google Scholar
  8. 8.
    A. Rodin, Axiomatic Method and Category Theory (Springer, Berlin, 2014)Google Scholar
  9. 9.
    D.D. Roberts, The Existential Graphs of C.S. Peirce (Mouton, The Hague, Pairs, 1973)Google Scholar
  10. 10.
    J.F. Sowa, Peirce’s tutorial on existential graphs. Semiotica 186(1–4), 345–394 (2011)Google Scholar
  11. 11.
    F. Zalamea, Peirce’s logic of continuity: existential graphs and non-cantorian continuum. Rev. Mod. Log. 9(29), 115–162 (2003)Google Scholar
  12. 12.
    J. Zeman, Peirce’s logical graphs. Semiotica 12, 239–256 (1974)Google Scholar
  13. 13.
    A. Pietarinen, Moving pictures of thought II: graphs, games, and pragmaticism’s proof. Semiotica 186, 315–331 (2011)Google Scholar
  14. 14.
    A. Pietarinen, Signs of Logic: Peircean Themes on the Philosophy of Language, Games, and Communication (Springer Synthese Library, Berlin, 2006)Google Scholar
  15. 15.
    F. Zalamea, Synthetic Philosophy of Contemporary Mathematics (Urbanomic, Falmouth, 2012)Google Scholar
  16. 16.
    S.J. Shin, The Iconic Logic of Peirce’s Graphs (MIT Press, Cambridge, 2002)Google Scholar
  17. 17.
    G. Brady, T.H. Trimble, A categorical interpretation of C.S. Peirce’s propositional logic Alpha. J. Pure Appl. Algebra 49, 213–239 (2000)CrossRefGoogle Scholar
  18. 18.
    G. Spencer-Brown, Laws of Form (Allen and Unwin, London, 1969)Google Scholar
  19. 19.
    F. Zalamea, Peirce’s Logic of Continuity: A Conceptual and Mathematical Approach (Docent Press, Boston, 2012)Google Scholar
  20. 20.
    C.S. Peirce, Collected Papers of Charles Sanders Peirce (Belknap Press, Cambridge, 1931–1935)Google Scholar
  21. 21.
    C. Hookway, Peirce (Routledge, London, 1985)Google Scholar
  22. 22.
    W. Lawvere, Conceptual Mathematics: A First Introduction to Categories (Cambridge University Press, Cambridge, 2009)Google Scholar
  23. 23.
    S. Mac Lane, Categories for the Working Mathematician (Springer, Berlin, 1998)Google Scholar
  24. 24.
    C.S. Peirce, Philosophy of Mathematics ed. by M.E. Moore (Indiana University Press, Bloomington, 2010)Google Scholar
  25. 25.
    F. Tohme, G. Caterina, R. Gangle, Abduction: a categorical characterization. J. Appl. Log. 13, 1 (2015)CrossRefGoogle Scholar
  26. 26.
    S. Awodey, Category Theory, 2nd edn. (Oxford University Press, Oxford, 2010)Google Scholar
  27. 27.
    F. Arzarello et al., Abduction and conjecturing in mathematics. Philosophica 61(1), 77–94 (1998)Google Scholar
  28. 28.
    F. Zalamea, Categorical models for intuitionistic existential graphs. International Category Theory Conference CT2010 lecture slides. CT2010.pdf

Copyright information

© Springer International Publishing AG 2016

Authors and Affiliations

  1. 1.Department of MathematicsEndicott CollegeBeverlyUSA
  2. 2.Department of Humanities and PhilosophyEndicott CollegeBeverlyUSA

Personalised recommendations