Peirce's diagrammatic logic in IF perspective

Research output: Contribution to journalConference article

6 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
Pages (from-to)97-111
Number of pages15
JournalLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
Volume2980
Publication statusPublished - Dec 9 2004
EventThird International Conference, Diagrams 2004 - Cambridge, United Kingdom
Duration: Mar 22 2004Mar 24 2004

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

Peirce's diagrammatic logic in IF perspective. / Pietarinen, Ahti Veikko.

In: Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), Vol. 2980, 09.12.2004, p. 97-111.

Research output: Contribution to journalConference article

@article{74e4b6078a3c483d92d170e8cf0d2bb7,
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 = "12",
day = "9",
language = "English",
volume = "2980",
pages = "97--111",
journal = "Lecture Notes in Computer Science",
issn = "0302-9743",
publisher = "Springer Verlag",

}

TY - JOUR

T1 - Peirce's diagrammatic logic in IF perspective

AU - Pietarinen, Ahti Veikko

PY - 2004/12/9

Y1 - 2004/12/9

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=9444288713&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=9444288713&partnerID=8YFLogxK

M3 - Conference article

VL - 2980

SP - 97

EP - 111

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

SN - 0302-9743

ER -