Abstract
This paper presents a topological and game-theoretic extension of the system of Existential Graphs (eg). Egs were Charles S. Peirce’s diagrammatic and iconic approach to logic. By scribing the graphs on assertion spaces of higher dimensions, this extension provides the precise iconic counterpart to the Independence-Friendly (if) restatement of first-order logic suggested by Hintikka. Consequently, the if extension completes the project that Peirce initiated: it breaks off from the linear confines of language by diagrams that extend to three dimensions, which Peirce predicted to be necessary and sufficient for the expression of all assertions. Apart from improved ways of performing conceptual modelling on natural-language expressions, this extension reveals the true proportions of Peirce’s sign- and model-theoretic thinking in plunging into the notions of identity, negation, continuity and quantification.
Supported by the Academy of Finland and the Hungarian Academy of Sciences (Project No. 104262: Communications in the 21st Century: The Relevance of C.S. Peirce).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Brady, G., Trimble, T.H.: A categorical interpretation of C. S. Peirce’s propositional logic Alpha. J. Pure and Appl. Algebra 149, 213–239 (2000)
Burch, R.W.: Game-theoretical semantics for Peirce’s existential graphs. Synthese 99, 361–375 (1994)
Hammer, E.: Semantics for existential graphs. J. Phil. Logic 27, 489–503 (1998)
Hardwick, C.S.: Semiotics and Significs. The Correspondence Between Charles S. Peirce and Victoria Lady Welby. Indiana University Press, Bloomington (1977)
Henkin, L.: Some remarks on infinitely long formulas. Infinistic Methods, pp. 167–183. Pergamon Press, New York (1961)
Hilpinen, R.: On C. S. Peirce’s theory of the proposition: Peirce as a precursor of game-theoretical semantics. The Monist 62, 182–189 (1982)
Hintikka, J.: Quantifiers vs. quantification theory. Dialectica 27, 329–358 (1973)
Hintikka, J.: Semantic games, the alleged ambiguity of ‘is’, and Aristotelian categories. Synthese 54, 443–467 (1983)
Hintikka, J.: The Principles of Mathematics Revisited. Cambridge University Press, New York (1996)
Hintikka, J.: The place of C. S. Peirce in the history of logical theory. In: Brunning, J., Forster, P. (eds.) The Rule of Reason, pp. 13–33. University of Toronto Press, Toronto (1997)
Hintikka, J.: No scope for scope? Linguistics and Philosophy 20, 515–544 (1997)
Hintikka, J., Sandu, G.: Game-theoretical semantics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 361–410. Elsevier, Amsterdam (1997)
Janasik, T., Pietarinen, A.-V., Sandu, G.: Anaphora and extensive games. In: Proc. 38th Chicago Linguistic Society Meeting (2003)
Kamp, H., Reyle, U.: From Discourse to Logic. Kluwer, Dordrecht (1993)
Krynicki, M.: Hierarchies of partially ordered connectives and quantifiers. Mathematical Logic Quarterly 39, 287–294 (1993)
Peirce, C.S.: Collected Papers of Charles Sanders Peirce. C. Hartshorne et al. Harvard University Press, Cambridge (1931)
Peirce, C.S.: Manuscripts in the Houghton Library of Harvard University, and R. Robin. In: Annotated Catalogue of the Papers of Charles S. Peirce, University of Massachusettes Press, Amherst (1967)
Pietarinen, A.-V.: Intentional identity revisited. Nordic J. Philosophical Logic 6, 144–188 (2001)
Pietarinen, A.-V.: Knowledge constructions for artificial intelligence. In: Hacid, M.-S., Raś, Z.W., Zighed, D.A., Kodratoff, Y. (eds.) ISMIS 2002. LNCS (LNAI), vol. 2366, pp. 303–311. Springer, Heidelberg (2002)
Pietarinen, A.-V.: Peirce’s game-theoretic ideas in logic. Semiotica 144, 33–47 (2003)
Pietarinen, A.-V.: Diagrammatic logic and game-playing. In: Malcolm, G. (ed.) Multidisciplinary Studies of Visual Representations and Interpretations, Elsevier, Amsterdam (2003)
Pietarinen, A.-V.: Peirce’s theory of communication and its contemporary relevance. In: Nyíri, K. (ed.) Mobile Learning: Essays on Philosophy, Psychology and Education, pp. 81–98. Passagen Verlag, Vienna (2003)
Pietarinen, A.-V.: What do epistemic logic and cognitive science have to do with each other? Cognitive Systems Research 4, 169–190 (2003)
Pietarinen, A.-V.: Semantic games in logic and epistemology. In: Gabbay, D., et al. (eds.) Logic, Epistemology and the Unity of Science, Kluwer, Dordrecht (2003)
Pietarinen, A.-V.: Peirce’s magic lantern I: moving pictures of thought. Transactions of the Charles S. Peirce Society (2004)
Pietarinen, A.-V.: The Endoporeutic Method. J. Queiroz, Digital Encyclopedia of Charles S. Peirce (2004), www.digitalpeirce.org
Pietarinen, A.-V.: Peirce’s magic lantern II: topology, graphs and games (to app.)
Roberts, D.D.: The Existential Graphs of C. S. Peirce. Mouton, The Hague (1973)
Roberts, D.D.: The existential graphs. Computers Math. Applic. 23, 639–663
Sandu, G., Pietarinen, A.-V.: Partiality and games: propositional logic. Logic Journal of the IGPL 9, 107–127 (2001)
Sandu, G., Pietarinen, A.-V.: Informationally independent connectives. In: Mints, G., Muskens, R. (eds.) Games, Logic, and Constructive Sets., pp. 23–41. CSLI, Stanford (2003)
Shin, S.-J.: The Iconic Logic of Peirce’s Graphs. MIT Press, Cambridge (2002)
Sowa, J.F.: Conceptual Structures. Addison-Wesley, Reading (1984)
Zeman, J.J.: The Graphical Logic of C. S. Peirce, Diss. University of Chicago (1964)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pietarinen, AV. (2004). Peirce’s Diagrammatic Logic in IF Perspective. In: Blackwell, A.F., Marriott, K., Shimojima, A. (eds) Diagrammatic Representation and Inference. Diagrams 2004. Lecture Notes in Computer Science(), vol 2980. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25931-2_11
Download citation
DOI: https://doi.org/10.1007/978-3-540-25931-2_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21268-3
Online ISBN: 978-3-540-25931-2
eBook Packages: Springer Book Archive