TY - JOUR
T1 - Existential graphs as an instrument of logical analysis
T2 - Part I. Alpha
AU - Bellucci, Francesco
AU - Pietarinen, Ahti Veikko
N1 - Funding Information:
Research supported by the Estonian Research Council (Project PUT267) and the Academy of Finland: Diagrammatic Mind: Logical and Communicative Aspects of Iconicity, Principal Investigator Ahti-Veikko Pietarinen.
Publisher Copyright:
© Association for Symbolic Logic 2016
PY - 2016/6
Y1 - 2016/6
N2 - Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce's proposal that the relation of illation is the primitive relation of logic and defend the view that this idea constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin's argument for multiple readings of Alpha graphs is circular.
AB - Peirce considered the principal business of logic to be the analysis of reasoning. He argued that the diagrammatic system of Existential Graphs, which he had invented in 1896, carries the logical analysis of reasoning to the furthest point possible. The present paper investigates the analytic virtues of the Alpha part of the system, which corresponds to the sentential calculus. We examine Peirce's proposal that the relation of illation is the primitive relation of logic and defend the view that this idea constitutes the fundamental motive of philosophy of notation both in algebraic and graphical logic. We explain how in his algebras and graphs Peirce arrived at a unifying notation for logical constants that represent both truth-function and scope. Finally, we show that Shin's argument for multiple readings of Alpha graphs is circular.
UR - http://www.scopus.com/inward/record.url?scp=84959213331&partnerID=8YFLogxK
U2 - 10.1017/S1755020315000362
DO - 10.1017/S1755020315000362
M3 - Journal article
AN - SCOPUS:84959213331
SN - 1755-0203
VL - 9
SP - 209
EP - 237
JO - Review of Symbolic Logic
JF - Review of Symbolic Logic
IS - 2
ER -