Philosophie des mathématiques de Ludwig Wittgenstein

De testwiki
Aller à la navigation Aller à la recherche
Erreur lors de la création de la vignette :
Ludwig Wittgenstein, en 1930.

Ludwig Wittgenstein considérait que sa Modèle:Citation, un sujet auquel plus de la moitié de ses écrits entre 1929 et 1944 sont dédiés Modèle:SfnModèle:,Modèle:Sfn. C'est un des aspects les plus négligés de sa pensée. Les commentateurs suggèrent que cela est dû d'une part à sa réticence à entrer dans les détails techniques, et sa tendance à se limiter à des exemples très simples ; d'autre part au fait que Wittgenstein n'apporte pas « sa » solution au problème des fondements des mathématiques mais montre plutôt qu'un tel problème n'a pas de raison d'êtreModèle:Sfn.

Wittgenstein n'a cessé, quel que soit la période de sa vie, de mener à bien la clarification du langage, de dénouer les nœuds des problèmes langagiers. En ce sens son travail sur les mathématiques n'en est qu'une continuation : la vision pure que se font les philosophes et mathématiciens de cette science détachée du « monde réel », qui ferait même douter de l'existence de ce qu'il y a hors du monde des Idées de Platon, est attaquée par Wittgenstein comme un autre problème à dissoudre dans l'analyse du langage. Ainsi ni le Tractatus ni ses écrits ultérieurs n'ont proposé de « théorie » ni de « philosophie » mathématique consistante. Son geste consiste d'abord à montrer aux philosophes que les mathématiques peuvent être vues de telle sorte que « s'évanouissent aussi bien la préoccupation fondatrice à l'égard des mathématiques, en particulier le souci philosophique général de s'assurer définitivement de ce qui est et de ce que l'on ne peut en connaître »Modèle:Sfn.

Historique et introduction

  1. Modèle:XIXe siècle : de Cauchy à Cantor, la continuité du développement technique du calcul infinitésimal du Modèle:XVIIe siècle, se poursuit notamment, d'une part par l'« arithmétisation de l'Analyse » par Karl Weierstrass et la construction de l'ensemble des réels par Dedekind ; d'autre part, par une clarification des fondements logiques de la mathématique avec le travail d'entre autres Gödel, Löwenheim, Skolem.
  2. Modèle:XXe siècle : Cette volonté de fournir des fondements fut poursuivie par Frege et Russell au début du siècle suivant, avec un regard logiciste. Tous deux ont essayé de refonder la logique et de clarifier ce que signifie la proposition logique, avec respectivement lModèle:'Idéographie et les Principia Mathematica (co-écrit avec A. N. Whitehead). La logique, et donc les mathématiques, prennent donc le statut de « science du vrai », de normalisation de la pensée si l'on veut se conformer à l'expression de la vérité. Seulement, le paradoxe de Russell et déjà les théorèmes d'incomplétude de Gödel ont rendu cette position peu soutenable.
  3. Dès lors la tendance formaliste se développe notamment chez Hilbert, dans ses Grundlagen der Geometrie, qui essaye de fournir des axiomes Modèle:Incise. Le programme hilbertien va plus loin dans la tentative de succéder au logicisme, en essayant de rendre une légitimité et un fondement aussi solide que possible aux mathématiques. Celui-ci se rapproche en effet d'un finitisme mathématique : toutes les procédures et objets considérés sont préférés finis.
  4. Cette tentative de concilier l'intuition d'une impossibilité physique de l'infini mais d'une possibilité conceptuelle de Hilbert prend une forme plus rigoureuse par le biais de l'intuitionnisme. Fondé par les mathématiciens Brouwer et Heyting entre autres, cette conception tend à réduire les principes logiques initiaux pour ne plus pouvoir considérer mathématiquement ce qui était jusqu'ici problématique. Ainsi le principe du tiers exclu est-il écarté, et l'activité mathématique recentrée sur l'effectivité et la construction.

