Bibliographie
Œuvres de Alfred Tarski
Les textes essentiels de Tarski sont réunis dans le recueil Logic, Semantics, Metamathematics, 1923-1938, trad. Woodger, Oxford, 1956, trad. franç. élargie Logique, sémantique, métamathématique, 1923-1944, 2 vol., A. Colin, Paris, 1972, 1974.Les textes accessibles aux philosophes sont : Le Concept de vérité dans les langages formalisés, 1933 (la traduction française est à utiliser avec précaution)
La Construction d'une sémantique scientifique, 1936
Sur le concept de conséquence logique, 1936, et La Conception sémantique de la vérité et les fondements de la sémantique, 1944
Introduction à la logique, trad. all., 1937, trad. franç., Gauthier-Villars, Paris, 1971
Undecidable Theories, avec A. Mostowski et R. M. Robinson, Amsterdam, 1953
« What is elementary geometry », in Henkin, Suppes et Tarski dir., The Axiomatic Method, Amsterdam, 1959 (rééd. in Hintikka dir., The Philosophy of Mathematics, Oxford, 1969).
Études
A. Mostowski, « Tarski (Alfred) », in Enc. of Philosophy, t. VIII, pp. 77-81
W. V. O. Quine, Philosophie de la logique, chap. III, Aubier-Montaigne, Paris, 1975
P. de Rouilhan, « Le Menteur : sur la théorie de la vérité de Tarski », in Le Temps de la réflexion, Paris, 5, 1984.
Retour en haut
… pour nos abonnés, l'article se prolonge sur 2 pages…
