-
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.
-
30Intuitionistic Logic and Local Mathematical TheoriesMathematical Logic Quarterly 23 (27-30): 411-414. 1977.
-
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
-
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.
-
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
-
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.
-
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.
-
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.
-
28De Kant à Hegel: de la logique transcendantale à la syllogistique dynamiqueHegel-Jahrbuch 2016 (1). 2016.
-
28Jean-Pierre Belna, Cantor, Paris, Les Belles Lettres, 2000, 238 pPhilosophiques 28 (1): 238-239. 2001.
-
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.
-
27Les Constructions des nombres réels dans le mouvement d’arithmétisation de l’analyse (review)Dialogue 43 (1): 190-. 2004.
-
27How the Laws of Physics Lie Nancy Cartwright Oxford: Clarendon Press; New York: Oxford University Press, 1983. 221 pDialogue 23 (3): 522-525. 1984.
-
27Alain Badiou, Le Nombre et les nombres, Paris, Éditions du Seuil , 1990, 278 pages (review)Philosophiques 20 (1): 204-205. 1993.
-
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.
-
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
-
24L'être et l'événement Alain Badiou Collection «L'ordre philosophique» Paris, Éditions du Seuil, 1988. 560 p. 220 FFDialogue 29 (3): 471-. 1990.
-
24
Montréal, Quebec, Canada