nLab Charles Sanders Peirce

Charles Sanders Peirce (1839-1914), a philosopher, logician and scientist, was one of the founders of modern symbolic logic. In particular, he developed a form of predicate logic. Peirce devised a graphical notation, known as existential graphs, to represent logical calculi. There were three systems of such graphs: the system alpha, to represent propositional logic, the system beta, to represent predicate logic, and the system gamma, to represent modal logic.

Geraldine Brady and Todd Trimble have given a category theoretic interpretation of the alpha and beta systems. The latter, a form of string diagrammatic notation, was developed (PontoShul) into a string diagram notation for indexed monoidal categories.

References

• Geraldine Brady and Todd Trimble (2000a). A Categorical Interpretation of C. S. Peirce’s Propositional Logic Alpha. Journal of Pure and Applied Algebra 149 (2000): 213-239

• Kate Ponto and Mike Shulman, Duality and traces in indexed monoidal categories, (web)

• Fernando Zalamea (2012), Peirce’s Logic of Continuity: A Conceptual and Mathematical Approach

• Frederik Stjernfelt (2014), Natural Propositions: The Actuality of Peirce’s Doctrine of Dicisigns

• Rosa Maria Perez-Teran Mayorga (2008), From Realism to ‘Realicism’: The Metaphysics of Charles Sanders Peirce

• Andrew Reynolds (2002), Peirce’s Scientific Metaphysics: The Philosophy of Chance, Law, and Evolution

• Matthew Moore (ed) (2010), New Essays on Peirce’s Mathematical Philosophy

• C.S. Peirce & Matthew Moore (ed) (2010), Philosophy of Mathematics: Selected Writings

category: people, philosophy

Revised on June 19, 2014 12:01:13 by Zoran Škoda (31.45.182.226)