On the Logical Philosophy of Assertive Graphs

Journal of Logic, Language and Information 29 (4):375-397 (2020)
  Copy   BIBTEX


The logic of assertive graphs is a modification of Peirce’s logic of existential graphs, which is intuitionistic and which takes assertions as its explicit object of study. In this paper we extend AGs into a classical graphical logic of assertions whose internal logic is classical. The characteristic feature is that both AGs and ClAG retain deep-inference rules of transformation. Unlike classical EGs, both AGs and ClAG can do so without explicitly introducing polarities of areas in their language. We then compare advantages of these two graphical approaches to the logic of assertions with a reference to a number of topics in philosophy of logic and to their deep-inferential nature of proofs.



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Assertive graphs.F. Bellucci, D. Chiffi & A.-V. Pietarinen - 2018 - Journal of Applied Non-Classical Logics 28 (1):72-91.
Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.Minghui Ma - 2018 - Transactions of the Charles S. Peirce Society 54 (3):320.
Exploring the beta quadrant.Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):941-970.
Editorial Preface.Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):877-879.
.Jay Zeman - unknown


Added to PP

24 (#642,030)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Daniele Chiffi
Politecnico di Milano
Ahti-Veikko Pietarinen
Hong Kong Baptist University

Citations of this work

Abduction and diagrams.Ahti-Veikko Pietarinen - forthcoming - Logic Journal of the IGPL.

Add more citations

References found in this work

Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
The Runabout Inference-Ticket.A. N. Prior - 1960 - Analysis 21 (2):38-39.

View all 26 references / Add more references