Logique, sémantique, métamathématique, 1923-1944

Ce recueil des principaux écrits logiques d’Alfred Tarski fait suite au premier volume, paru en 1972 (ibid.). Il contient les études suivantes : – IX. « Quelques remarques sur les concepts d’inconsistance et d'incomplétude » (/D/ Monatshefte für Mathematik und Physik, 1933) ; – X. « Quelques recherches méthodologiques sur la définissabilité des concepts » (/pol/ Przeglad Filosoficzny[, XXXVII, ex-Conf. Prague 1934) ; – XI. « Sur les fondements de l'algèbre de Boole » (/D/ Fundamenta Mathematicae, 1935) ; – XII « Fondements du calcul des systèmes » (/D / Ibid., 1935-36) ; – XIII. « Sur la limitation des moyens d'expression des théories déductives » (/D/ : Ergebnisse eines mathematischen Kolloquium, 1934-35) ; – XIV. « Sur les extensions des systèmes incomplets de calcul proportionnel » (Ibid.) ; – XV. « La construction d'une sémantique scientifique » (Résumé / pol/ de Conf. Paris : Przeglad Filozof. 1936) ; – XVI. « Sur le concept de conséquence logique » (Résumé Conf., Ibid.) ; – XVII. Calcul propositionnel et topologie » (/D/ Fundamenta Mathematicae, 1938) ; – XVIII. « Sur des énoncés indécidables dans des systèmes logiques élargis et sur le concept de vérité » (/E/ Journal of Symbolic Logic, 1939) ; – XIX. « La complétude de l’algèbre et la géométrie élémentaires » (Original /E / : 1939, publ. 1967) ; – XX. « Sur le calcul des relations » (/E/ Journal of Symbolic Logic, 1941) ; – XXI. « La conception sémantique de la vérité et les fondements de la sémantique » (/E/ Philos, and Phenomenological Research, 1944) : article sans technicité, à la différence des précédents, mais qui est aussi l’exposé le plus complet de la « philosophie » de Tarski. M.-M. V.