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
| Original language | English |
|---|---|
| Title of host publication | Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings |
| Editors | Alan Blackwell, Kim Marriott, Atsushi Shimojima |
| Publisher | Springer Verlag |
| Pages | 97-111 |
| Number of pages | 15 |
| ISBN (Print) | 354021268X, 9783540212683 |
| Publication status | Published - Jan 1 2004 |
| Event | 3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004 - Cambridge, United Kingdom Duration: Mar 22 2004 → Mar 24 2004 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 2980 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | 3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004 |
|---|---|
| Country | United Kingdom |
| City | Cambridge |
| Period | 3/22/04 → 3/24/04 |
Fingerprint
ASJC Scopus subject areas
- Theoretical Computer Science
- Computer Science(all)
Cite this
Peirce’s diagrammatic logic in IF perspective. / Pietarinen, Ahti Veikko.
Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings. ed. / Alan Blackwell; Kim Marriott; Atsushi Shimojima. Springer Verlag, 2004. p. 97-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2980).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - Peirce’s diagrammatic logic in IF perspective
AU - Pietarinen, Ahti Veikko
PY - 2004/1/1
Y1 - 2004/1/1
N2 - 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
AB - 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
UR - http://www.scopus.com/inward/record.url?scp=84942943542&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84942943542&partnerID=8YFLogxK
M3 - Conference contribution
SN - 354021268X
SN - 9783540212683
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 97
EP - 111
BT - Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings
A2 - Blackwell, Alan
A2 - Marriott, Kim
A2 - Shimojima, Atsushi
PB - Springer Verlag
ER -