Forwarded from Dr. Thomas Adajian, including time correction to 3:30
EST. - B.U.
SUBJECT: online talk: 3:30 EST 3/24 - Rocco Gangle, Logic from Scratch:
A Philosophical Approach to C. S. Peirce’s Diagrammatic First-Order Logic
FROM: Adajian, Thomas - adajiatr
Logic from Scratch: A Philosophical Approach to C. S. Peirce’s
Diagrammatic First-Order Logic
Rocco Gangle, Center for Diagrammatic and Computational Philosophy,
Endicott College
This presentation introduces the “alpha” and “beta” levels of EG,
corresponding to classical propositional and first-order logic with
equality respectively. Peirce’s diagrammatic graphical notation
represents logical operators with elementary topological structures in
the plane, namely closed curves and continuous lines. Deductive rules
are then specified in terms of writing, erasing and copying certain
topologically connected components of the logical graphs in determinate
ways. Remarkably, the same writing, erasing and copying rules carry over
essentially from the “alpha” to the “beta” level, establishing a deeper
continuity between propositional and first-order logic than is often
considered. In addition to introducing the system of EG and showing how
mathematical tools drawn from elementary category theory can aid in
formalizing Peirce’s system rigorously, this presentation will emphasize
links between Peirce’s diagrammatic logical notation and other aspects
of his philosophical thought, particularly his semiotics and his
metaphysics of continuity. What is the specifically philosophical
importance of Peirce’s diagrammatic logic? It provides insight into the
origins of logical thinking by showing how logical form emerges
naturally from minimal constructions of continuity and discontinuity. It
teaches us how to build up logic from scratch.
Meeting ID 818 4891 1790
Passcode 906010
https://jmu-edu.zoom.us/j/81848911790?pwd=R0xweXRNN201WTJCT3lVNkswdVdtUT09
Dr. Thomas Adajian
philosophy program
dept. of philosophy & religion -msc 8006
james madison university
harrisonburg, va 22807
jmu logic and reasoning institute
_ _ _ _ _ _ _ _ _ _
► PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON
PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu .
► To UNSUBSCRIBE, send a message NOT to PEIRCE-L but to l...@list.iupui.edu
with UNSUBSCRIBE PEIRCE-L in the SUBJECT LINE of the message and nothing in the
body. More at https://list.iupui.edu/sympa/help/user-signoff.html .
► PEIRCE-L is owned by THE PEIRCE GROUP; moderated by Gary Richmond; and
co-managed by him and Ben Udell.