Peirce's Truth-functional Analysis and the Origin of the Truth Table

History and Philosophy of Logic 33 (1):87 - 97 (2012)
  Copy   BIBTEX


We explore the technical details and historical evolution of Charles Peirce's articulation of a truth table in 1893, against the background of his investigation into the truth-functional analysis of propositions involving implication. In 1997, John Shosky discovered, on the verso of a page of the typed transcript of Bertrand Russell's 1912 lecture on ?The Philosophy of Logical Atomism? truth table matrices. The matrix for negation is Russell's, alongside of which is the matrix for material implication in the hand of Ludwig Wittgenstein. It is shown that an unpublished manuscript identified as composed by Peirce in 1893 includes a truth table matrix that is equivalent to the matrix for material implication discovered by John Shosky. An unpublished manuscript by Peirce identified as having been composed in 1883?1884 in connection with the composition of Peirce's ?On the Algebra of Logic: A Contribution to the Philosophy of Notation? that appeared in the American Journal of Mathematics in 1885 includes an example of an indirect truth table for the conditional



    Upload a copy of this work     Papers currently archived: 86,605

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

On the structures inside truth-table degrees.Frank Stephan - 2001 - Journal of Symbolic Logic 66 (2):731-770.
Is the truth table task mistaken?Aline Sevenants, Kristien Dieussaert & Walter Schaeken - 2012 - Thinking and Reasoning 18 (2):119 - 132.
On interpreting truth tables and relevant truth table logic.Richard Sylvan - 1992 - Notre Dame Journal of Formal Logic 33 (2):207-215.


Added to PP

116 (#132,082)

6 months
5 (#194,282)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Logic Diagrams, Sacred Geometry and Neural Networks.Jens Lemanski - 2019 - Logica Universalis 13 (4):495-513.
A Pragmatic-Semiotic Defence of Bivalence.Marc Champagne - 2022 - History and Philosophy of Logic 43 (2):143-157.
Truth Diagrams Versus Extant Notations for Propositional Logic.Peter C.-H. Cheng - 2020 - Journal of Logic, Language and Information 29 (2):121-161.

View all 8 citations / Add more citations

References found in this work

From Frege to Gödel.Jean Van Heijenoort (ed.) - 1967 - Cambridge,: Harvard University Press.
Begriffschrift, eine der Arithmetischen nachgebildete Formelsprache des reinen Denkens.Gottlob Frege - 1879 - Revue Philosophique de la France Et de l'Etranger 8:108-109.
Selected works.Jan Łukasiewicz - 1970 - Amsterdam,: North-Holland Pub. Co.. Edited by Ludwik Borkowski.
Annotated Catalogue of the Papers of Charles S. Peirce.Richard S. Robin - 1967 - [Amherst] : University of Massachusetts Press.

View all 23 references / Add more references