-
35Why is there philosophy of mathematics at all?Ian Hacking cambridge, cambridge university press, 2014 (coll. «Cambridge companion to utilitarIanism»), 290 P (review)Dialogue 53 (4): 740-743. 2014.
-
18Le passage au matérialisme. Par Pierre Raymond. Collection: Théorie. Paris, Maspéro, 1973Dialogue 14 (1): 180-183. 1975.C'est un thème husserlien que je veux traiter dans mon exposé, un thème qui relève de la philosophie husserlienne de la logique. Celui de la «Mannigfaltigkeitslehre» ou doctrine de la multiplicité. J'exposerai brièvement ce thème et j'essaierai ensuite d'en donner une version moderne qui soit à la fois une critique et un renouvellement des intentions de Husserl.
-
18Mécanique quantique Louis Marchildon Bruxelles, De Boeck Université, 2000, 524 pDialogue 42 (2): 401-. 2003.
-
6Théorétiques, pour une philosophie constructiviste des sciencesLongueuil, Québec, Canada: Préambule. 1982.
-
11Ilya Prigogine. La fin des certitudes. Odile Jacob, Paris, 1996. Ilya Prigogine. La fin des certitudes. Odile Jacob, Paris, 1996 (review)Horizons Philosophiques 7 (1): 129-131. 1996.
-
35An Introduction to the Philosophy of Time and Space. Par Bas C. van Fraassen. New York, Random House, 1970. 225 pages (review)Dialogue 10 (1): 199-201. 1971.
-
La logique interne des théories physiquesRevue Philosophique de la France Et de l'Etranger 185 (3): 357-359. 1995.
-
12Maurice Caveing, Le problème des objets dans la pensée mathématique, Paris, Vrin, coll.«Problèmes et controverses», 2004, 286 pages. Maurice Caveing, Le problème des objets dans la pensée mathématique, Paris, Vrin, coll.«Problèmes et controverses», 2004, 286 pages (review)Philosophiques 32 (2): 472-474. 2005.
-
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
-
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.
-
20Deductive Logic. Par Hugues Leblanc et W. A. Wisdom Allyn and Bacon, Boston, 1972. 367 pages (review)Dialogue 12 (4): 743-746. 1973.
Montréal, Quebec, Canada