-
31Jean Largeault, L'intuitionnisme, Paris, PUF, coll. « Que sais-je ? », 1992, 125 pages.Jean Largeault, L'intuitionnisme, Paris, PUF, coll. « Que sais-je ? », 1992, 125 pages (review)Philosophiques 21 (1): 267-268. 1994.
-
30Logique et Dialectique. Par D. Dubarle et A. Doz. Collection « Sciences humaines et sociales ». Paris, Larousse, 1972. 246 pages (review)Dialogue 13 (1): 203-205. 1974.
-
30Intuitionistic Logic and Local Mathematical TheoriesMathematical Logic Quarterly 23 (27-30): 411-414. 1977.
-
30The logical analysis of mathematical physicsZeitschrift Für Allgemeine Wissenschaftstheorie 16 (2): 251-260. 1985.Die Arbeit schlägt eine beweistheoretische Analyse der mathematischen Physik im Gegensatz zu gegenwärtigen modelltheoretischen Ansätzen vor. Über eine oberflächliche Analogie hinaus haben beweistheoretische Techniken und Renormalisationsverfahren ein gemeinsames Ziel: die Ausschaltung von Unendlichkeiten in einer konsistenten Theorie. Die Geschichte der Renormalisation in Quantenfeldtheorien wird kurz skizziert und eine allgemeine These über die Natur und Justizfizierung von Theorien in der math…Read more
-
30Phénoménologie et mathématiques: A Propos de L'ouvrage de J. T. Desanti, Les Idéalités MathématiquesDialogue 11 (2): 281-288. 1972.De Platon à Descartes et de Kant à Husserl, les idéalités mathématiques ont constamment été l'objet de l'attention philosophique; pour Platon et Descartes, idéalités discursives et régulatrices, pour Kant et Husserl, idéalités pures et objectives. Chez le dernier, bien que les tentatives inaugurates de philosophie mathématique aient été sévèrement critiquées par un Frege et malgré l'intérêt limité qu'elles ont aujourd'hui pour l'épistémologue des mathématiques, l'idéalité mathématique restera to…Read more
-
29Leçons sur la genèse des théories physiques, Galilée, Ampère, Einstein. Par J. Merleau-Ponty. Paris, Vrin, 1974. 172 pages (review)Dialogue 14 (1): 172-174. 1975.
-
29La logique de Charles Sanders Peirce. De l'algèbre aux Graphes. Par Pierre Thibaud, Éditions de l;'Université de Provence, Aix-en-Provence, 1975. 184 pages (review)Dialogue 16 (4): 746-748. 1977.
-
29La logique et le monde sensible. Par Jules Vuillemin. coll. « Nouvelle bibliothèque scientifique ». Flammarion, Paris, 1971. 349 pages (review)Dialogue 10 (4): 821-822. 1971.
-
28De Kant à Hegel: de la logique transcendantale à la syllogistique dynamiqueHegel-Jahrbuch 2016 (1). 2016.
-
28Logique hégélienne et formalisationDialogue 6 (2): 151-165. 1967.Le problème de la formalisation de la logique hégélienne a fait l'objet récemment d'études d'inspiration et d'importance diverses. II y a d'abord le travail d'envergure de Gotthard Guenther sur le projet d'une logique non-aristotélicienne, le long article de Michael Kosok et la note de F. G. Asenjo.
-
28Jean-Pierre Belna, Cantor, Paris, Les Belles Lettres, 2000, 238 pPhilosophiques 28 (1): 238-239. 2001.
-
27Alain Badiou, Le Nombre et les nombres, Paris, Éditions du Seuil , 1990, 278 pages (review)Philosophiques 20 (1): 204-205. 1993.
-
27Les Constructions des nombres réels dans le mouvement d’arithmétisation de l’analyse (review)Dialogue 43 (1): 190-. 2004.
-
27Les particules et l'univers, sous la direction de Jean Andouze, Paul Musset et Michel Paty, Nouvelle Encyclopédie Diderot, P.U.F., Paris, 1990, 396 p.Les particules et l'univers, sous la direction de Jean Andouze, Paul Musset et Michel Paty, Nouvelle Encyclopédie Diderot, P.U.F., Paris, 1990, 396 p (review)Philosophiques 18 (2): 197-198. 1991.
-
27How the Laws of Physics Lie Nancy Cartwright Oxford: Clarendon Press; New York: Oxford University Press, 1983. 221 pDialogue 23 (3): 522-525. 1984.
-
26Philosophy of Physics. Par Mario Bunge. D. Reidel, Dordrect-Holland/Boston-U.S.A., 1973. 248 pages (review)Dialogue 13 (1): 206-209. 1974.
-
25Michael Friedman, Dynamics of Reason, Stanford, CSLI Publications, 2001, 141 pages.Michael Friedman, Dynamics of Reason, Stanford, CSLI Publications, 2001, 141 pages (review)Philosophiques 31 (1): 269-271. 2004.
-
24Les enjeux du mobile. Mathématique, physique, philosophie Gilles Châtelet Collection «Des Travaux» Paris, Seuil, 1993, 280 p (review)Dialogue 34 (4): 861-. 1995.
-
24
-
24Internal and external consistency of arithmeticLogica Trianguli 5 19-41. 2001.What Gödel referred to as “outer” consistency is contrasted with the “inner” consistency of arithmetic from a constructivist point of view. In the settheoretic setting of Peano arithmetic, the diagonal procedure leads out of the realm of natural numbers. It is shown that Hilbert’s programme of arithmetization points rather to an “internalisation” of consistency. The programme was continued by Herbrand, Gödel and Tarski. Tarski’s method of quantifier elimination and Gödel’s Dialectica interpretat…Read more
Montréal, Quebec, Canada