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
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  - 
%0 Journal Article
%A Chihara, C. S.
%T Existence en mathématiques
%J Séminaire de Philosophie et Mathématiques
%D 1986
%P 1-24
%N 5
%I École Normale Supérieure
%U http://www.numdam.org/item/SPHM_1986___5_A1_0/
%G fr
%F SPHM_1986___5_A1_0
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

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

<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 | Zbl

<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

<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.