Assertive Graphs

Ahti-Veikko Pietarinen; Daniele Chiffi; Francesco Bellucci

Assertive Graphs

Ahti-Veikko Pietarinen, Daniele Chiffi, Francesco Bellucci

History, Philosophy and Religious Studies Department

Research output: Contribution to journal › Article › peer-review

Abstract

We present a new graphical method of logic that can be used to reason about assertions in a way similar to Peirce's original method. We propose a new system of Assertive Graphs (AGs), which unlike the tradition that follows Frege involves no {\it ad hoc\/} sign of assertion. We show that axioms of intuitionistic logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method.

Original language	English
Journal	Journal of Applied Non-Classical Logics
Publication status	Accepted/In press - 2017

Fingerprint Dive into the research topics of 'Assertive Graphs'. Together they form a unique fingerprint.

Cite this

@article{d782fbd443f74a58b125be9cc56c4510,

title = "Assertive Graphs",

abstract = "We present a new graphical method of logic that can be used to reason about assertions in a way similar to Peirce's original method. We propose a new system of Assertive Graphs (AGs), which unlike the tradition that follows Frege involves no {\it ad hoc\/} sign of assertion. We show that axioms of intuitionistic logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method.",

author = "Ahti-Veikko Pietarinen and Daniele Chiffi and Francesco Bellucci",

year = "2017",

language = "English",

journal = "Journal of Applied Non-Classical Logics",

issn = "1166-3081",

publisher = "Taylor and Francis",

}

TY - JOUR

T1 - Assertive Graphs

AU - Pietarinen, Ahti-Veikko

AU - Chiffi, Daniele

AU - Bellucci, Francesco

PY - 2017

Y1 - 2017

N2 - We present a new graphical method of logic that can be used to reason about assertions in a way similar to Peirce's original method. We propose a new system of Assertive Graphs (AGs), which unlike the tradition that follows Frege involves no {\it ad hoc\/} sign of assertion. We show that axioms of intuitionistic logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method.

AB - We present a new graphical method of logic that can be used to reason about assertions in a way similar to Peirce's original method. We propose a new system of Assertive Graphs (AGs), which unlike the tradition that follows Frege involves no {\it ad hoc\/} sign of assertion. We show that axioms of intuitionistic logic can be derived from AGs, and argue that AGs analyse and represent assertions and illocutionary content in a way which is motivated both by its logical properties and its historical connection with the ideas that led to the development of the graphical method.

M3 - Article

JO - Journal of Applied Non-Classical Logics

JF - Journal of Applied Non-Classical Logics

SN - 1166-3081

ER -