An analysis of Existential Graphs–part 2: Beta

Synthese 199 (3-4):7705-7726 (2021)
  Copy   BIBTEX

Abstract

This paper provides an analysis of the notational difference between Beta Existential Graphs, the graphical notation for quantificational logic invented by Charles S. Peirce at the end of the 19th century, and the ordinary notation of first-order logic. Peirce thought his graphs to be “more diagrammatic” than equivalently expressive languages for quantificational logic. The reason of this, he claimed, is that less room is afforded in Existential Graphs than in equivalently expressive languages for different ways of representing the same fact. The reason of this, in turn, is that Existential Graphs are a non-linear, occurrence-referential notation. As a non-linear notation, each graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic that are obtained by permuting those elements that in the graphs lie in the same area. As an occurrence-referential notation, each Beta graph corresponds to a class of logically equivalent but syntactically distinct sentences of the ordinary notation of first-order logic in which the identity of reference of two or more variables is asserted. In brief, Peirce’s graphs are more diagrammatic than the linear, type-referential notation of first-order logic because the function that translates the latter to the graphs does not define isomorphism between the two notations.

Links

PhilArchive



    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

Linear notation for existential graphs.Eric Hammer - 2011 - Semiotica 2011 (186):129-140.
Exploring the beta quadrant.Ahti-Veikko Pietarinen - 2015 - Synthese 192 (4):941-970.
Semantics for existential graphs.Eric M. Hammer - 1998 - Journal of Philosophical Logic 27 (5):489-503.
Peirce's Logical Graphs for Boolean Algebras and Distributive Lattices.Minghui Ma - 2018 - Transactions of the Charles S. Peirce Society 54 (3):320.
Peirce's tutorial on existential graphs.John F. Sowa - 2011 - Semiotica 2011 (186):347-394.
Prior's Grappling with Peirce's Existential Graphs.Peter Øhrstrøm - 2018 - History and Philosophy of Logic 39 (2):158-163.

Analytics

Added to PP
2021-05-10

Downloads
41 (#379,234)

6 months
34 (#99,137)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Francesco Bellucci
University of Bologna
Ahti-Veikko Pietarinen
Hong Kong Baptist University

Citations of this work

Modular vs. diagrammatic reasoning.Angelina Bobrova & Ahti-Veikko Pietarinen - 2022 - Pragmatics and Cognition 29 (1):111-134.

Add more citations

References found in this work

The nature and structure of content.Jeffrey C. King - 2007 - New York: Oxford University Press.
Mathematical logic.Willard Van Orman Quine - 1951 - Cambridge,: Harvard University Press.
Frege.Michael Dummett - 1975 - Teorema: International Journal of Philosophy 5 (2):149-188.
Facts and Propositions.Frank P. Ramsey - 1927 - Aristotelian Society Supplementary Volume 7 (1):153-170.

View all 21 references / Add more references