PHILOSOPHIE ANALYTIQUE / La Théorie sémantique de la vérité de Tarski et ses apports en philosophie analytique

La théorie sémantique de la vérité d'Alfred Tarski, développée dans les années 1930 et formalisée dans son célèbre article The Concept of Truth in Formalized Languages (1933), constitue l'une des contributions les plus importantes et les plus influentes de la philosophie analytique du XXe siècle. Cette théorie révolutionnaire a non seulement résolu certains paradoxes logiques fondamentaux, mais a également établi les bases théoriques de la sémantique moderne et transformé notre compréhension philosophique du concept de vérité. Tarski, mathématicien et logicien polonais, a proposé une approche rigoureuse et formelle qui évite les contradictions habituellement associées aux définitions naïves de la vérité, tout en préservant l'intuition commune selon laquelle la vérité consiste en une forme de correspondance entre les énoncés et la réalité.

Pour comprendre l'importance révolutionnaire de la contribution de Tarski, il est essentiel de saisir le contexte intellectuel dans lequel elle s'inscrit. Au début du XXe siècle, la philosophie et les mathématiques étaient confrontées à plusieurs paradoxes troublants qui menaçaient les fondements même de la logique et de la théorie des ensembles. Le paradoxe de Russell, découvert en 1901, avait révélé des contradictions au cœur de la théorie naïve des ensembles, tandis que le paradoxe du menteur, connu depuis l'Antiquité mais reformulé avec une précision nouvelle, posait des défis particuliers à toute tentative de définition formelle de la vérité. Ce paradoxe, dans sa forme classique, peut être énoncé ainsi : « Cette phrase est fausse. » Si cette phrase est vraie, alors elle affirme qu'elle est fausse, donc elle est fausse. Si elle est fausse, alors ce qu'elle affirme (qu'elle est fausse) est correct, donc elle est vraie. Cette contradiction apparemment insoluble avait conduit de nombreux logiciens à considérer que le concept de vérité était trop problématique pour être traité de manière rigoureusement formelle. Tarski s'est attaqué à ce problème avec une ambition double : d'une part, fournir une définition mathématiquement précise du concept de vérité qui soit libre de contradictions, et d'autre part, s'assurer que cette définition capture adéquatement notre usage intuitif du terme « vrai ». Il était particulièrement motivé par le désir de réconcilier l'approche formaliste des mathématiques, qui privilégie la rigueur syntaxique, avec une compréhension sémantique qui prend en compte la relation entre les symboles et leur signification. Cette préoccupation s'inscrivait dans les débats plus larges de l'époque concernant les fondements des mathématiques, notamment les discussions entre formalistes comme David Hilbert, intuitionistes comme Luitzen Brouwer, et logicistes comme Bertrand Russell et Alfred North Whitehead.

La Convention T et la définition matériellement adéquate. Le point de départ de l'approche d'Alfred Tarski est ce qu'il appelle la Convention T (T pour Truth), qui établit le critère d'adéquation matérielle pour toute définition de la vérité. Selon cette convention, une définition de la vérité est matériellement adéquate si et seulement si elle implique toutes les instances du schéma suivant : « X est vraie si et seulement si p », où X est un nom d'énoncé et p est cet énoncé lui-même. Par exemple, une définition adéquate de la vérité doit impliquer que l'énoncé « La neige est blanche » est vrai si et seulement si la neige est blanche. Cette formulation peut paraître triviale ou circulaire à première vue, mais elle capture en réalité une intuition fondamentale sur la nature de la vérité : un énoncé est vrai lorsque les choses sont telles que l'énoncé les décrit. La Convention T sert de test d'adéquation plutôt que de définition proprement dite. Elle nous dit quelles conditions une définition de la vérité doit satisfaire sans nous dire comment construire une telle définition. C'est précisément ici que réside l'ingéniosité de l'approche d'Alfred Tarski : il a montré comment construire effectivement des définitions qui satisfont cette condition d'adéquation matérielle tout en évitant les paradoxes. La clé de sa solution réside dans une distinction rigoureuse entre langage-objet et métalangage, ainsi que dans l'utilisation de techniques sophistiquées de théorie des modèles.

