Le Concept de vérité dans les langages formalisés

Introduction

Alfred Tarski, logicien varsovien, publia la monographie en polonais en 1933 (« Pojęcie prawdy w językach nauk dedukcyjnych », traduction propre : « Le concept de vérité dans les langages des sciences déductives ») ; une version allemande avec un important postscriptum suivit en 1935. Il pose d’abord une condition d’adéquation, la « convention T » : toute définition acceptable doit impliquer toutes les phrases de la forme « “p” est vrai si et seulement si p ». Il montre ensuite comment la vérité peut être définie pour un langage formalisé, tel que le calcul des classes, au moyen de la notion de satisfaction de formules par des suites d’objets. En raison de paradoxes comme celui du menteur, la définition doit être donnée dans un métalangage essentiellement plus riche que le langage qu’elle concerne. L’œuvre posa les fondements de la sémantique formelle et, plus tard, de la théorie des modèles.

Liens

Reprise dans

• La Conception sémantique de la vérité1944 · Alfred Tarski

Autres œuvres de Alfred Tarski

• 1944La Conception sémantique de la vérité