convention T
Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».
Abréviation pour true en anglais.
Logique
Condition fondamentale d'adéquation d'une théorie de la vérité sémantique, selon Tarski.
Dans son entreprise de construction d'une sémantique logique, Tarski(1) entend définir un prédicat de vérité pour un langage formel L. Une théorie de la vérité ne satisfait la « convention T » que si toute instance du schéma « S est vrai si et seulement si p » est dérivable dans L. « S » est une description d'une phrase du langage-objet L, et p est sa traduction dans la métalangue. Si nous étions incapables de dire sous quelles conditions S est vraie, nous ne pourrions pas dire quelle est la forme des phrases de L. Tarski considérait que la vérité ne peut être définie que dans une langue formelle, et pas dans une langue naturelle.
La convention T est devenue centrale chez Davidson(2), qui propose d'étendre la sémantique tarskienne aux langues naturelles, moyennant des contraintes sur l'indexicalité et le contexte. Tarski prend la notion de traduction pour acquise, alors que Davidson prend celle de vérité pour primitive, et cherche à définir à partir de la signification.
Pascal Engel
Notes bibliographiques