La distinction entre langage-objet et métalangage. L'innovation cruciale d'Alfred Tarski consiste en l'introduction d'une hiérarchie de langages qui évite les auto-références problématiques responsables des paradoxes. Il distingue systématiquement entre le langage-objet (le langage dont on parle) et le métalangage (le langage dans lequel on parle du langage-objet). Cette distinction, aujourd'hui fondamentale en logique et en linguistique, était révolutionnaire à l'époque. Le prédicat « vrai » ne peut être défini à l'intérieur du langage-objet lui-même, mais seulement dans un métalangage qui contient des moyens d'expression suffisamment riches pour parler des expressions du langage-objet. Plus précisément, Alfred Tarski montre que pour définir la vérité pour un langage L, nous avons besoin d'un métalangage M qui satisfait certaines conditions : M doit contenir L comme partie (ou au moins des traductions de toutes les expressions de L), M doit contenir des noms pour toutes les expressions de L, et M doit posséder des ressources expressives suffisantes pour formuler la théorie générale des classes et des relations nécessaire à la définition sémantique. Cette stratification des langages évite les auto-références vicieuses qui génèrent les paradoxes, car le prédicat « vrai-dans-L » appartient au métalangage M et ne peut donc pas s'appliquer à lui-même de manière problématique. Cette approche hiérarchique a des implications profondes qui dépassent la simple résolution technique des paradoxes. Elle suggère que notre compréhension de la vérité est essentiellement stratifiée et qu'il n'existe pas de concept univoque de vérité qui puisse s'appliquer uniformément à tous les niveaux de discours. Chaque niveau de langage a sa propre notion de vérité, définie au niveau supérieur. Cette perspective a influencé non seulement la logique formelle, mais aussi des domaines comme la philosophie du langage, l'épistémologie, et même la philosophie de l'esprit.

La construction effective et même technique de la définition de la vérité par Alfred Tarski procède en plusieurs étapes sophistiquées qui révèlent toute la puissance de l'approche sémantique moderne. Alfred Tarski commence par considérer des langages formalisés relativement simples, typiquement des langages du premier ordre avec des constantes individuelles, des prédicats, des connecteurs logiques, et des quantificateurs. Pour de tels langages, il développe une définition récursive de la notion de « satisfaction » d'une formule par une séquence d'objets, puis définit la vérité comme un cas particulier de satisfaction. La notion de satisfaction est centrale à la construction d' Tarski. Une formule ouverte (contenant des variables libres) est satisfaite par une séquence d'objets si elle devient vraie lorsque ses variables libres sont interprétées comme se référant à ces objets dans l'ordre. Par exemple, la formule « x est rouge » est satisfaite par la séquence contenant une tomate si la tomate en question est effectivement rouge. Cette définition procède récursivement : pour les formules atomiques, la satisfaction est définie directement en termes des relations et propriétés des objets du domaine ; pour les formules complexes, elle est définie en termes des conditions de satisfaction de leurs composants selon les règles standard pour les connecteurs logiques et les quantificateurs. Une fois la notion de satisfaction clairement définie, Alfred  Tarski peut définir la vérité d'une phrase (formule sans variables libres) comme suit : une phrase est vraie si et seulement si elle est satisfaite par toute séquence d'objets. Cette définition peut sembler étrange au premier abord, mais elle s'explique par le fait qu'une phrase sans variables libres ne dépend d'aucune assignation particulière de valeurs aux variables, donc si elle est satisfaite par une séquence, elle l'est par toutes. Cette approche technique permet à Alfred Tarski de fournir une définition mathématiquement précise qui évite toute circularité et satisfait la Convention T.

Les théorèmes d'indéfinissabilité ont leurs propres implications. Un aspect souvent négligé mais crucial de la contribution d'Alfred Tarski concerne ses théorèmes d'indéfinissabilité, qui établissent les limites intrinsèques de sa propre approche.  Alfred Tarski a démontré rigoureusement qu'aucun langage suffisamment expressif ne peut contenir sa propre définition de vérité sans devenir inconsistant. Plus précisément, il a prouvé que si un langage L est suffisamment riche pour exprimer l'arithmétique et contient son propre prédicat de vérité, alors L est inconsistant. Ce résultat, connu sous le nom de théorème d'indéfinissabilité de Tarski, montre que la stratification des langages n'est pas simplement une technique commode, mais une nécessité logique incontournable. Ce théorème a des implications philosophiques profondes qui résonnent bien au-delà de la logique technique. Il suggère que notre concept de vérité est intrinsèquement « ouvert » ou « transcendant » en ce sens qu'aucun système formel fini ne peut complètement capturer sa propre notion de vérité. Cette limitation n'est pas un défaut de la théorie de Tarski, mais plutôt une caractéristique fondamentale de la structure logique de nos concepts sémantiques. Elle établit une connexion profonde avec d'autres résultats de limitation comme les théorèmes d'incomplétude de Gödel, suggérant que l'auto-référence et l'auto-application sont des sources persistantes de limitation et de complexité dans les systèmes formels. Cette perspective a nourri des débats philosophiques importants sur la nature du langage dit naturel. Si les langages formels ne peuvent contenir leurs propres prédicats de vérité, qu'en est-il des langages naturels comme le français ou l'anglais, qui semblent contenir leurs propres prédicats de vérité et générer néanmoins des paradoxes ? Cette question a stimulé des recherches importantes en philosophie du langage et en linguistique théorique, donnant naissance à diverses approches pour traiter les paradoxes sémantiques dans les langages naturels.