Qu'est-ce que Wittgenstein retient de ces trois « philosophies » ? Du logicisme, Wittgenstein retient que la logique et les mathématiques sont le cadre formel nécessaire à tout discours a priori ayant prétention de vérité. Du formalisme, le concept de « jeu » qui traverse toute sa seconde philosophie : l'accord tacite des règles avec lesquels les mathématiciens jouent sans la considération d'une supra-réalité mathématique. De l'intuitionnisme enfin, que les mathématiques sont d'abord une activité humaine qui n'a d'autre réalité que celle que lui donne l'hommeModèle:Sfn. François Schmitz, dans Wittgenstein, la philosophie et les mathématiques, énonce alors trois questions toujours posées et jamais résolues, desquelles Wittgenstein veut mettre un terme :

  1. Pourquoi seules les mathématiques sont-elles nécessaires et a priori ?
  2. Pourquoi les « jeux mathématiques » sont-ils si productifs et assurés ?
  3. Pourquoi la pensée humaine peut-elle atteindre une telle exactitude et une telle certitude ?

Comme ailleurs dans ses écrits, son style évolue sur la philosophie des mathématiques d'un style assertif et rudimentaire dans le Tractatus logico-philosophicus (1922), à un style devenu plus clair et précis en faveur d'un constructivisme finitiste dans ses Remarques philosophiques (1929-1930), sa Philosophie de la grammaire (1931-1933) et plus tard dans les Remarques sur le fondements des mathématiques (1937-1944). Enfin, la pensée de sa « seconde période » philosophique en mathématiques Modèle:Incise qui se caractérise par l'usage de l'aphorisme et de la dialectique, se porte sur un non interventionnisme, c'est-à-dire la non nécessité de justifier les fondements des mathématiquesModèle:Sfn. L'autonomie de la grammaire et la souveraineté de la pratique, qui constituent le cœur de la pensée tardive, prennent donc une importance égale dans sa réflexion sur les mathématiquesModèle:SfnModèle:,Modèle:Sfn. Comprendre ce que pense Wittgenstein des mathématiques revient donc à reconstituer des bribes parfois peu intelligibles sans fil directeur généralModèle:Sfn.

Le statut de la proposition mathématique dans le Tractatus

La première philosophie de Wittgenstein propose une conception des mathématiques formaliste et extensionnaliste. La première thèse présente la science des mathématiques comme rien de plus qu'un jeu formel, syntaxique. La seconde thèse signifie que la valeur de vérité d'une proposition peut toujours être vue comme fonction de ses propositions atomiques, soumises aux règles du calcul des propositions[n 1].

La proposition mathématique, telle qu'une égalité ou plus généralement une suite d'énoncés logiques cohérente, est dénuée de sensModèle:Sfn :Modèle:Citation bloc. Par conséquent, puisque selon le quatrième aphorisme du Tractatus logico-philosophicus, Modèle:Citation, Wittgenstein peut écrire que Modèle:Citation Un théorème a donc le même statut logique qu'une tautologie, et Modèle:Citation Modèle:Petit. En particulier, les tautologies et les contradictions ne représentent pas la réalité ou des états de choses possibles ou des faits possibles Modèle:Petit. Autrement dit, les tautologies et les contradictions sont dénuées de sens ; et ne peuvent en particulier être ni vraies ni faussesModèle:Sfn. De manière analogue, les pseudo-propositions mathématiques sont des équations, qui indiquent ou montrent que deux expressions sont équivalentes en termes de sens et donc substituables l'une à l'autre. De même que « l'on peut reconnaître sur le seul symbole que [les propositions logiques] sont vraies » Modèle:Petit, la possibilité de prouver les propositions mathématiques revient à percevoir leur correction sans avoir besoin de les comparer aux faits Modèle:Petit[1].

La vision formaliste de la mathématique est maintenue par Wittgenstein jusqu'à sa mort en 1951. Vue autrement, cette démarcation s'énonce par le fait que les propositions mathématiques sont décidables par des moyens purement formels, tandis que les propositions sur le monde ne peuvent être décidées, si elles le sont, qu'en déterminant si oui ou non un fait particulier existe (c'est-à-dire si elle désigne un état de choses possible) : Modèle:CitationModèle:Sfn.

Russell écrit dans sa préface au Tractatus que la « théorie des nombres » de Wittgenstein « a besoin d'un développement technique plus poussé », du fait que Wittgenstein n'a traité que le cas des nombres et cardinaux finisModèle:Sfn. De même, dans sa critique du Tractatus, Frank Ramsey écrit qu'il ne couvre pas toutes les mathématiques, en particulier les inégalitésModèle:Sfn.

Depuis une vingtaine d'années, la théorie des opérations de Wittgenstein fait l'objet d'un examen approfondi (Frascolla 1994, 1997 ; Marion 1998 ; Potter 2000 ; et Floyd 2002), qui l'a reliée avec la théorie équationnelle de l'arithmétique du Tractatus, à des éléments de la théorie du λ-calculModèle:Sfn.

