La question de savoir s'il existe des réalités mathématiques a-t-elle un sens ?
Philosophia Scientiae, Tome 2 (1997) no. 2, p. 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},
     publisher = {\'Editions Kim\'e},
     volume = {2},
     number = {2},
     year = {1997},
     pages = {275-312},
     language = {fr},
     url = {http://http://www.numdam.org/item/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, Tome 2 (1997) no. 2, pp. 275-312. http://www.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 61.0047.03

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

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

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

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

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

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

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

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

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

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

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

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 64.0035.01

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 0927.03007

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

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

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 0738.03001

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

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 0191.28402

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

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

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 0064.00502

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 63.0819.01

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 0128.01101

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 0166.24801

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

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

Wittgenstein, L. 1921 Tractatus logico-philosophicus.