Prolongements et développements

La théorie de Tarski a exercé une influence transformatrice sur pratiquement tous les domaines de la philosophie analytique. En philosophie du langage, elle a fourni les fondements théoriques de la sémantique formelle moderne, influençant des figures comme Donald Davidson, qui a développé une théorie de la signification basée sur les conditions de vérité dans l'esprit de Tarski. Davidson a soutenu qu'apprendre la signification d'un énoncé, c'est apprendre ses conditions de vérité, et qu'une théorie de la signification pour un langage naturel devrait prendre la forme d'une théorie de la vérité à la Tarski pour ce langage. Cette approche « vériconditionnelle » de la signification est devenue l'une des approches dominantes en philosophie du langage contemporaine. En épistémologie, la théorie de Tarski a contribué à clarifier les relations entre vérité, connaissance et justification. En fournissant une caractérisation précise de la vérité qui ne fait pas appel à des notions épistémiques comme la justification ou l'évidence, Tarski a renforcé une conception « réaliste » de la vérité selon laquelle les énoncés peuvent être vrais ou faux indépendamment de notre capacité à le déterminer. Cette perspective a alimenté les débats contemporains entre réalistes et antiréalistes, les premiers s'appuyant sur Tarski pour défendre l'idée que la vérité transcende la justification, tandis que les seconds contestent l'applicabilité de l'approche de Tarski aux domaines problématiques comme les mathématiques, l'éthique, ou l'esthétique. En philosophie des mathématiques, l'œuvre de Tarski a contribué au développement de la théorie des modèles moderne et a fourni des outils conceptuels pour clarifier les débats sur le réalisme mathématique. Sa définition de la vérité pour les langages mathématiques formalisés a permis de donner un sens précis à l'idée que les énoncés mathématiques peuvent être vrais en vertu de leur correspondance avec des structures mathématiques abstraites. Cette perspective a influencé des philosophes comme Quine, qui ont développé des ontologies naturalistes incorporant les entités mathématiques comme parties intégrantes de notre meilleure théorie scientifique du monde.

En résumé, la théorie de Tarski a été développée et raffinée par de nombreux logiciens et philosophes importants. Donald Davidson a été l'un des continuateurs les plus influents, développant dans les années 1960-1970 une théorie de la signification basée sur les conditions de vérité qui étend l'approche de Tarski aux langages naturels. Dans des articles comme « Truth and Meaning » (1967), Davidson a soutenu qu'une théorie de la signification pour un langage naturel devrait prendre la forme d'une théorie de la vérité à la Tarski, permettant de dériver les conditions de vérité de chaque énoncé du langage.

Saul Kripke a apporté des contributions majeures à l'extension de l'approche sémantique d'Alfred Tarski, particulièrement dans le domaine des logiques modales et des langages contenant leurs propres prédicats de vérité. Dans Outline of a Theory of Truth (1975), Saul Kripke a développé une théorie des points fixes pour traiter les paradoxes sémantiques dans les langages naturels, offrant une alternative sophistiquée à la hiérarchie stricte de Tarski. Sa sémantique des mondes possibles pour la logique modale, développée dans Naming and Necessity (1980), étend l'esprit de l'approche sémantique de Tarski aux contextes modaux.

Ruth Barcan Marcus a contribué de manière significative au développement de la logique modale quantifiée et aux questions d'identité à travers les mondes possibles, étendant les techniques sémantiques dans l'esprit d'Alfred Tarski. Alonzo Church et Kurt Gödel ont également apporté des contributions importantes à la théorie des types et aux fondements logiques qui sous-tendent l'approche de Tarski.

Richard Montague a développé dans les années 1970 une grammaire formelle pour les langages naturels qui incorpore les principes sémantiques d'Alfred Tarski dans une théorie compositionnelle sophistiquée de la signification. Sa Grammaire Universelle a eu une influence considérable en linguistique théorique et en philosophie du langage.

