@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://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, Manière de faire les mondes. Une conférence avec et sur Nelson Googman, Tome 2. Actes du colloque international Nelson Goodman. Pont-à-Mousson 1997, Tome 2 (1997) no. 2, pp. 275-312. http://www.numdam.org/item/PHSC_1997__2_2_275_0/
1934 Cf. [Hilbert 1934]
Sur le Platonisme dans les mathématiques, L'enseignement mathématique, n° 34, 52-69. | JFM
19351960 Cf. [Ladrière l960].
The Foundations of Mathematics, Amsterdam : North-Holland Cy. | Zbl
1959Leçons sur la théorie des fonctions4, Paris : Gauthier-Villars. | JFM
1950Éléments d'histoire des mathématiques, Paris : Masson. | Zbl
1984Die Mathematik als Zweig der Logik, Blätter für deutsche Philosophie, 4, Berlin, 298-310. | JFM
1930-31The Logical Syntax of Language, London : Routledge and Kegan, désormais cité : LSL.
(LSL) 1937Symbolische Logik2, Wien : Springer.
1960Introduction to Mathematical Logic, Princeton : Princeton Un. Press. | JFM | Zbl
1956Einleitung in die Mengenlehre3, Berlin : Springer. | EuDML | JFM | Zbl
1928Foundations of Set Theory, Amsterdam : North Holland Cy. | Zbl
& 1958Die Vollständigkeit der Axiome des logischen Funktionenkalküls, Monatshefte für Mathematik und Physik 37, 349-360. | JFM
1930Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Mh. Math. Physik, vol. 38, 173-198. | JFM | Zbl
1931Zum intuitionistischen Aussagenkalkül, Ergebnisse eines mathematischen Kolloquiums, Heft 1-5, Leipzig Deutsche. | JFM
1931-32The consistency of the axiom of choice and of the generalized continuum-hypothesis, Proc. Nat. Acad. of Sc., vol. 24. | JFM
1938Russell's Mathematical Logic, in : The Philosophy of Bertrand Russell, ed. by P. A. Schilpp, V, Evanston - Chicago, 123-153.
1944What is Cantor's Continuum Problem ?, Amer. Math. Monthly, vol. 54.
1947Les mathématiques sont-elles une syntaxe du langage ?, Dialogue XXXIV (1995), 3-34, trad. D. Fagnot - G. Heinzmann, cité : M. | Zbl
(M) 1995Fonctions Récursives, Paris/Louvain : Gauthier-Villars/Nauwelaerts. | Zbl
1961Essai sur la psychologie de l'invention dans le domaine mathématique, Trad. fr. Jacqueline Hadamard, Paris : Gauthier-Villars, 1975. | Zbl
1945Carnap 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
& 1988Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preußischen Akademie der Wissenschaften, II, Phys. math. Klasse, 42-56. | JFM
1930Principles of Mathematical Logic, ed. R. E. Luce, New-York : Chelsea Cy.
& 1950Grundlagen der Mathematik I, 2. Aufl., Berlin - Heildeberg -New York : Springer, 1968. | Zbl
& 1934Mathematical Logic, New York : John Wiley and Sons. | Zbl
1967Logique mathématique, trad. J. Largeault, Paris : Armand Colin. | Zbl
1971Les limitations internes des formalismes, Louvain/Paris : Nauwelaerts/Gauthier-Villars.
1957Les limitations des formalismes et leur signification philosophique, Dialectica, 14, 4, 279-328.
1960From a Logical Point of View2, Cambridge : Harward Un. Press.
1961On Frege's Way Out, Selected Logic Papers, New York : Random House. | Zbl
1966Reply to Hao Wang, The Philosophy of W. V. Quine, The Library of Living Philosophers, Vol. XVIII, ed. Hahn and Schilpp, La Salle : Open Court.
1986Mathematical Logic, The Foundations of Mathematics, Paterson : Littlefield - Adams, 1960.
1926The Principles of Mathematics, London : Allen & Unwin. | JFM
1903Inquiry into Meaning and Truth ; trad. Ph. Devaux, Signification et Vérité, Flammarion, Paris, 1959.
1940Philosophie 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æ).
A paraîtreL'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
1964Sur 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
1967Das Problem der Identität in der Beweistheorie und die Kantische Fragestellung, Kant-Studien, 63, n°3.
1972Über die neue Grundlagenkrise der Mathematik, Mathematische Zeitschrift, vol. 10, 39-79. | EuDML | JFM
1921Die heutige Erkenntnislage in der Mathematik, Symposion, Bd. 1, 1-32. | JFM
1925Tractatus logico-philosophicus.
1921