-
Birth
-
The Raven Paradox
In 1945, Hempel publishes "Studies in the Logic of Confirmation". In this work, he posited The Raven Paradox as a method to explain a fault in logical equivalencies. This fault arises from Nicod's Criterion where “(x)(Rx⊃Bx)” will be confirmed by black ravens, but "(x)(¬Bx⊃¬Rx)" will be confirmed by non-black non-ravens such as a white shoe. (Fetzer 3.1) https://www.youtube.com/watch?v=7_dbh6RbdCM -
Mathematical Truths
The same year as publishing Studies on the Logic of Confirmation, Hempel also published On the Nature of Mathematical Truths. In this work, he deduced that mathematics boil down into logic. Beyond that, he also split this proposal into two pieces. "(i) that all mathematical concepts can be defined by means of basic logical concepts; and (ii) that all mathematical theorems can be deduced from basic logical truths" (Fetzer 2). -
Death
-
Works Cited
Fetzer, James. “Carl Hempel.” Stanford Encyclopedia of Philosophy, Stanford University, 6 Sept. 2017, plato.stanford.edu/entries/hempel/ Hempel, Carl G. “Studies in the Logic of Confirmation (I.).” Mind, vol. 54, no. 213, 1945, pp. 1–26. JSTOR, www.jstor.org/stable/2250886. Accessed 26 July 2020. Hempel, C. G. “On the Nature of Mathematical Truth.” The American Mathematical Monthly, vol. 52, no. 10, 1945, pp. 543–556. JSTOR, www.jstor.org/stable/2306103. Accessed 26 July 2020.