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

Chapitre d'ouvrage

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


Auteur :
  • Pages : 55 à 93
  • Support : Document imprimé
  • Langue : Français
  • ISBN : 978-2-7381-2203-2
  • ISSN : 1265-9835
  • Date de création : 04/01/2011
  • Dernière mise à jour : 21/02/2015

Aucune information sur les auteurs de paratexte n'a été enregistrée pour ce document

Aucune élément de paratexte n'a été enregistré pour ce document

Résumé 

Français

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.

Mots-clés