Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

Witt et la preuve math comme verifacteur

Article Wittgenstein et la preuve mathématique comme vérifacteur ? Mathieu Marion Philosophiques vol n p - Pour citer cet article utiliser l'information suivante URI http id erudit org iderudit ar DOI ar Note les règles d'écriture des références bibliographiques peuvent varier selon les di ?érents domaines du savoir Ce document est protégé par la loi sur le droit d'auteur L'utilisation des services d'Érudit y compris la reproduction est assujettie à sa politique d'utilisation que vous pouvez consulter à l'URI http www erudit org apropos utilisation html Érudit est un consortium interuniversitaire sans but lucratif composé de l'Université de Montréal l'Université Laval et l'Université du Québec à Montréal Il a pour mission la promotion et la valorisation de la recherche Érudit o ?re des services d'édition numérique de documents scienti ?ques depuis Pour communiquer avec les responsables d'Érudit erudit umontreal ca Document téléchargé le juin CWittgenstein et la preuve mathématique comme vérifacteur MATHIEU MARION Université du Québec à Montréal RÉSUMÉ ?? 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 ? ?uvre 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 ? ABSTRACT ?? 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 ? La preuve intuitionniste comme vérifacteur ? acte trace ou objet Dans Truth-Makers ? Kevin Mulligan Peter Simons et Barry Smith ont proposé une analyse générale de la notion de vérité en termes de truth-makers ? ou vérifacteurs ? devenue depuis centrale en philosophie analytique A est vrai si et seulement s ? il existe un vérifacteur pour A G? ran Sundholm a proposé dans Existence Proof and TruthMaking A Perspective on the Intuitionistic Conception of Truth ? d ? inclure Dans ce texte les références au Tractatus logico-philosophicus sont au numéro de paragraphe et non au numéro de page de la traduction de Gilles-Gaston Granger Wittgenstein Dans ce cas comme dans celui des autres traductions françaises de Wittgenstein je me permets de les modi ?er silencieusement au besoin Mulligan Simons Smith Pour des discussions récentes voir Beebee