Existence en mathématiques
Séminaire de Philosophie et Mathématiques, no. 5 (1986), pp. 1-24.
@article{SPHM_1986___5_A1_0,
     author = {Chihara, C. S.},
     title = {Existence en math\'ematiques},
     journal = {S\'eminaire de Philosophie et Math\'ematiques},
     pages = {1--24},
     publisher = {\'Ecole Normale Sup\'erieure},
     number = {5},
     year = {1986},
     language = {fr},
     url = {http://www.numdam.org/item/SPHM_1986___5_A1_0/}
}
TY  - JOUR
AU  - Chihara, C. S.
TI  - Existence en mathématiques
JO  - Séminaire de Philosophie et Mathématiques
PY  - 1986
DA  - 1986///
SP  - 1
EP  - 24
IS  - 5
PB  - École Normale Supérieure
UR  - http://www.numdam.org/item/SPHM_1986___5_A1_0/
LA  - fr
ID  - SPHM_1986___5_A1_0
ER  - 
Chihara, C. S. Existence en mathématiques. Séminaire de Philosophie et Mathématiques, no. 5 (1986), pp. 1-24. http://www.numdam.org/item/SPHM_1986___5_A1_0/

<1> L'auteur a décrit cette position de Quine dans son ouvrage Ontology and the Vicious-Circle Principle, Ithaca, Cornell University Press, 1973, ch. 3. | MR 469678

<2> H. Field, Science Without Numbers: A Defense of Nominalism. Princeton, Princeton Unversity Press, 1980. | MR 591456 | Zbl 0454.00015

<3> H. Putnam, "What is Mathematical Truth?" dans son livre Philosophical Papers vol. 1: Mathematics Matter and Method, Cambridge, Cambridge Universty Press, 1975, p. 65. | MR 479920 | Zbl 0325.02004

<4> ibid., p. 74. Voir aussi H. Putnam, Philosophy of Logic. New York, Harper & Row, 1971.

<5> S. Kripke, "Semantical Considerations of Modal Logic," dans Reference and Modality, éd. par L. Linsky, Oxford, Oxford University Press, 1971. | Zbl 1288.03015

<6> En particular, on peut utiliser le système deductif qui se trouve dans le livre de Benson Mates, Elementary Logic 2e ed., New York, Oxford University Press, 1972.

<7> Voir à ce sujet le livre de C. Chihara, op. cit., p. 31-39.

<8> Ibid, p. 13-18.

<9> J'ai présenté une formalisation de ce système dans l'article "A Simple Type Theory Without Platonic Domains," Journal of Philosophical Logic, vol. 13, 1984, p. 249-283.

<10> Voir ibid., p. 254-257.

<11> L'auteur voudrait exprimer ses remerciements à Elizabeth Karger du CNRS, Paris, qui m'a assisté pour la version francaise de cet article. La recherche pour cet article était soutenue par un Fellowship for Independent Study and Research du National Endowment for the Humanities.