TARSKI ALFRED (1902-1983)
- Article mis en ligne le
- Modifié le
- Écrit par Jan SEBESTIK
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.
La suite de cet article est accessible aux abonnés
- Des contenus variés, complets et fiables
- Accessible sur tous les écrans
- Pas de publicité
Déjà abonné ? Se connecter
Écrit par
- Jan SEBESTIK : docteur ès lettres, chargé de recherche au C.N.R.S.
Classification
Pour citer cet article
Jan SEBESTIK. TARSKI ALFRED (1902-1983) [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
Article mis en ligne le et modifié le 14/03/2009
Autres références
-
DÉMONSTRATION THÉORIE DE LA
- Écrit par Jean-Yves GIRARD
- 6 140 mots
- 1 média
...des prédicats ; il s'agit de montrer, par induction sur une démonstration, que tout énoncé démontrable est vrai ; or, c'est un résultat bien connu de Tarski, il n'y a pas de prédicat de vérité pour les énoncés de AP défini dans AP elle-même. Mais, par la propriété de la sous-formule (ou par... -
DISSECTIONS GÉOMÉTRIQUES
- Écrit par Jean-Paul DELAHAYE
- 3 363 mots
- 10 médias
...(Recombiner signifie déplacer les pièces sans les déformer, c'est-à-dire en leur appliquant uniquement des translations, des rotations ou des symétries.) Ce second problème de la quadrature du cercle, formulé en 1952 par le logicien polonais Alfred Tarski (1902-1983), est resté irrésolu moins longtemps... -
EMPIRISME
- Écrit par Edmond ORTIGUES
- 13 324 mots
- 1 média
La thèse de Carnap est plus difficile à exposer. Son auteur la résume ainsi : « Ma conception de la sémantique commence sur la base donnée dans l'œuvre de Tarski mais elle diffère de sa conception par la nette distinction que je trace entre les constantes logiques et les constantes non logiques, et... -
MALTSEV ANATOLI IVANOVITCH (1909-1967)
- Écrit par Gabriel SABBAGH
- 635 mots
Mathématicien soviétique, célèbre pour ses travaux en logique et en algèbre. Les premiers écrits de Maltsev contiennent les idées essentielles d'une bonne partie de son œuvre. Dans son premier et plus célèbre article, Untersuchungen aus dem Gebiete der Mathematischen Logik...
- Afficher les 9 références
