Peirce’s diagrammatic logic in IF perspective

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

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 languageEnglish
Title of host publicationDiagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings
EditorsAlan Blackwell, Kim Marriott, Atsushi Shimojima
PublisherSpringer Verlag
Pages97-111
Number of pages15
ISBN (Print)354021268X, 9783540212683
Publication statusPublished - Jan 1 2004
Event3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004 - Cambridge, United Kingdom
Duration: Mar 22 2004Mar 24 2004

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2980
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004
CountryUnited Kingdom
CityCambridge
Period3/22/043/24/04

Fingerprint

Logic
Assertion
Conceptual Modeling
First-order Logic
Graph in graph theory
Natural Language
Quantification
Higher Dimensions
Three-dimension
Proportion
Diagram
Game
Sufficient
Necessary
Independence
Model
Language

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Pietarinen, A. V. (2004). Peirce’s diagrammatic logic in IF perspective. In A. Blackwell, K. Marriott, & A. Shimojima (Eds.), Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings (pp. 97-111). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 2980). Springer Verlag.

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 proceedingConference contribution

Pietarinen, AV 2004, Peirce’s diagrammatic logic in IF perspective. in A Blackwell, K Marriott & A Shimojima (eds), Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 2980, Springer Verlag, pp. 97-111, 3rd International Conference on Diagrammatic Representation and Inference, Diagrams 2004, Cambridge, United Kingdom, 3/22/04.
Pietarinen AV. Peirce’s diagrammatic logic in IF perspective. In Blackwell A, Marriott K, Shimojima A, editors, Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings. Springer Verlag. 2004. p. 97-111. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
Pietarinen, Ahti Veikko. / Peirce’s diagrammatic logic in IF perspective. Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings. editor / Alan Blackwell ; Kim Marriott ; Atsushi Shimojima. Springer Verlag, 2004. pp. 97-111 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{1bb30d984f614babb5481a4c95e754ae,
title = "Peirce’s diagrammatic logic in IF perspective",
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",
author = "Pietarinen, {Ahti Veikko}",
year = "2004",
month = "1",
day = "1",
language = "English",
isbn = "354021268X",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "97--111",
editor = "Alan Blackwell and Kim Marriott and Atsushi Shimojima",
booktitle = "Diagrammatic Representation and Inference - 3rd International Conference, Diagrams 2004, Proceedings",
address = "Germany",

}

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 -