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 - 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 -