Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter February 3, 2021

What he could have said (but did not say) about Gödel’s second theorem: A note on Floyd-Putnam’s Wittgenstein

  • Kaave Lajevardi
From the journal Wittgenstein-Studien


In several publications, Juliet Floyd and Hilary Putnam have argued that the so-called ‘notorious paragraph’ of the Remarks on the Foundations of Mathematics contains a valuable philosophical insight about Gödel’s informal proof of the first incompleteness theorem – in a nutshell, the idea they attribute to Wittgenstein is that if the Gödel sentence of a system is refutable, then, because of the resulting ω-inconsistency of the system, we should give up the translation of Gödel’s sentence by the English sentence “I am unprovable”.

I will argue against Floyd and Putnam’s use of the idea, and I will indirectly question its attribution to Wittgenstein. First, I will point out that the idea is inefficient in the context of the first incompleteness theorem because there is an explicit assumption of soundness in Gödel’s informal discussion of that theorem. Secondly, I will argue that of he who makes the observation that Floyd and Putnam think Wittgenstein has made about the first theorem, one will expect to see an analogous observation (concerning the ‘consistency’ statement of systems) about Gödel’s second incompleteness theorem – yet we see nothing to that effect in Wittgenstein’s remarks. Incidentally, that never-made remark on the import of the second theorem is of genuine logical significance.[1]


Bays, Timothy: On Floyd and Putnam on Wittgenstein on Gödel, in: The Journal of Philosophy, 101 (2004), 197 – 210.10.5840/jphil2004101422Search in Google Scholar

Floyd, Juliet: Prose versus proof: Wittgenstein on Gödel, Tarski and truth, in: Philosophia Mathematica, 9 (2001), 280 – 307.10.1093/philmat/9.3.280Search in Google Scholar

Floyd, Juliet & Putnam, Hilary: A note on Wittgenstein’s ‘notorious paragraph’ about the Gödel theorem, in: The Journal of Philosophy, 97 (2000), 624 – 632.10.5840/jphil2000971129Search in Google Scholar

Floyd, Juliet & Putnam, Hilary: Bays, Steiner, and Wittgenstein's ‘notorious’ paragraph about the Gödel theorem, in: The Journal of Philosophy, 103 (2006), 101 – 110.10.5840/jphil2006103228Search in Google Scholar

Franks, Curtis: The Gödelian inferences, in: History and Philosophy of Logic, 30 (2009), 241 – 256.10.1080/01445340802617523Search in Google Scholar

Gödel, Kurt: On formally undecidable propositions of Principia Mathematica and related systems I (1931), in: Solomon Feferman et al. (eds.): Kurt Gödel Collected Works, Volume I: Publications 1929 – 1936, Oxford 1986, 145 – 195.Search in Google Scholar

Isaacson, Daniel: Necessary and sufficient conditions for undecidability of the Gödel sentence and its truth, in: David DeVidi et al. (eds.): Logic, Mathematics, Philosophy, Vintage Enthusiasms: Essays in Honour of John L. Bell, Dordrecht 2011, 135 – 152.10.1007/978-94-007-0214-1_7Search in Google Scholar

Kreisel, Georg: Second thoughts around some of Gödel's writings: A non-academic option, in: Synthese, 114 (1998), 99 – 160.10.1023/A:1005006610269Search in Google Scholar

Lajevardi, Kaave & Salehi, Saeed: On the arithmetical truth of self-referential sentences, in: Theoria, 85 (2019), 8 – 17.10.1111/theo.12169Search in Google Scholar

Putnam, Hilary: A note on Steiner on Wittgenstein, Gödel, and Tarski, in: Iyyun: The Jerusalem Philosophical Quarterly, 57 (2008), 83 – 93.Search in Google Scholar

Rodych, Victor: Misunderstanding Gödel: New arguments about Wittgenstein and new remarks by Wittgenstein, in: Dialectica, 57 (2003), 279 – 313.10.1111/j.1746-8361.2003.tb00272.xSearch in Google Scholar

Steiner, Mark: Wittgenstein as his worst enemy: The case of Gödel’s theorem, in: Philosophia Mathematica, 9 (2001), 257 – 279.10.1093/philmat/9.3.257Search in Google Scholar

Online erschienen: 2021-02-03

© 2021 Walter de Gruyter GmbH, Berlin/Boston

Downloaded on 1.12.2023 from
Scroll to top button