2. Le concept de vérité
À partir du début des années trente, Tarski prit conscience du caractère étroit des méthodes syntaxiques qu'il avait suivies jusqu'alors, et il s'efforça de mettre au point des concepts sémantiques correspondant plus fidèlement aux notions utilisées dans le langage ordinaire – principalement le concept de vérité et celui de conséquence logique. Le premier est analysé dans sa célèbre étude sur Le Concept de vérité dans les langages formalisés (traduite en allemand en 1935-1936 sous le titre de Wahrheitsbegriff). Ce mémoire, qui fut présenté par Łukasiewicz devant la Société des lettres et des sciences de Varsovie en 1931, avait pour objectif de comprendre les intuitions exprimées par la conception dite classique de la vérité (théorie de la vérité-correspondance) et de « construire une définition de l'expression énoncé vrai, définition qui soit matériellement adéquate et formellement correcte ».
Distinguant les langages essentiellement selon l'ordre de catégorie de variables qu'ils possèdent, Tarski aboutit aux conclusions suivantes : « A. Nous savons construire en métalangage, pour chaque langage formalisé d'ordre fini, une définition [...] de la notion d'énoncé vrai. B. Il n'est pas possible de construire une telle définition pour les langages formalisés d'ordre infini. C. Pourtant, même par rapport à ces langages, on peut utiliser d'une manière conséquente et correcte le concept de vérité en l'introduisant dans l'ensemble des concepts primitifs du métalangage et en déterminant ses propriétés fondamentales au moyen de la méthode axiomatique. » Le mémoire de 1931 s'en tenait aux langages formalisés dont la structure s'accorde avec la théorie des catégories sémantiques, mais le Post-scriptum de la version allemande devait en adapter les conclusions au cas de langages formalisés pour lesquels les principes de la théorie des catégories sémantiques ne seraient plus valables.
[…]… pour nos abonnés, l'article se prolonge sur 2 pages…