Kit Fine, Anil Gupta, et Hans Herzberger ont développé des théories révisionnistes de la vérité qui tentent de traiter les paradoxes sémantiques tout en préservant l'intuition que les langages naturels contiennent leurs propres prédicats de vérité. Tyler Burge et Charles Parsons ont contribué à l'analyse philosophique des hiérarchies sémantiques et de leurs implications épistémologiques.

La théorie originale de Tarski, développée pour des langages relativement simples du premier ordre, a été étendue et généralisée de nombreuses façons pour traiter des langages plus complexes et des questions philosophiques plus sophistiquées. Une direction importante concerne l'extension aux langages d'ordre supérieur, qui permettent la quantification sur des propriétés et des relations en plus des objets individuels. Cette extension soulève des questions délicates sur l'ontologie et sur les conditions d'existence des entités abstraites, questions qui restent débattues dans la philosophie contemporaine. Une autre direction cruciale concerne l'application aux langages contenant des modalités, des attitudes propositionnelles, et d'autres constructions intensionnelles. Les logiques modales, qui traitent de concepts comme la nécessité et la possibilité, requirent des techniques sémantiques sophistiquées comme la sémantique des mondes possibles développée par Kripke et d'autres. Ces développements étendent l'esprit de l'approche de Tarski tout en soulevant de nouvelles questions sur la nature des mondes possibles et leur statut ontologique. Les langages contenant des termes vagues ou ambigus posent également des défis particuliers. Des logiciens comme Kit Fine et Diana Raffman ont développé des approches sophistiquées pour traiter la vagueur qui s'inspirent de l'approche générale de Tarski tout en reconnaissant que les langages naturels ne se conforment pas toujours aux idéalisations de la logique classique. Ces travaux ont contribué à une compréhension plus nuancée des relations entre langages formels et naturels.

Au-delà de la philosophie pure, la théorie de Tarski a trouvé des applications importantes en informatique théorique, particulièrement dans les domaines de la vérification de programmes, de la sémantique des langages de programmation, et de l'intelligence artificielle. En sémantique des langages de programmation, l'approche de Tarski a inspiré le développement de sémantiques dénotationnelles qui assignent des significations mathématiques précises aux constructions des langages de programmation. Cette approche permet de prouver rigoureusement la correction de programmes et d'optimisations de compilateurs.

En vérification formelle, les techniques développées dans l'esprit de Tarski permettent de spécifier et de vérifier les propriétés de systèmes complexes en utilisant des logiques temporelles et autres extensions. Ces applications ont une importance pratique considérable dans le développement de systèmes critiques comme les logiciels de contrôle d'avions ou les protocoles de sécurité cryptographiques.

En intelligence artificielle, les approches basées sur la logique pour la représentation des connaissances et le raisonnement automatique s'appuient largement sur les fondements sémantiques établis par Tarski. Les systèmes de bases de données, les langages de requêtes, et les ontologies informatiques utilisent tous des principes qui peuvent être retracés à l'œuvre séminale de Tarski.

Limites et objections

Malgré ses succès remarquables, la théorie de Tarski fait face à plusieurs problèmes et limitations qui continuent d'alimenter la recherche philosophique et logique contemporaine. Un problème central concerne l'applicabilité de l'approche aux langages naturels. Les langages naturels semblent contenir leurs propres prédicats de vérité et générer des paradoxes, ce qui suggère qu'ils ne peuvent pas être traités exactement comme les langages formalisés de Tarski. Diverses solutions ont été proposées, incluant des approches contextuelles qui relativisent la vérité à des niveaux de discours, des approches paraconsistantes qui tolèrent certaines contradictions, et des approches révisionnistes qui nient que les langages naturels contiennent réellement des prédicats de vérité cohérents. 

Un autre problème important concerne le statut ontologique de l'appareil théorique de Tarski. Sa définition de la vérité fait appel à des entités mathématiques sophistiquées comme des ensembles, des fonctions, et des séquences infines. Cette dépendance ontologique soulève des questions sur la capacité de la théorie de Tarski à élucider le concept pré-théorique de vérité, particulièrement pour les philosophes qui sont sceptiques concernant l'existence des entités mathématiques abstraites. Des tentatives ont été faites pour développer des versions « déflationnistes » ou « minimalistes » de la sémantique de Tarski qui évitent ces engagements ontologiques lourds, mais ces approches restent controversées.

La question de l'interprétation philosophique de la théorie de Tarski reste également débattue. Tarski lui-même a insisté sur le fait que sa théorie était une analyse du concept ordinaire de vérité, mais de nombreux philosophes ont mis en question cette interprétation. Certains soutiennent que Tarski a simplement remplacé le concept ordinaire de vérité par un nouveau concept technique qui, bien qu'utile, ne capture pas les aspects les plus importants de notre notion pré-théorique. D'autres maintiennent que la théorie de Tarski révèle la structure sous-jacente du concept ordinaire de vérité, mais reconnaissent qu'elle ne peut pas capturer tous ses aspects contextuels et pragmatiques.

