Peirce's diagrammatic logic in IF perspective

Ahti Veikko Pietarinen*

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

9 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationDiagrammatic Representation and Inference
Subtitle of host publicationThird International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004, Proceedings
EditorsAlan F. Blackwell, Kim Marriott, Atsushi Shimojima
PublisherSpringer Berlin Heidelberg
Number of pages15
ISBN (Electronic)9783540259312
ISBN (Print)354021268X, 9783540212683
Publication statusPublished - 12 Mar 2004
Event3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004 - Cambridge, United Kingdom
Duration: 22 Mar 200424 Mar 2004

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameLecture Notes in Artificial Intelligence
NameDiagrams: International Conference on Theory and Application of Diagrams


Conference3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004
Country/TerritoryUnited Kingdom
Internet address

Scopus Subject Areas

  • Theoretical Computer Science
  • Computer Science(all)

User-Defined Keywords

  • Imperfect Information
  • Semantic Game
  • Predicate Term
  • Donkey Anaphora
  • Atomic Graph


Dive into the research topics of 'Peirce's diagrammatic logic in IF perspective'. Together they form a unique fingerprint.

Cite this