Système d’information en philosophie des sciences
Information system on philosophy of science

ImprimerEnvoyer le lien


Gôdel, Tarski and Truth

  • Pages : 459 à 490
  • Date de création : 04-01-2011
  • Dernière mise à jour : 04-01-2011

Mots-clés :

Résumé :


This paper investigates the discovery of the truth-undefinability theorem. Although it is commonly attributed to Tarski, some historical data suggest that it was earlier discovered by Gödel. The author collects and comments several sources. It is argued that the historical issue requires taking into account various aspects, also including the philosophical background of Gödel and Tarski. The main thesis of the present paper is that the discussed theorem was explicitly formulated by Tarski.


Haut de page

Retour à la page précédente

Mentions légales © SIPS, 2022.
Dernière mise à jour : Mardi 04 octobre 2022