- 1 Popper se souvient de sa première rencontre de Tarski, en juillet 1934, à un colloque organisé par (...)
1La rencontre de Tarski, la découverte de sa théorie « sémantique » de la vérité, fut pour Popper une révélation1. Le réalisme auquel ce dernier était prêt à souscrire semblait solidaire d’une conception de la vérité — la conception traditionnelle de la vérité comme correspondance aux faits — notoirement problématique. Pour Popper, la théorie de Tarski réhabilitait cette conception et offrait ainsi au réaliste ce qui lui avait manqué jusque-là. L’interprétation de Popper de la théorie de Tarski a été vivement, et même violemment, critiquée. Un philosophe français est allé jusqu’à écrire : « L’interprétation que propose Popper de Tarski est pire que fausse : c’est de la bouillie philosophique. » Le but de cet exposé est de rouvrir le procès et de porter un jugement plus serein et probablement plus équitable.
2Les pièces au dossier portant signature de nos deux protagonistes ne sont pas nombreuses. Du côté de Tarski, le fameux mémoire sur le concept de vérité — le Wahrheitsbegriff — aux trois éditions successives (polonaise [1933], allemande, avec un important post-scriptum [1935], anglaise, [1956]), et quelques articles destinés à un public plus large ([1935], [1944], [1969]) ; du côté de Popper, essentiellement le chapitre 9 d’Objective Knowledge, « Philosophical Comments on Tarski’s Theory of Truth » [1972, 319–340], avec, en addendum, la reprise d’un petit article plus ancien, [1955], à quoi l’on peut ajouter les multiples passages de l’œuvre où l’auteur redit sa dette à l’égard du fondateur de la sémantique comme science, notamment la deuxième section de l’article publié comme chapitre 10 de Conjectures and Refutations [1963, 223–228]. Quant aux commentateurs, laissant à ce papier la légèreté d’une note, je ne m’arrêterai à aucun d’eux en particulier, exception faite pour D. Miller, grand connaisseur de Popper devant l’Éternel et son digne héritier, juste pour dire que son article sur le même sujet, « Popper and Tarski » [1999], devrait être lu en contrepoint du mien, à moins que ce ne soit l’inverse.
3L’interprétation de Tarski par Popper tient essentiellement en trois thèses, dont les deux premières ont déjà été évoquées dans ce qui précède. Sur ces deux premières Popper est d’accord avec Tarski ; sur la dernière, qui se divise en deux, il ne l’est pas.
Thèse 1 - La théorie de la vérité de Tarski est bien, comme celui-ci l’affirme lui-même, une réhabilitation de la conception traditionnelle de la vérité comme correspondance aux faits.
Thèse 2 - La définition explicite de la vérité de Tarski (quand elle est possible) est bien, comme celui-ci l’affirme lui-même, purement morphologique (syntaxique).
Thèse 3 - (a) La théorie de la vérité de Tarski n’est pas, au contraire de ce que celui-ci prétend, « épistémologiquement neutre » ; (b) elle constitue même, plus précisément, un argument en faveur du « réalisme métaphysique ».
4J’examinerai successivement les trois thèses et soutiendrai ce qui suit.
Sur la thèse 1 - Popper a raison (avec Tarski), mais sa présentation est trompeuse, voir § 2.
Sur la thèse 2 - Popper a tort (avec Tarski), voir § 3.
Sur la thèse 3 - 3a est équivoque, et Tarski est aussi bien fondé à la soutenir que Popper à la contester, voir § 4 ; quant à 3b, Popper a tort (contre Tarski), voir § 5.
5Je reprendrai l’essentiel des idées que je défends en conclusion, voir § 6.
62.1. Rappelons d’abord l’essentiel de la théorie de la vérité de Tarski : celui-ci retient de la conception traditionnelle de la vérité comme correspondance aux faits l’idée que la définition explicite ou implicite de la notion de vérité relative aux énoncés d’un langage-objet (e.g., un fragment de l’anglais) est matériellement adéquate si l’on peut, dans le métalangage, en déduire logiquement, moyennant les principes de la syntaxe du langage-objet, toutes les définitions partielles, dites aussi équivalences-T, relatives aux énoncés du langage-objet. Exemple paradigmatique d’équivalence-T (en supposant la théorie développée en français) :
« Snow is white » est un énoncé vrai ssi la neige est blanche.
7Au contraire des logiciens d’aujourd’hui, Tarski, comme Carnap et Church, par exemple, intégrait dans la notion de langage des considérations preuve-théorétiques (proof-theoretical). En particulier, la notion de déduction logique mobilisée ci-dessus était intégrée dans le métalangage sous la forme d’axiomes logiques et des règles d’inférence logiques ; et de même les principes de la syntaxe du langage-objet, sous la forme d’axiomes.
82.2. La théorie de la vérité de Tarski est bien, comme Popper l’affirme à la suite de Tarski lui-même, une réhabilitation de la conception traditionnelle de la vérité comme correspondance aux faits, mais ce jugement doit être affiné, et ne saurait justifier la présentation trompeuse que Popper donne de la théorie de Tarski.
- 2 « Si, comme le suggère la théorie de Tarski, la vérité est la correspondance aux faits, alors aband (...)
9Car Popper présente cette théorie en termes lourds et insistants de « correspondance » et de « faits »2, sans mot dire de ce qui fait pourtant l’originalité et la simplicité de cette théorie par rapport à la tradition, à savoir qu’elle réussit à faire droit à l’intuition fondamentale de la conception traditionnelle de la vérité comme correspondance avec les faits tout en faisant l’économie des notions problématiques de correspondance et de fait. La théorie de la vérité de Tarski ne peut être légitimement interprétée comme réhabilitation de la conception traditionnelle de la vérité comme correspondance aux faits que dans la mesure où elle est d’abord interprétée à partir d’elle dans les termes de cette économie.
10On pourrait imaginer un logicien, appelons-le Popski, qui aurait élaboré une théorie de la vérité fondée sur une ontologie de faits et sur une analyse de la notion générale (non exclusivement sémantique) de correspondance, théorie selon laquelle la vérité devrait être comprise comme correspondance aux faits :
s est vrai ssidf il existe un fait x tel que s correspond à x
(où « s » est une variable parcourant la classe des énoncés du langage-objet). Soit dit en passant, pour autant qu’on puisse l’imaginer, une telle théorie aurait sur celle de Tarski l’avantage considérable de pouvoir s’appliquer à un langage-objet variable, indéterminé, inconnu, et non pas seulement, comme celle de Tarski, à des langages-objets explicitement donnés avec leur traduction dans le métalangage. Mais ce que Popski aurait fait, Tarski ne l’a pas fait. Popper non plus, d’ailleurs, ni personne.
112.3. On m’objectera peut-être que le fait même que Tarski ait pu éliminer les notions de correspondance et de fait de la théorie de la vérité montre que l’usage de ces notions, en ce qui concerne la vérité, est inoffensif et donc légitime.
12Derrière l’objection, je crois entendre l’adage de Quine : « Définir, c’est éliminer », ou plutôt sa converse. Eliminer, ce serait définir, ou du moins légitimer. Mais il n’en est rien. Tarski élimine les notions de correspondance et de fait, mais il ne les définit nullement, il n’en légitime nullement l’usage.
13Bien sûr, au lieu de dire que « s est vrai », on peut toujours dire que « s correspond aux faits », ou quelque chose de ce genre, et l’on peut définir l’un par l’autre :
s correspond aux faits ssidf s est vrai,
ou, si l’on préfère :
s correspond à un fait ssidf s est vrai,
ou même :
il existe un fait x tel que s correspond à x ssidf s est vrai,
mais de telles définitions contextuelles des notions en cause n’en autorisent qu’un usage tellement défectif qu’elles sont à peu près dénuées d’intérêt. En particulier elles ne justifient aucun usage séparé de ces notions, ce qu’on pourrait mettre en relief à l’aide de tirets, par exemple :
s correspond-aux-faits ssidf s est vrai.
14La comparaison avec le cas du calcul infinitésimal sera peut-être éclairante. Dans leur reconstruction du Calcul, Bolzano, Cauchy et Weierstrass éliminaient la notion leibnizienne d’infinitésimal, et ils le faisaient par voie de définition contextuelle permettant d’en gouverner l’usage sur un mode simulatoire. Le point crucial est que cette définition, mobilisant la notion préalablement définie de limite, était assez subtile pour montrer dans quelle large mesure, suffisante pour les besoins essentiels du Calcul, l’usage de cette notion était inoffensif et donc justifié. Rien de comparable avec les définitions ci-dessus envisagées, dont le pouvoir de simulation est dérisoire. Ni, a fortiori, chez Tarski, qui laisse les notions de correspondance et de fait tomber en déshérence, et ne cherche pas plus à les définir et à en innocenter l’usage que ne le faisait Laplace pour la notion de Dieu en élaborant un système dont elle était purement et simplement absente.
- 3 « La théorie de Tarski nous permet de définir la vérité comme correspondance aux faits ; mais nous (...)
152.4. Popper se livre à des remarques non sans rapport avec les considérations précédentes (voir § 2.3), mais bien différentes3. Si la vérité a été définie en termes de correspondance et de faits, dit-il à peu près, il doit être possible, inversement, de définir (en un sens propre, non contextuel, non simulatoire) les faits, la réalité, en termes de vérité et de correspondance supposés disponibles :
la réalité = df les faits = df ce à quoi les énoncés vrais correspondent,
x est un fait ssidf il existe s tel que s est vrai & s correspond à x.
16Certes, et je dirais même plus. La vérité ayant en fait été définie par Tarski sans mobiliser aucune notion problématique comme celles de correspondance et de fait, elle est disponible, et la notion de fait se trouve ainsi suspendue à la seule notion de correspondance.
17Mais à aucun moment, ni chez Tarski ni chez Popper, la moindre lumière n’a été jetée sur la notion de correspondance, ce dont — faut-il s’en étonner ? — Popper ne semble avoir cure. Si bien que, quand même cette notion serait formellement disponible et partant les définitions ci-dessus formellement correctes, les notions de fait et de réalité garderaient tout leur mystère.
182.5. Dans le passage de la conception traditionnelle de la vérité à la théorie de Tarski, les notions de correspondance et de fait ont disparu. Popper comprend la nouvelle théorie dans l’horizon de la tradition, en fermant les yeux sur cette disparition. D’autres philosophes, inversement, aveuglés par cette disparition, en sont venus à dénier que la théorie de Tarski eût le moindre lien avec la conception traditionnelle. Au lieu de mettre un énoncé tel que « Snow is white » en correspondance avec le monde, comme le ferait une définition partielle de la vérité fidèle à la tradition :
« Snow is white » est vrai
ssi il existe un fait x tel que « Snow is white » correspond à x,
la définition partielle de Tarski (déjà mentionnée) :
« Snow is white » est vrai ssi la neige est blanche,
au dire de ces philosophes, se contente de mettre en relation l’énoncé en question (« Snow is white ») avec un autre énoncé (« La neige est blanche »).
19L’argument est pour le moins étonnant. La définition partielle de Tarski parle bien de l’énoncé « Snow is white », qu’elle mentionne, pour ce faire, du côté gauche, mais non de l’énoncé « La neige est blanche », qu’elle ne mentionne pas, mais utilise simplement, du côté droit, pour parler de la neige sous le rapport de la blancheur. La définition partielle de Tarski met bien l’énoncé « Snow is white » en relation avec le monde. Elle le fait tout autant, quoique d’une autre manière, que la définition partielle de style traditionnel. Les auteurs de l’argument feraient bien de réfléchir à la différence qu’il y a entre la définition partielle de Tarski et la sortie correspondante d’un manuel de traduction anglais-français :
« Snow is white » se traduit par « La neige est blanche ».
203.1. Un deuxième rappel, sur la façon dont Tarski définit explicitement la vérité pour un langage-objet (quand c’est possible). A son instar, lui qui envisage, à des fins pédagogiques, des langages-objets auxquels n’appartiennent qu’un nombre fini de phrases [Tarski 1935 ; 1956, 188 ; 1969], choisissons pour langage-objet, L0, le fragment de l’anglais ne contenant que les deux phrases « Snow is white » et « Grass is blue », et pour métalangage, M0, un fragment convenable du français, contenant entre autres choses les traductions françaises respectives, « La neige est blanche » et « L’herbe est bleue », des deux phrases en question. La définition explicite tarskienne de la vérité pour L0 dans M0 est alors la suivante :
s est vraie ssidf
s est « Snow is white » et la neige est blanche ou
s est « Grass is blue » et l’herbe est bleue.
21Cette définition répond au critère d’adéquation formulé par Tarski (voir § 2.1), avec la particularité remarquable que cette définition suffit, à elle seule, pour la déduction logique des deux équivalences-T :
« Snow is white » est vraie ssi la neige est blanche,
« Grass is blue » est vraie ssi l’herbe est bleue.
22En général, la définition explicite tarskienne de la vérité pour un langage-objet, L, dans un métalangage, M, ne permet de déduire logiquement toutes les équivalences-T que sur un mode enthymématique, en s’appuyant sans mot dire sur les principes de la syntaxe de L.
23Ainsi, avec une définition explicite matériellement adéquate de la vérité pour L dans M, les équivalences-T relatives aux phrases de L sont ce qu’on pourrait appeler des théorèmes syntaxiques de M, et sont même, dans certains cas, comme on vient de le voir, des théorèmes logiques de M. Si L est contenu dans M et que la fonction de traduction est la fonction identique (traduction dite homophonique), et donc que les équivalences-T sont du genre :
« La neige est blanche » est vraie ssi la neige est blanche,
sans doute prendra-t-on acte d’un cœur léger du caractère de théorème logique ou au moins syntaxique des équivalences-T. Mais si L n’est pas contenu dans M et que l’on oublie la manière dont la définition en question est construite, il y a de quoi s’étonner. Pour savoir, par exemple, que « Snow is white » est vraie ssi la neige est blanche, à supposer qu’on ait là une équivalence-T relative à L dans M, ne faut-il pas savoir que « Snow is white », en tant que phrase de L, veut dire que la neige est blanche, ou veut dire quelque chose de matériellement équivalent ? — ou peut-être savoir que « Snow is white », en tant que phrase de L, se traduit dans M par « la neige est blanche », ou par une phrase matériellement équivalente ? — en tout cas savoir quelque chose que la syntaxe de L, à elle seule, ne peut vous apprendre ? Pour assurer le caractère de théorème logique ou au moins syntaxique des équivalences-T, il faudrait que ce quelque chose fût de quelque façon intégré dans le concept même de vérité engagé dans les équivalences-T. Mais comment ?
24La construction tarskienne réussit ce tour de force. Mais il n’y a pas de miracle, c’est qu’elle n’est pas elle-même construite de façon purement syntaxique. La définition donnée ci-dessus de la vérité pour L0 est transparente sur ce point. Le definiens de cette définition est pur de tout terme sémantique, comme le voulait Tarski, mais tous ses termes n’appartiennent pas pour autant à la syntaxe de L0. Certes, les termes de mention (avec guillemets), « « Snow is white » » et « « Grass is blue » », des phrases de L0 appartiennent à la syntaxe de L0, mais non la traduction (sans guillemets), « la neige est blanche » et « l’herbe est bleue », de ces phrases dans M0. Qui plus est, la place de ces traductions dans le definiens est prescrite par le manuel de traduction de L0 dans M0, que la syntaxe de L0 est bien incapable, à elle seule, d’établir. Bref, la définition explicite tarskienne de la vérité pour L0 dans M0 n’est pas purement syntaxique. Il en va de même, de façon générale, de la définition explicite tarskienne de la vérité pour L dans M, si L contient des termes extra-logiques (par exemple, le terme singulier « Snow » et le prédicat « is white ») : le definiens de cette définition contient entre autres choses la traduction de ces termes (« la neige », « est blanche ») à une place prescrite par le manuel de traduction de L dans M, et cette définition n’est pas, ne peut pas être purement syntaxique. Et il en irait à l’évidence de même de toute définition explicite répondant au critère tarskien d’adéquation.
253.2. Curieusement, Tarski [1936b ; 1956, 406] prétend le contraire : « [L]a sémantique devient une partie de la morphologie du langage[-objet] si cette dernière est entendue en un sens suffisamment large »(voir aussi [1935 ; 1956, 273]). La « morphologie » en question n’est autre que ce que Church, par exemple, appelle « syntaxe » d’un langage, à savoir l’étude des expressions de ce langage selon leur forme, indépendamment de tout contenu ([Tarski 1935 ; 1956, 251], [Church 1956, 58]). Et quand Tarski précise que cette morphologie doit être entendue en un sens suffisamment large, il ne veut certainement pas dire qu’elle doit être entendue en un sens suffisamment large pour que des termes extra-logiques comme « la neige » et « est blanche » puissent lui appartenir, il doit simplement vouloir dire que sa logique sous-jacente peut être aussi riche que l’on veut.
- 4 « Comme il ressort du travail de Tarski, en un certain sens, la sémantique peut être réduite à la s (...)
26De façon non moins étonnante, Church emboîte le pas de Tarski4. Il fait certes preuve d’un minimum de prudence quand il écrit que, « d’une certaine façon, la sémantique peut être réduite à la syntaxe » (je souligne), mais il n’hésite pas à qualifier la définition explicite de Tarski (quand elle est possible) de « purement syntaxique » (je souligne).
- 5 Sur cette question, voir aussi [Rouilhan 1999, 312–315].
27L’affirmation de Tarski endossée par Church n’est justifiée que dans le cas des langages-objets dont la traduction métalinguistique appartient au langage de leur morphologie, ou syntaxe, lato sensu. C’est le cas des langages logico-mathématiques, et en particulier des langages pris à titre d’exemples dans le Wahrheitsbegriff. Mais le contenu du mémoire, et déjà son titre bien compris (à partir de l’édition allemande), « Le concept de vérité dans les langages formalisés », n’impliquaient aucune telle limitation. Encore moins l’article de 1944, où Tarski élargissait le champ de droit de ses investigations aux « langages à structure rigoureusement spécifiée » [Tarski 1944, § 6]. Ce manque de vigilance, tout à coup, de Tarski et de Church, ces parangons, par ailleurs, de rigueur et de précision, ne laisse pas d’étonner5.
- 6 « Les termes [sémantiques du métalangage] en tant que termes du métalangage […] ont le même caractè (...)
283.3. On ne peut décidément faire confiance à personne, et Popper aurait dû se méfier, au lieu de suivre la leçon, comme il semble vouloir le faire6. Je dis « semble », car son exposé sur ce point est obscur et demande à être revu et corrigé pour devenir l’expression d’une pensée clairement identifiable. Quand Popper parle de « morphologie (ou syntaxe) d’(of) un langage », il faut croire, sauf à le convaincre de confusion mentale, qu’il ne vise pas la même chose que Tarski (ou Church) sous la même description. Il vise très probablement la partie de la morphologie de ce langage ou d’un autre langage qui s’exprime dans ce langage même. S’il en est ainsi, alors Popper veut dire, en résumé, que les termes sémantiques relatifs à un langage-objet peuvent être explicitement définis en termes purement morphologiques (ou syntaxiques) dans un métalangage d’ordre supérieur (en un sens à préciser, voir § 4.1) à celui de ce langage-objet. Je ne vois pas d’interprétation plus charitable que celle-là, qui clarifie la position de Popper, et lui reconnaît, dans ce qu’il faut bien appeler, pour finir, une erreur, la caution fatale des plus grands.
294.1. Dernier rappel sur la théorie de la vérité de Tarski. Pour simplifier, limitons-nous désormais, comme Tarski le fait dans le Wahrheitsbegriff (hormis le post-scriptum), aux langages (en position de langage-objet ou de métalangage) formalisés fondés sur la théorie des types simple. La terminologie ne doit pas nous égarer : un langage formalisé n’est pas un langage formel, au sens de vide de sens, c’est un langage purifié de toute ambiguïté, ou, pour le dire comme Tarski, « un langage dans lequel le sens de chaque expression est univoquement déterminé par sa forme » [1935 ; 1956, 165–166].
30Pour tout langage-objet, L, d’ordre fini, n, Tarski montre comment il est possible de construire une définition explicite matériellement adéquate d’un prédicat de vérité pour L dans un métalangage, M, pourvu que M soit d’ordre > n ; il montre aussi que, si le langage-objet est d’ordre infini w, on doit se contenter d’une définition implicite dans un métalangage d’ordre w.
31Ce n’est pas ici le lieu de s’abîmer dans la contemplation de l’antique et vénérable paradoxe du Menteur et du grand théorème moderne d’indéfinissabilité que Tarski a su en tirer. Prenons simplement acte du résultat : si une théorie scientifique, T, de langage L d’ordre κ (1 ≤ κ ≤ ω), est développée dans le cadre de la théorie des types simple, il est possible, dans ce même cadre, de définir, explicitement ou implicitement, de façon matériellement adéquate, un prédicat de vérité pour L, et que le langage de cette définition est nécessairement d’ordre ≥ κ. Cette condition sur l’ordre montre dans quelle mesure la théorie de la vérité pour le langage d’une théorie scientifique a, ontologiquement, partie liée avec cette dernière.
- 7 Ce que ne dément pas l’autodérision de cette profession de foi de Tarski lors d’une réunion de l’As (...)
32Ajoutons que Tarski, à l’instar de Quine, dont il se révèle philosophiquement si proche, dans leurs discussions avec Carnap au début des années quarante (voir [Mancosu 2005]), n’était certainement pas prêt à accepter l’idée d’une philosophie première, indépendante en droit des sciences, particulières ou non, ni, réciproquement, l’idée que ces sciences fussent en droit indépendantes de la philosophie, à supposer que rien de sérieux fût digne de ce nom7.
- 8 « En fait, la définition sémantique de la vérité n’implique rien concernant les conditions sous les (...)
- 9 « Comme j’étais un réaliste du sens commun critique, et conscient du fait que je soutenais par cons (...)
33Curieusement, Tarski prétend que sa théorie de la vérité est « épistémologiquement neutre »8. Popper le conteste9. Ni l’un ni l’autre ne donnent très exactement leurs raisons, ni ne sont très explicites sur le sens en lequel ils entendent la neutralité en question. Or on peut l’entendre en un sens faible, qui donne raison à Tarski, ou en un sens fort, qui donne raison à Popper.
344.2. Tarski l’entend certainement au sens faible, qui lui donne raison. On voit bien ce qu’il a en tête. Non pas l’indépendance de toute science, donc aussi de la sémantique devenue enfin science, et donc enfin de la théorie sémantique de la vérité, à l’égard de la philosophie (voir § 4.1), mais, beaucoup plus modestement, l’idée qu’au delà des disputes possibles autour du concept de vérité, toute personne un tant soit peu éclairée sur le sens en question du mot « vrai », un tant soit peu maîtresse de son bon usage en ce sens, devrait au minimum reconnaître la validité des définitions partielles de la vérité et accepter l’exigence selon laquelle elles doivent être déductibles, en un certain sens que le profane peut laisser au clerc le soin d’articuler, de toute définition prétendue matériellement adéquate de la vérité. Et il semble difficile, en effet, de ne pas souscrire avec Tarski à une version aussi faible de la thèse de neutralité.
354.3. Mais si nous entendons la thèse de neutralité en un sens plus fort, comme Popper sans doute le faisait, il en va tout autrement. Sans chercher ici à savoir ce qu’il en était exactement pour lui, je supposerai que la neutralité en question est relative notamment au débat sur le réalisme scientifique, et qu’elle implique que, dans le passage d’une interprétation réaliste d’une science à une interprétation instrumentaliste, l’explication que Tarski donne de la vérité ne changerait pas. Je montrerai que cette conséquence n’est pas le cas, et donc que la théorie de la vérité de Tarski n’est pas neutre au sens supposé.
36Le débat entre le réaliste et l’instrumentaliste peut prendre plusieurs formes, je m’en tiendrai, pour mettre à l’épreuve la thèse de neutralité au sens fort, au cas où s’opposent le nominaliste, pour lequel seuls existent les individus, d’ordre 1, et le réaliste prêt sans état d’âme à conférer à toutes les entités non individuelles, d’ordre > 1, la même dignité ontologique qu’aux individus. J’imaginerai donc (avec les mêmes notations que ci-dessus, voir § 3.1) la théorie scientifique T développée dans le cadre de la théorie des types simple, et d’ordre supérieur κ (1 < κ ≤ ω). La théorie de Tarski nous apprend qu’il est possible de définir de façon matériellement adéquate un prédicat de vérité, « Vr », pour L, et que le langage de cette définition est nécessairement d’ordre ≥ κ, voir § 4.1. Soit (toujours dans le même cadre) T+, de langage L+, une extension de T contenant cette définition. Pour le réaliste, pas de problème, « Vr » peut légitimement prétendre au statut de prédicat de vérité pour L. Mais pour le nominaliste? La définition en question ne jouit d’aucun privilège par rapport aux autres expressions d’ordre supérieur de L+, elle n’est pas plus réelle ni moins instrumentale qu’elles. La définition de « Vr » n’est donc plus susceptible de valoir comme définition réelle de la vérité pour L, c’est maintenant une définition instrumentale, une fausse définition. Pour le dire de façon lapidaire : la vérité réelle est devenue vérité instrumentale ; la vérité, fausse vérité. En ce sens, la théorie de la vérité de Tarski n’est pas neutre. Pas plus que la science en général à l’égard de la philosophie.
- 10 « La théorie de Tarski, comme vous le savez tous, et comme il l’a d’abord souligné, est une réhabil (...)
37Non content de contester la neutralité de la théorie de la vérité de Tarski, Popper va jusqu’à affirmer que cette théorie fournit un argument en faveur du « réalisme métaphysique »10. Je ne chercherai pas plus à savoir ce que Popper veut dire exactement par cette expression que je n’ai cherché tout à l’heure à savoir en quel sens exactement il entendait, pour la contester, la thèse de neutralité. J’admettrai que l’affirmation de Popper implique que, dans le conflit des interprétations, la théorie de la vérité de Tarski pourrait être invoquée par le réaliste contre l’instrumentaliste.
38La théorie de la vérité de Tarski a bien pu sembler au réaliste Popper la meilleure réponse possible à l’objection que croyaient jusque-là pouvoir lui opposer ses adversaires en lui représentant les difficultés inhérentes à la conception traditionnelle de la vérité comme correspondance aux faits. Mais, loin d’être la meilleure, cette réponse avait la faiblesse d’accorder à l’objection une pertinence qu’en réalité elle n’avait pas. En réalité, quoi que Popper ait pu en penser, les difficultés en question ne menaçaient nullement sa position.
39Ce n’est pas que la théorie de la vérité de Tarski soit neutre dans le conflit des interprétations au sens où elle jouirait d’un privilège d’extraterritorialité, pour ainsi dire, qui lui éviterait a priori d’être emportée dans la tourmente. Au contraire, je crois avoir montré qu’elle ne l’est pas, voir § 4. Pour pouvoir prétendre fournir une explication réelle de la vérité, la théorie de Tarski a besoin, en effet, d’être elle-même interprétée de façon réaliste.
40Théorie de la vérité de Tarski et réalisme ont donc bien partie liée. Mais le lien est asymétrique. Ce n’est pas la théorie de la vérité de Tarski qui peut fournir un argument en faveur du réalisme (interprétation réaliste de T), c’est, inversement, le réalisme (interprétation réaliste de T+) qui peut seul donner à la théorie et à son objet (la vérité pour L) une légitimité réelle, et non seulement instrumentale.
41Je rejoins finalement les philosophes déflationnistes sur la place qu’il convient d’accorder au problème de la vérité dans la querelle du réalisme : la même, tous privilèges abolis, qu’il convient de lui reconnaître en tout temps et en tout lieu de l’entreprise de connaissance en général (voir, e.g., [Horwich 1990, chap. 4]).
42En conclusion je dirai que Popper lecteur de Tarski ne fait certes pas excès d’honneur au genre classique X lecteur de Y, mais pas au point de mériter l’indignité dont on a pu le frapper. Et je rappellerai les thèses en grande partie négatives et de caractère théorique plutôt qu’exégétique que j’ai soutenues :
43(a) Personne n’a jamais construit de définition des concepts de correspondance et de fait invoqués dans la notion traditionnelle de la vérité comme correspondance aux faits, mais l’intuition fondamentale de cette notion ne présuppose pas ces concepts, et la définition sémantique du concept de vérité fait bien droit à cette intuition, voir § 2.
44(b) Une définition explicite purement syntaxique du concept de vérité faisant droit à l’intuition fondamentale de la notion traditionnelle de vérité comme correspondance aux faits est en général impossible, voir § 3.
45(c) L’explication de la notion de vérité comme correspondance aux faits n’est pas neutre au sens où le passage de l’interprétation réaliste de la science à son interprétation instrumentaliste ne changerait rien à cette explication, voir § 4.
- 11 Merci à Alain Boyer, David Miller et Elie Zahar : au premier, pour m’avoir invité à me faire publiq (...)
46(d) Le concept sémantique de vérité peut être utilisé ou mentionné comme n’importe quel autre concept dans le débat sur le réalisme, mais il n’a aucun rôle privilégié à y jouer, voir § 511.