Wittgenstein et la preuve mathématique comme vérifacteur

Fiche du document

Date

2011

Discipline
Type de document
Périmètre
Langue
Identifiant
Collection

Erudit

Organisation

Consortium Érudit

Licence

Tous droits réservés © Société de philosophie du Québec, 2011



Citer ce document

Mathieu Marion, « Wittgenstein et la preuve mathématique comme vérifacteur », Philosophiques, ID : 10.7202/1005720ar


Métriques


Partage / Export

Résumé Fr En

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 ».

document thumbnail

Par les mêmes auteurs

Sur les mêmes sujets

Sur les mêmes disciplines

Exporter en