Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Peirce, apparently, did develop a equivalent form of truth table earlier, but it would be misunderstand the history of computer science to attribute them to Peirce. Just because someone had the idea first, doesn't mean that work is the source of the idea going forward.

I think it's pretty clear that Wittgenstein's truth tables are those that guided the development of computer science.

>In a manuscript of 1893, in the context of his study of the truth-functional analysis of propositions and proofs and his continuing efforts at defining and understanding the nature of logical inference, and against the background of his mathematical work in matrix theory in algebra, Charles Peirce presented a truth table which displayed in matrix form the definition of his most fundamental connective, that of illation, which is equivalent to the truth-functional definition of material implication. Peirce’s matrix is exactly equivalent to that for material implication discovered by Shosky that is attributable to Bertrand Russell and has been dated as originating in 1912. Thus, Peirce’s table of 1893 may be considered to be the earliest known instance of a truth table device in the familiar form which is attributable to an identifiable author, and antedates not only the tables of Post, Wittgenstein, and Łukasiewicz of 1920-22, but Russell’s table of 1912 and also Peirce’s previously identified tables for trivalent logic tracable to 1902.

PDF of Anellis's paper: https://arxiv.org/ftp/arxiv/papers/1108/1108.2429.pdf

>But even if that conclusion is challenged, it is now clear that Russell understood and used the truth-table technique and the truth-table device. By 1910, Russell had already demonstrated a well-documented understanding of the truth-table technique in his work on Principia Mathematica. Now, it would seem that by 1912, and surely by 1914, Russell understood, and used, the truth-table device. Of course, the combination of logical conception and logical engineering by Russell in his use of truth tables is the culmination of work by Boole and Frege, who were closely studied by Russell. Wittgenstein and Post still deserve recognition for realizing the value and power of the truth-table device. But Russell also deserves some recognition on this topic, as part of this pantheon of logicians.

>In this paper I have shown that neither the truth-table technique nor the truth-table device was "invented" by Wittgenstein or Post in 1921-22. The truth-table technique may originally be a product of Philo's mind, but it was clearly in use by Boole, Frege, and Whitehead and Russell. The truth-table device is found in use by Wittgenstein in 1912, perhaps with some collaboration from Russell. Russell used the truth-table technique at Harvard in 1914 and in London in 1918. So the truth-table technique and the truth-table device both predate the early 1920s.

PDF of Shosky's relevant paper: https://mulpress.mcmaster.ca/russelljournal/article/download...



I suspected Frege, which is why I went looking for a source, but found Peirce instead. Good catch.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: