Harvard 1940-1941 : Tarski, Carnap, Quine et la question d’un langage mathématique finitiste pour la science

Cet article a été traduit de l’anglais par Denis Bonnay. Le texte original est paru sous le titre «Tarski, Carnap and Quine on a finite language of mathematics for science», in History and Philosophy of Logic, 26, 2005, pp. 327-357. – Introduction; – La position de Tarski sur la distinction carnapienne entre l’analytique et le synthétique; – Harvard 1940-1941; – La conférence de Quine «La logique, les mathématiques, la science»; – La discussion; – Le finitisme de Tarski; – Vers un noyau finitiste (16 février 1941); – Le système de Carnap et le système de Tarski; – Construction du langage universel de la science; – Conclusion.