-
42Leçons sur la première philosophie de Russell. Par J. Vuillemin, Coll. « Philosophies pour l''ge de la science », A. Colin, Paris, 1968. 354 pages (review)Dialogue 10 (2): 391-394. 1971.
-
35Philosophie mathématique. Par Jean Cavaillès. Collection « Histoire de la Pensée », Hermann. Paris, 1962. 274 pages (review)Dialogue 10 (4): 818-821. 1971.
-
38L'Articulation du sens. Par Jean Ladrière. Bibliothèque des sciences religieuses. Desclée de Brouwer, Paris, 1970. 241 pages (review)Dialogue 10 (3): 625-628. 1971.
-
14Construction et structure dynamique des théories physiquesHorizons Philosophiques 2 (2): 51-63. 1992.
-
12L'aveuglante proximité du réel Michel Bitbol Collection «Champs» Paris, Flammarion, 1998, 379 pDialogue 38 (4): 884-. 1999.
-
6Pierre Cassou-Noguès, Gödel, Les Belles Lettres, coll. « Figures du savoir », 2004, 190 pages.Pierre Cassou-Noguès, Gödel, Les Belles Lettres, coll. « Figures du savoir », 2004, 190 pages (review)Philosophiques 32 (1): 269-270. 2005.
-
37Finite Arithmetic with Infinite DescentDialectica 43 (4): 329-337. 1989.SummaryFinite, or Fermat arithmetic, as we call it, differs from Peano arithmetic in that it does not involve the existence of an infinite set or Peano's induction postulate. Fermat's method of infinite descent takes the place of bound induction, and we show that a con‐structivist interpretation of logical connectives and quantifiers can account for the predicative finitary nature of Fermat's arithmetic. A non‐set‐theoretic arithemetical logic thus seems best suited to a constructivist‐inspired …Read more
-
19Mécanique quantique. Une introduction philosophique Michel Bitbol Collection «Nouvelle bibliothèque scientifique» Paris, Flammarion, 1996, 473 p (review)Dialogue 36 (4): 885-. 1997.
-
21Jean-Pierre Belna, Cantor, Paris, Les Belles Lettres, 2000, 238 pPhilosophiques 28 (1): 238-239. 2001.
Montréal, Quebec, Canada