Philosophiques 39 (1):101-124 (2012)

Authors
Mitsuhiro Okada
Keio University
Mathieu Marion
Université du Québec à Montreal
Abstract
La thèse selon laquelle la signification d’un énoncé mathématique est donnée par sa preuve a été soutenue à la fois par Wittgenstein et par les intuitionnistes, à la suite de Heyting et de Dummett. Dans ce texte, nous nous attachons à clarifier le sens de cette thèse chez Wittgenstein, afin de montrer en quoi sa position se distingue de celle des intuitionnistes. Nous montrons par ailleurs que cette thèse prend sa source chez Wittgenstein dans sa réflexion, durant la période intermédiaire, sur la notion de preuve par induction. Nous esquissons aussi les grandes lignes de la réponse que Wittgenstein fait à un certain nombre d’objections, dont celle selon laquelle cette thèse, dans le sens qu’il lui donne, remet en question la possibilité même de formuler une conjecture en mathématique. Nous terminons en montrant comment les propos de Wittgenstein trouvent un écho favorable dans le paradigme contemporain de la “proposition comme type” et les extensions de l’isomorphisme de Curry-Howard dont il est issu.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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.7202/1011612ar
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 52,768
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Mathematical Proof.G. H. Hardy - 1929 - Mind 38 (149):1-25.
Typed Lambda-Calculus in Classical Zermelo-Frænkel Set Theory.Jean-Louis Krivine - 2001 - Archive for Mathematical Logic 40 (3):189-205.
Wittgenstein and Brouwer.Mathieu Marion - 2003 - Synthese 137 (1-2):103 - 127.

View all 7 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Identification et tautologie: l'identité chez Husserl et Wittgenstein.Denis Seron - 2003 - Revue Philosophique De Louvain 101 (4):593-609.
Merleau-Ponty En Wittgenstein II.R. G. Kwant - 1970 - Tijdschrift Voor Filosofie 32 (1):3 - 29.
Le mythe de l'usage.Jocelyn Benoist - 2010 - Les Etudes Philosophiques 94 (3):417.
La relation entre le mathématique et le physique.Léon Brunschvicg - 1923 - Revue de Métaphysique et de Morale 30 (3):353 - 363.

Analytics

Added to PP index
2013-10-31

Total views
30 ( #327,949 of 2,340,352 )

Recent downloads (6 months)
5 ( #149,001 of 2,340,352 )

How can I increase my downloads?

Downloads

My notes