-
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.
-
37L'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.
-
41Leç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.
-
11Pierre 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.
-
64The use of the axiomatic method in quantum physicsPhilosophy of Science 38 (3): 429-437. 1971.Although the introduction of the modern axiomatic method in physics is attributed to Hilbert, it is only recently that physicists and mathematicians have applied it significantly, i.e. on a basis extensive enough to promise fruitful results. Carnap, for one, stresses the importance of the axiomatic method, yet he considers its application in physics as a task for the future.
-
12L'aveuglante proximité du réel Michel Bitbol Collection «Champs» Paris, Flammarion, 1998, 379 pDialogue 38 (4): 884-. 1999.
-
28Jean-Pierre Belna, Cantor, Paris, Les Belles Lettres, 2000, 238 pPhilosophiques 28 (1): 238-239. 2001.
-
36Finite 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
-
18Mécanique quantique. Une introduction philosophique Michel Bitbol Collection «Nouvelle bibliothèque scientifique» Paris, Flammarion, 1996, 473 p (review)Dialogue 36 (4): 885-. 1997.
-
9Introduction à la logique standard, Denis Vernant, Paris : Flammarion, 2001 (Champs Université). 447 p.Introduction à la logique standard, Denis Vernant, Paris : Flammarion, 2001 (Champs Université). 447 p (review)Horizons Philosophiques 12 (2): 141-142. 2002.
-
11
-
4La Logique des sciences socialesDialogue 6 (4): 604-609. 1968.Cette livraison spéciale de l'importante revue philosophique Philosophische Rundschau propose un tour d'horizon critique de la « logique des sciences sociales. » L'auteur, professeur à l'Université de Francfort, nous présente une synthèse magistrale de l'epistémologie contemporaine des sciences sociales en deux cents pages d'un texte serré.
-
11Die Philosophie Carnaps. By Lothar Krauth, Library of Exact Philosophy I, Vienna and New York: Springer, 1970. Pp. 234, $12.60 (review)Dialogue 10 (2): 357-361. 1971.
-
10Metaphysik der Naturwissenschaft. Par Wilhelm Schapp. La Haye, Martinus Nijhoff, 1965, 141 pp (review)Dialogue 6 (2): 276-277. 1967.
-
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.
-
3The theme « Truth and Certainty » is reminiscent of Hegel’s dialectic of prominent in the Phänomenologie des Geistes, but I want to treat it from a different angle in the perspective of the constructivist stance in the foundations of logic and mathematics. Although constructivism stands in opposition to mathematical realism, it is not to be considered as an idealist alternative in the philosophy of mathematics. It is true that Brouwer’s intuitionism, as a variety of constructivism, has idealist…Read more
-
17La théorie de toutes les théories possibles est-elle possible?Dialogue 14 (1): 81-87. 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.
-
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
-
98La descente infinie, l’induction transfinie et le tiers excluDialogue 48 (1): 1. 2009.ABSTRACT: It is argued that the equivalence, which is usually postulated to hold between infinite descent and transfinite induction in the foundations of arithmetic uses the law of excluded middle through the use of a double negation on the infinite set of natural numbers and therefore cannot be admitted in intuitionistic logic and mathematics, and a fortiori in more radical constructivist foundational schemes. Moreover it is shown that the infinite descent used in Dedekind-Peano arithmetic does…Read more
-
20Commentaire de A Model of the Universe de Storrs McCall: Storrs McCaII, A Model of the Universe, New York, Oxford University Press, 1994Philosophiques 22 (2): 481-487. 1995.
Montréal, Quebec, Canada