La théorie de Tarski a aussi fait l'objet de nombreuses critiques substantielles qui révèlent les tensions entre ses ambitions techniques et philosophiques. Peter Strawson, dans Truth (1950), a soutenu que Tarski n'avait pas réellement analysé le concept ordinaire de vérité, mais avait plutôt introduit un nouveau concept technique. Strawson a argumenté que l'usage ordinaire du prédicat « vrai » est principalement expressif ou performatif plutôt que descriptif, servant à exprimer l'accord ou l'approbation plutôt qu'à attribuer une propriété métaphysique aux énoncés.

Paul Horwich, dans Truth (1990), a développé une critique « minimaliste » de l'approche de Tarski, soutenant que tout ce qu'il y a à dire sur la vérité est capturé par les instances du schéma « p est vrai si et seulement si p » et que l'appareil technique sophistiqué de Tarski est philosophiquement superflu. Horwich argumente que les tentatives pour « substantifier » le concept de vérité au-delà de ces équivalences triviales sont vouées à l'échec.

Hartry Field, dans Tarski's Theory of Truth (1972), a soulevé des objections importantes concernant le statut réductionniste de la théorie de Tarski. Field a argumenté que la définition de Tarski ne constitue pas une réduction physicaliste authentique de la vérité parce qu'elle fait appel à des notions sémantiques comme la référence et la satisfaction qui sont elles-mêmes problématiques d'un point de vue physicaliste. Cette critique a stimulé des recherches importantes sur la naturalisation de la sémantique.

Michael Dummett, dans diverses publications depuis les années 1970, a développé une critique antiréaliste de l'approche de Tarski, soutenant que la notion de vérité transcendant la justification est problématique et que nous devrions adopter des notions épistémiquement contraintes comme l'assertabilité garantie. Dummett argumente que la théorie de Tarski ne peut pas s'appliquer de manière cohérente aux domaines où nous n'avons pas de procédures de décision effectives.

Hilary Putnam a développé plusieurs critiques de l'approche réaliste que semble soutenir la théorie de Tarski. Dans Models and Reality (1980), Putnam a argumenté que la notion de correspondance entre langage et réalité présupposée par Tarski est incohérente en raison de la sous-détermination de la référence par les contraintes formelles. Son argument de « relativité ontologique » suggère que les notions de vérité et de référence sont relatives aux schèmes conceptuels.

Scott Soames et Jeff King ont développé des critiques contemporaines qui questionnent l'adequation de l'approche propositionnelle présupposée par la théorie de Tarski, soutenant que les porteurs primaires de vérité ne sont pas les énoncés linguistiques mais plutôt les propositions ou les actes de parole.

Les critiques contemporaines incluent également des objections basées sur la philosophie expérimentale qui questionnent si les intuitions philosophiques sur lesquelles repose l'évaluation de la théorie de Tarski sont aussi universelles que supposé. Des philosophes comme Jonathan Weinberg et Shaun Nichols ont mené des études empiriques suggérant que les intuitions sur la vérité varient significativement entre les groupes culturels et socioéconomiques.

Ainsi a théorie sémantique de la vérité de Tarski, en résolvant les paradoxes sémantiques traditionnels tout en fournissant une base rigoureuse pour la sémantique moderne, a transformé notre compréhension des relations entre langage, signification, et réalité. La distinction entre langage-objet et métalangage, sa Convention T, et ses techniques de construction récursive des définitions sémantiques sont devenues des outils standard en logique, philosophie du langage, linguistique théorique et même informatique. Néanmoins, comme toute théorie philosophique majeure, l'œuvre de Tarski soulève autant de questions qu'elle en résout. Les débats contemporains sur l'applicabilité aux langages naturels, sur le statut ontologique de l'appareil théorique, sur l'interprétation philosophique correcte, et sur les limitations intrinsèques révèlent la richesse et la complexité de ses implications. Ces débats témoignent non seulement de l'importance persistante de la contribution de Tarski, mais aussi de la vitalité continue de la recherche qu'elle a stimulée. La théorie de Tarski demeure ainsi un pilier central de la philosophie analytique contemporaine, un point de référence obligé pour quiconque s'intéresse sérieusement aux questions fondamentales concernant la nature de la vérité, de la signification, et de la connaissance humaine.