The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...) given the particular meaning he gives to this thesis, he cannot account for mathematical conjectures. We conclude by showing how his views find a favourable echo today in the paradigm of “proposition-as-type” and extensions of the Curry-Howard isomorphism from which this paradigm originates. (shrink)

Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le (...) caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ». (shrink)

In one of his meetings with members of the Vienna Circle, Wittgenstein discusses Hermann Weyl’s brief conversion to intuitionism and criticizes his arguments against applying the law of the excluded middle to generalizations over the natural numbers. Like Weyl, however, Wittgenstein rejects the classical model theoretic conception of generality when it comes to infinite domains. Nonetheless, he disagrees with him about the reasons for doing so. This paper provides an account of Wittgenstein’s criticism of Weyl that is based on his (...) differing understanding of what a general statement over infinite domains consists in. This difference in their conception of generality is argued to be central to the middle Wittgenstein’s overall stance on intuitionism as well. While Weyl (and other intuitionists) reject the law of the excluded middle on grounds of constructivity, Wittgenstein argues that general statements over infinite domains do not express propositions in the first place. The origin of this position as well as its consequences for contemporary debates on generality are further assessed. (shrink)

Cette publication, la trois cent vingt-troisième de la série, a été rendue possible grâce à la contribution financière du FQRSC (Fonds québécois de recherche sur la société et la culture).