Assertive Graphs

Ahti-Veikko Pietarinen, Daniele Chiffi, Francesco Bellucci

Research output: Contribution to journalArticle

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 languageEnglish
JournalJournal of Applied Non-Classical Logics
Publication statusAccepted/In press - 2017

Fingerprint

Assertion
Graphical Methods
Graph in graph theory
Logical property
Intuitionistic Logic
Axioms
Logic
Graph

Cite this

Pietarinen, A-V., Chiffi, D., & Bellucci, F. (Accepted/In press). Assertive Graphs. Journal of Applied Non-Classical Logics.

Assertive Graphs. / Pietarinen, Ahti-Veikko; Chiffi, Daniele; Bellucci, Francesco.

In: Journal of Applied Non-Classical Logics, 2017.

Research output: Contribution to journalArticle

Pietarinen, Ahti-Veikko ; Chiffi, Daniele ; Bellucci, Francesco. / Assertive Graphs. In: Journal of Applied Non-Classical Logics. 2017.
@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 -