I propose to sketch my views on several aspects of the philosophy of mathematics that I take to be especially relevant to philosophy as a whole. The relevance of my discussion would, I think, become more evident, if the reader keeps in mind the function of (the philosophy of) mathematics in philosophy in providing us with more transparent aspects of general issues. I shall consider: (1) three familiar examples; (2) logic and our conceptual frame; (3) communal agreement and objective certainty; (...) (4) the transcommunal universality of mathematics; (5) the big jump to the potential infinite; (6) the reconciliation of local creation with the hypothesis of discovery; (7) Platonism as realism plus conceptualism; (8) foundational studies and mathematical practice; and (9) the decomposition of philosophical disagreements. The views of Gödel and Wittgenstein are emphasized in order to add specificity to the discussions. (shrink)

In this paper, elementary but hitherto overlooked connections are established between Wittgenstein's remarks on mathematics, written during his transitional period, and free-variable finitism. After giving a brief description of theTractatus Logico-Philosophicus on quantifiers and generality, I present in the first section Wittgenstein's rejection of quantification theory and his account of general arithmetical propositions, to use modern jargon, as claims (as opposed to statements). As in Skolem's primitive recursive arithmetic and Goodstein's equational calculus, Wittgenstein represented generality by the use of free (...) variables. This has the effect that negation of unbounded universal and existential propositions cannot be expressed. This is claimed in the second section to be the basis for Wittgenstein's criticism of the universal validity of the law of excluded middle. In the last section, there is a brief discussion of Wittgenstein's remarks on real numbers. These show a preference, in line with finitism, for a recursive version of the continuum. (shrink)

Remarks on the Foundations of Mathematics, Wittgenstein, despite his official 'mathematical nonrevisionism', slips into attempting to refute Gödel's theorem. Actually, Wittgenstein could have used Gödel's theorem to good effect, to support his view that proof, and even truth, are 'family resemblance' concepts. The reason that Wittgenstein did not see all this is that Gödel's theorem had become an icon of mathematical realism, and he was blinded by his own ideology. The essay is a reply to Juliet Floyd's work on Gödel: (...) what she says Wittgenstein said, I say he should have said, but didn't (couldn't). (shrink)

A survey of current evidence available concerning Wittgenstein's attitude toward, and knowledge of, Gödel's first incompleteness theorem, including his discussions with Turing, Watson and others in 1937–1939, and later testimony of Goodstein and Kreisel; 2) Discussion of the philosophical and historical importance of Wittgenstein's attitude toward Gödel's and other theorems in mathematical logic, contrasting this attitude with that of, e.g., Penrose; 3) Replies to an instructive criticism of my 1995 paper by Mark Steiner which assesses the importance of Tarski's semantical (...) work, both for our understanding of Wittgenstein's remarks on Gödel, and our understanding of Gödel's theorem itself. (shrink)

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. (shrink)

It is reported that in reply to John Wisdom’s request in 1944 to provide a dictionary entry describing his philosophy, Wittgenstein wrote only one sentence: “He has concerned himself principally with questions about the foundations of mathematics”. However, an understanding of his philosophy of mathematics has long been a desideratum. This was the case, in particular, for the period stretching from the Tractatus Logico-Philosophicus to the so-called transitional phase. Marion’s book represents a giant leap forward in this direction. In the (...) preface, Marion provides a diagnosis for why it has taken such a long time to obtain an accurate picture of Wittgenstein’s ideas in the foundations of mathematics. When the Remarks on the Foundations of Mathematics came out in 1956 the reception by specialists, such as Kreisel, was negative. This led many Wittgenstein scholars to set aside the issues in the foundations of mathematics and go on with the business of the day, focusing on Wittgenstein’s philosophy of language and psychology. However, these early negative appraisals were severely limited by two facts. First of all, the nature of the Remarks was a hindrance to an understanding of what Wittgenstein was up to. The book was edited by Wittgenstein’s literary executors by collating together passages from several manuscripts dating from 1937 to 1944, cutting, however, many passages in between remarks. Second, many of the original manuscripts and typescripts of the transitional phase were not available and thus it was virtually impossible to obtain a balanced picture of Wittgenstein’s development. Finally, a stark contraposition between the early and late Wittgenstein did not encourage people to work seriously on the development of Wittgenstein’s position from the Tractatus through the transitional period to the later writings. (shrink)

1) A survey of current evidence available concerning Wittgenstein's attitude toward, and knowledge of, Gödel's first incompleteness theorem, including his discussions with Turing, Watson and others in 1937–1939, and later testimony of Goodstein and Kreisel; 2) Discussion of the philosophical and historical importance of Wittgenstein's attitude toward Gödel's and other theorems in mathematical logic, contrasting this attitude with that of, e.g. , Penrose; 3) Replies to an instructive criticism of my 1995 paper by Mark Steiner which assesses the importance of (...) Tarski's semantical work, both for our understanding of Wittgenstein's remarks on Gödel, and our understanding of Gödel's theorem itself. (shrink)