Wittgenstein du milieu et le formalisme finitiste

Un formalisme anthropologique

Modèle:ExergueAprès la rédaction du Tractatus en 1918 et sa publication en 1922, Wittgenstein ne produisit aucun travail philosophique avant février 1929, onze mois après avoir assisté à une conférence de L.E.J. Brouwer le 10 mars 1928 à Vienne, intitulée « Mathematik, Wissenschaft und Sprache »[2] (Mathématiques, science, et langage), à laquelle F. Waismann et H. Feigl sont aussi présents. La position conflictuelle de Wittgenstein face à l'intuitionnisme mathématique de Brouwer reflète l'évolution de sa pensée avant son retour à Cambridge en 1929. En effet, s'il est indiscutable que la conférence de Brouwer sur l'intuitionnisme en 1929, à laquelle assiste Wittgenstein, motive sa pensée de la grammaire du sens et de l'usage, Jacques Bouveresse note que l'influence dans sa philosophie des mathématiques est moins claireModèle:Sfn. En effet, le retour de Wittgenstein à la philosophie et son travail sur les mathématiques sont également dus à des conversations avec Ramsey et des membres du Cercle de VienneModèle:Sfn.

À cette période, Wittgenstein adapte une vision anthropologique du formalisme, selon laquelle « nous faisons des mathématiques » (Remarques philosophiques (abrégé RP), 159). Le mathématicien invente des calculs mathématiques purement formels, des axiomes « stipulés » (RP, 202), des règles syntaxiques de transformation et des procédures de décision qui nous permettent d'inventer la « vérité mathématique » et la « fausseté mathématique »Modèle:Sfn.

L'idée centrale du formalisme de Wittgenstein de 1929 à 1944 est que les mathématiques sont essentiellement syntaxiques, et dépourvues de référence et de sens. Comme le relèvent plusieurs commentateurs, qui ne qualifient par ailleurs pas tous Wittgenstein de « formaliste »[3] : chez lui, les signes et les propositions d'un calcul mathématique ne font référence à rien contrairement au platonisme. Comme le note Wittgenstein, Modèle:CitationModèle:Sfn En ce sens, Modèle:Citation (Recherches philosophiques, 109).

Finitisme

Wittgenstein développe une philosophie finitiste des mathématiques pour les raisons principales suivantes :

  1. Les mathématiques en tant qu'invention humaine. Cela implique que les objets dits mathématiques n'existent pas indépendamment de nos inventions.
  2. Les calculs mathématiques se composent exclusivement d'intensions et d'extensionsModèle:Note

Ces deux raisons ont des conséquences techniques importantes comme le rejet des extensions mathématiques infinies, de la quantification non bornée en mathématiques, ou encore de différentes cardinalités infinies : étant donné la non-existence d'extensions mathématiques infinies, Wittgenstein rejette l'interprétation standard de l'argument diagonale de Cantor, ou de nombre réel comme extensionsModèle:SfnModèle:,Modèle:Sfn.

Le fait que nous agissions par erreur comme si le mot « infini » était un « mot désignant une quantité » est étroitement lié à cette confusion entre intensions et extensions. Dans le discours ordinaire, nous répondons à la question « combien ? » sans y prendre garde[4]. Mais l'« infini n'est pas une quantité », insiste Wittgenstein, dans la mesure où une classe infinie est une règle récursive, alors que le symbole d'une classe finie est une listeModèle:Incise (RP, 461). Ainsi, puisqu'une extension mathématique est nécessairement une séquence finie de symboles, une extension mathématique infinie est une contradiction dans les termes. L'infini est compris correctement lorsqu'il est compris, non pas comme une quantité, mais comme une « possibilité infinie » (RP, 138)Modèle:Sfn.

De même, il n'existe pas de proposition mathématique sensée qui quantifie existentiellement sur un domaine infini[5] :Modèle:Citation blocAinsi, Wittgenstein adopte la position radicale selon laquelle toutes les expressions qui quantifient sur un domaine infini, qu'il s'agisse de conjectures (par exemple, la conjecture de Goldbach ou celle des nombres premiers jumeaux) ou de théorèmes (par exemple, le théorème des nombres premiers ou le théorème fondamental de l'algèbre), sont des expressions dénuées de sens par opposition aux « propositions mathématiques authentiques » (RP, 168).

