Wittgenstein on Mathematical Meaningfulness, Decidability, and Application

Notre Dame Journal of Formal Logic 38 (2):195-224 (1997)
  Copy   BIBTEX


From 1929 through 1944, Wittgenstein endeavors to clarify mathematical meaningfulness by showing how (algorithmically decidable) mathematical propositions, which lack contingent "sense," have mathematical sense in contrast to all infinitistic "mathematical" expressions. In the middle period (1929-34), Wittgenstein adopts strong formalism and argues that mathematical calculi are formal inventions in which meaningfulness and "truth" are entirely intrasystemic and epistemological affairs. In his later period (1937-44), Wittgenstein resolves the conflict between his intermediate strong formalism and his criticism of set theory by requiring that a mathematical calculus (vs. a "sign-game") must have an extrasystemic, real world application, thereby returning to the weak formalism of the Tractatus



    Upload a copy of this work     Papers currently archived: 77,952

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

Issues of Decidability and Tractability.Witold Marciszewski (ed.) - 2006 - University of Białystok.
The gödel paradox and Wittgenstein's reasons.Francesco Berto - 2009 - Philosophia Mathematica 17 (2):208-219.
On Luce's theory of meaningfulness.Fred S. Roberts - 1980 - Philosophy of Science 47 (3):424-433.
Reflecting on the Meaning of Life.Nicole Note - 2009 - Philosophy in the Contemporary World 16 (2):22-31.
Deducibility and Decidability.R. R. Rockingham Gill - 1990 - London and New York: Routledge.
Wittgenstein's anti-platonism.Sílvio Pinto - 1998 - Grazer Philosophische Studien 56 (1):109-132.


Added to PP

41 (#291,833)

6 months
2 (#326,657)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Victor Rodych
University of Lethbridge

References found in this work

Consciousness, Philosophy, and Mathematics.L. E. J. Brouwer - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:1235-1249.
Mathematical alchemy.Penelope Maddy - 1986 - British Journal of Philosophy of Science 46 (September):555-575.
Wittgenstein's philosophy of mathematics.Michael Wrigley - 1977 - Philosophical Quarterly 27 (106):50-59.
Mathematical Alchemy.Penelope Maddy - 1986 - British Journal for the Philosophy of Science 37 (3):279-314.

Add more references