La question de savoir s'il existe des réalités mathématiques a-t-elle un sens ?
Philosophia Scientiae, Volume 2 (1997) no. 2, pp. 275-312.
@article{PHSC_1997__2_2_275_0,
     author = {Vuillemin, Jules},
     title = {La question de savoir s'il existe des r\'ealit\'es math\'ematiques a-t-elle un sens ?},
     journal = {Philosophia Scientiae},
     pages = {275--312},
     publisher = {\'Editions Kim\'e},
     volume = {2},
     number = {2},
     year = {1997},
     language = {fr},
     url = {http://archive.numdam.org/item/PHSC_1997__2_2_275_0/}
}
TY  - JOUR
AU  - Vuillemin, Jules
TI  - La question de savoir s'il existe des réalités mathématiques a-t-elle un sens ?
JO  - Philosophia Scientiae
PY  - 1997
DA  - 1997///
SP  - 275
EP  - 312
VL  - 2
IS  - 2
PB  - Éditions Kimé
UR  - http://archive.numdam.org/item/PHSC_1997__2_2_275_0/
LA  - fr
ID  - PHSC_1997__2_2_275_0
ER  - 
%0 Journal Article
%A Vuillemin, Jules
%T La question de savoir s'il existe des réalités mathématiques a-t-elle un sens ?
%J Philosophia Scientiae
%D 1997
%P 275-312
%V 2
%N 2
%I Éditions Kimé
%G fr
%F PHSC_1997__2_2_275_0
Vuillemin, Jules. La question de savoir s'il existe des réalités mathématiques a-t-elle un sens ?. Philosophia Scientiae, Volume 2 (1997) no. 2, pp. 275-312. http://archive.numdam.org/item/PHSC_1997__2_2_275_0/

Bernays, P. 1934 Cf. [Hilbert 1934]

Bernays, P. 1935 Sur le Platonisme dans les mathématiques, L'enseignement mathématique, n° 34, 52-69. | JFM

Bernays, P. 1960 Cf. [Ladrière l960].

Beth, E. W. 1959 The Foundations of Mathematics, Amsterdam : North-Holland Cy. | Zbl

Borel, E. 1950 Leçons sur la théorie des fonctions4, Paris : Gauthier-Villars. | JFM

Bourbaki, N. 1984 Éléments d'histoire des mathématiques, Paris : Masson. | Zbl

Carnap, R. 1930-31 Die Mathematik als Zweig der Logik, Blätter für deutsche Philosophie, 4, Berlin, 298-310. | JFM

Carnap, R. (LSL) 1937 The Logical Syntax of Language, London : Routledge and Kegan, désormais cité : LSL.

Carnap, R. 1960 Symbolische Logik2, Wien : Springer.

Church, A. 1956 Introduction to Mathematical Logic, Princeton : Princeton Un. Press. | JFM | Zbl

Fraenkel, A. 1928 Einleitung in die Mengenlehre3, Berlin : Springer. | EuDML | JFM | Zbl

Fraenkel, A & Bar-Hillel, Y. 1958 Foundations of Set Theory, Amsterdam : North Holland Cy. | Zbl

Gödel, K. 1930 Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37, 349-360. | JFM

Gödel, K. 1931 Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Mh. Math. Physik, vol. 38, 173-198. | JFM | Zbl

Gödel, K. 1931-32 Zum intuitionistischen Aussagenkalkül, Ergebnisse eines mathematischen Kolloquiums, Heft 1-5, Leipzig Deutsche. | JFM

Gödel, K. 1938 The consistency of the axiom of choice and of the generalized continuum-hypothesis, Proc. Nat. Acad. of Sc., vol. 24. | JFM

Gödel, K. 1944 Russell's Mathematical Logic, in : The Philosophy of Bertrand Russell, ed. by P. A. Schilpp, V, Evanston - Chicago, 123-153.

Gödel, K. 1947 What is Cantor's Continuum Problem ?, Amer. Math. Monthly, vol. 54.

Gödel, K. (M) 1995 Les mathématiques sont-elles une syntaxe du langage ?, Dialogue XXXIV (1995), 3-34, trad. D. Fagnot - G. Heinzmann, cité : M. | Zbl

Grzegorczyk, A. 1961 Fonctions Récursives, Paris/Louvain : Gauthier-Villars/Nauwelaerts. | Zbl

Hadamard, Jacques 1945 Essai sur la psychologie de l'invention dans le domaine mathématique, Trad. fr. Jacqueline Hadamard, Paris : Gauthier-Villars, 1975. | Zbl

Heinzmann, G. & Proust, J. 1988 Carnap et Gödel. Échange de lettres autour de la définition de l'analyticité, Intr., trad. et notes par Gerhard Heinzmann & Joëlle Proust, Logique et Analyse, vol. 31 pp. 257-291. | Zbl

Heyting, A. 1930 Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preußischen Akademie der Wissenschaften, II, Phys. math. Klasse, 42-56. | JFM

Hilbert, D. & Ackermann, W. 1950 Principles of Mathematical Logic, ed. R. E. Luce, New-York : Chelsea Cy.

Hilbert, D. & Bernays, P. 1934 Grundlagen der Mathematik I, 2. Aufl., Berlin - Heildeberg -New York : Springer, 1968. | Zbl

Kleene, S. C. 1967 Mathematical Logic, New York : John Wiley and Sons. | Zbl

Kleene, S. C. 1971 Logique mathématique, trad. J. Largeault, Paris : Armand Colin. | Zbl

Ladrière, J. 1957 Les limitations internes des formalismes, Louvain/Paris : Nauwelaerts/Gauthier-Villars.

Ladrière, J. 1960 Les limitations des formalismes et leur signification philosophique, Dialectica, 14, 4, 279-328.

Quine, W. V. O. 1961 From a Logical Point of View2, Cambridge : Harward Un. Press.

Quine, W. V. O. 1966 On Frege's Way Out, Selected Logic Papers, New York : Random House. | Zbl

Quine, W. V. O. 1986 Reply to Hao Wang, The Philosophy of W. V. Quine, The Library of Living Philosophers, Vol. XVIII, ed. Hahn and Schilpp, La Salle : Open Court.

Ramsay, F. P. 1926 Mathematical Logic, The Foundations of Mathematics, Paterson : Littlefield - Adams, 1960.

Russell 1903 The Principles of Mathematics, London : Allen & Unwin. | JFM

Russell 1940 Inquiry into Meaning and Truth ; trad. Ph. Devaux, Signification et Vérité, Flammarion, Paris, 1959.

Vidal-Rosset, J. A paraître Philosophie des mathématiques et systèmes philosophiques. Essai sur les classifications de W. v. O. Quine et de J. Vuillemin (à paraître dans Philosophia Scientiæ).

Vuillemin, Jules 1964 L'origine et le mécanisme des antinomies dans la première philosophie de Russell (1903), Logique et Analyse, 7e année, n° 25-26, 59-95. | Zbl

Vuillemin, Jules 1967 Sur les conditions qui permettent d'utiliser les matrices russelliennes des antinomies (1905) pour exprimer les Théorèmes de limitations internes des formalismes, Notre-Dame Journal of Symbolic Logic, vol. VII, n. 1, janv. 1967, 1-19. | Zbl

Vuillemin, Jules 1972 Das Problem der Identität in der Beweistheorie und die Kantische Fragestellung, Kant-Studien, 63, n°3.

Weyl, H. 1921 Über die neue Grundlagenkrise der Mathematik, Mathematische Zeitschrift, vol. 10, 39-79. | EuDML | JFM

Weyl, H. 1925 Die heutige Erkenntnislage in der Mathematik, Symposion, Bd. 1, 1-32. | JFM

Wittgenstein, L. 1921 Tractatus logico-philosophicus.