Par conséquent, une expression n'est une proposition mathématique significative que si nous connaissons une procédure de décision applicable pour la décider (GP, 400)Modèle:Sfn.

Le second Wittgenstein et le non-interventionnisme

D'abord, on remarque que l'ensemble des écrits sur les mathématiques de Wittgenstein II consistent en des sélections de remarques manuscrites et quelques exposés. De plus, une partie de ceux-ci, la Nachlass, n'ont pu être accessibles qu'à partir de 2000 et n'ont donc pas tous pu être exploités par les spécialistes. Notons de plus qu'il n'existe pas de consensus quant à la continuité entre les philosophies des mathématiques du Wittgenstein du milieu et le second Wittgenstein[6]Modèle:,Modèle:Sfn. Nous traitons dans cette section des convergences et divergences entre les différentes pensées de Wittgenstein.

La constante la plus importante sur les mathématiques de Wittgenstein est qu'il maintient dès 1929 que les mathématiques sont une invention humaine. Partant, tout ce qui est mathématique est inventé. Tout comme le Wittgenstein du milieu dit que « nous faisons les mathématiques », le second Wittgenstein dit que nous « inventons » les mathématiques[1] et que « le mathématicien n'est pas un explorateur : c'est un inventeur »[1]. Rien n'existe mathématiquement tant que nous ne l'avons pas inventéModèle:Sfn.

Le platonisme est dangereusement trompeur, selon Wittgenstein, parce qu'il suggère une préexistence, donc une découverte qui est complètement en contradiction avec ce que nous trouvons si nous examinons et décrivons réellement les mathématiques et l'activité mathématiqueModèle:Sfn. « J'aimerais pouvoir décrire », écrit Wittgenstein, « comment il se fait que les mathématiques nous apparaissent a posteriori en tant qu'histoire naturelle du domaine des nombres, comme un ensemble de règles »[1].

Wittgenstein ne cherche cependant pas à réfuter le platonisme. Son objectif est plutôt de clarifier ce qu'est le platonisme et ce qu'il dit, implicitement et explicitement. Le platonisme est soit « un simple truisme »Modèle:Sfn, soit une image consistant en « une infinité de mondes obscurs »Modèle:Sfn qui, en tant que telle, manque d'utilité parce qu'elle n'explique rien et qu'elle induit souvent en erreur le mathématicien[7]Modèle:,Modèle:Sfn.

Cela s'explique plus généralement par la position philosophique wittgensteinienne qui ne transforme pas le monde mais tente de l'élucider. Le philosophe n'a pas à intervenir dans la pratique mathématique qui « doit prendre soin d'elle-même », et ne peut ni ne doit essayer de fonder les mathématiquesModèle:Sfn. Ce n'est pas la genèse des règles ou des grammaires qui intéresse Wittgenstein mais la forme de convention : cela serait par ailleurs paradoxal selon l'antériorité des règles par rapport à la vérité, et leur inexprimabilitéModèle:Sfn.

Notes et références

Notes

Modèle:Références

Références

Modèle:Références

Bibliographie

Bibliographie principale

Bibliographie secondaire

Modèle:Palette Ludwig Wittgenstein Modèle:Portail


Erreur de référence : Des balises <ref> existent pour un groupe nommé « n », mais aucune balise <references group="n"/> correspondante n’a été trouvée

  1. ↑ 1,0 1,1 1,2 et 1,3 Ludwig Wittgenstein, Remarques sur les fondements des mathématiques, (Cambridge : MIT, 1956) : Partie IV, §13.
  2. ↑ Modèle:Article
  3. ↑ Comme le relève Modèle:Harvsp, Modèle:Harvsp et Modèle:Harvsp.
  4. ↑ Grammaire philosophique, 463 et Recherches philosophiques, 142.
  5. ↑ Recherches philosophiques, 173.
  6. ↑ Certains soutiennent que les points de vue ultérieurs sont significativement différents Modèle:Harvsp ; Modèle:Harvsp ; Modèle:Harvsp, à l'inverse : Modèle:Harvsp ; Modèle:Harvsp.
  7. ↑ Recherches philosophiques, 254
Récupérée de "https://fr.wiki.beta.math.wmflabs.org/w/index.php?title=Philosophie_des_mathématiques_de_Ludwig_Wittgenstein&oldid=20877"