-
4Logique et philosophiePhilosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 5 567-568. 1988.
-
22Constructivisme et structuralisme dans les fondements des mathématiquesPhilosophiques 1 (1): 83-105. 1974.L'auteur a voulu définir deux orientations principales dans les recherches sur les fondements des mathématiques, le constructivisme et le structuralisme . Il montre à l'aide d'exemples tirés de la théorie axiomatique des ensembles, e.g. l'hypothèse du continu, et de l'intuitionnisme, e.g. la notion de séquence de choix, que les deux approches constituent des voies complémentaires dans les recherches sur les fondements. L'auteur propose quelques idées nouvelles, en particulier sur le continu et l…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.
-
26Philosophy of Physics. Par Mario Bunge. D. Reidel, Dordrect-Holland/Boston-U.S.A., 1973. 248 pages (review)Dialogue 13 (1): 206-209. 1974.
-
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.
-
21La Pensée de l'espace, Gilles Gaston Granger, Paris, Éditions Odile Jacob (Philosophie), 1999, 238 p.La Pensée de l'espace, Gilles Gaston Granger, Paris, Éditions Odile Jacob (Philosophie), 1999, 238 p (review)Horizons Philosophiques 12 (1): 153-154. 2001.
-
46Vérité et vérification en logique mathématique et dans les théories physiquesPhilosophiques 9 (1): 135-145. 1982.Cet article propose une nouvelle approche dans l'analyse et l'interprétation des théories physiques. La théorie des modèles ou sémantique ensembliste est rejetée au profit d'une syntaxe ou théorie des démonstrations qui s'attache d'abord à la structure formelle d'une théorie physique. On donne plusieurs exemples d'une théorie de la preuve , exemples qui relèvent surtout de la mécanique quantique et qui vont dans le sens de la thèse principale de l'auteur : la surdétermination de la théorie physi…Read more
-
38François Rivenc, Introduction à la logique. Préface de Jacques Bouveresse. Inédit, Petite Bibliothèque Payot /14. Paris, 1989, 272 pages.François Rivenc, Introduction à la logique. Préface de Jacques Bouveresse. Inédit, Petite Bibliothèque Payot /14. Paris, 1989, 272 pages (review)Philosophiques 17 (1): 165-166. 1990.
-
47Pierre Cassou-Noguès, Hilbert, Paris, Les Belles Lettres , 2001, 169 pPhilosophiques 29 (2): 391-392. 2002.
-
14Luc Brisson et F. Walter Meyerstein, Inventer l'univers. Le problème de la connaissance et les modèles cosmologiques, Paris, Les Belles Lettres, [L'Âne d'Or], 1991, 209 pages.Luc Brisson et F. Walter Meyerstein, Inventer l'univers. Le problème de la connaissance et les modèles cosmologiques, Paris, Les Belles Lettres, [L'Âne d'Or], 1991, 209 pages (review)Philosophiques 19 (1): 150-155. 1992.
-
105The construction of chaos theoryFoundations of Science 14 (3): 153-165. 2009.This paper aims at a logico-mathematical analysis of the concept of chaos from the point of view of a constructivist philosophy of physics. The idea of an internal logic of chaos theory is meant as an alternative to a realist conception of chaos. A brief historical overview of the theory of dynamical systems is provided in order to situate the philosophical problem in the context of probability theory. A finitary probabilistic account of chaos amounts to the theory of measurement in the line of …Read more
-
21Fondements des Mathématiques. Par Michel Combès. Coll. SUP. Initiation philosophique, P.U.F., 1971. 102 pages (review)Dialogue 11 (1): 172-173. 1972.
-
17Mark Steiner, The Applicability of Mathematics as a Philosophical Problem, Cambridge, Mass., Cambridge University Press, 1998, 215 pages.Mark Steiner, The Applicability of Mathematics as a Philosophical Problem, Cambridge, Mass., Cambridge University Press, 1998, 215 pages (review)Philosophiques 30 (1): 266-267. 2003.
-
20Jean-Louis Gardies, Le raisonnement par l'absurde, Paris, P.U.F., 1991, 206 pages.Jean-Louis Gardies, Le raisonnement par l'absurde, Paris, P.U.F., 1991, 206 pages (review)Philosophiques 20 (2): 513-514. 1993.
-
22A theory of local negation: The model and some applicationsArchive for Mathematical Logic 25 (1): 127-143. 1985.
-
7Sciences et réalité. Gilles-Gaston Granger, Paris : O. Jacob, 2000 (Philosophie). 262 p.Sciences et réalité. Gilles-Gaston Granger, Paris : O. Jacob, 2000 (Philosophie). 262 p (review)Horizons Philosophiques 12 (2): 139-140. 2002.
-
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.
-
4Intuitionistic Logic and Local Mathematical TheoriesMathematical Logic Quarterly 23 (27‐30): 411-414. 1976.
-
17La Logique du nom. Par Fernando Gil. Collection « Essais et philosophie». L'Herne. Paris, 1971. 252 pages (review)Dialogue 12 (1): 183. 1973.
-
Cronología y Topología en el pensamiento de HeideggerDiálogos. Revista de Filosofía de la Universidad de Puerto Rico 5 (11-12): 55. 1968.
-
17La théorie des nombres chez Herbrand et LautmanPhilosophiques 37 (1): 149-161. 2010.Dans cet article, je compare les vues de Lautman et Herbrand sur la théorie des nombres et la philosophie de l’arithmétique. Je montre que, bien que Lautman eût avoué avoir été marqué par l’influence de Herbrand, les postures fondationnelles des deux amis divergent considérablement. Alors que Lautman versait dans un réalisme platonicien, Herbrand est resté fidèle au finitisme hilbertien. Il est vrai que Lautman était philosophe et que Herbrand était avant tout arithméticien et logicien, mais il …Read more
-
115Representing and Intervening: Introductory Topics in the Philosophy of Natural Science Ian Hacking Cambridge: Cambridge University Press, 1983. 287 p (review)Dialogue 24 (1): 162-. 1985.This is a lively and clearly written introduction to the philosophy of natural science, organized around the central theme of scientific realism. It has two parts. 'Representing' deals with the different philosophical accounts of scientific objectivity and the reality of scientific entities. The views of Kuhn, Feyerabend, Lakatos, Putnam, van Fraassen, and others, are all considered. 'Intervening' presents the first sustained treatment of experimental science for many years and uses it to give a…Read more
-
19L'inertie et l'espace-temps absolu de Newton à Einstein. Une analyse philosophique Michel Ghins Bruxelles, Palais des Académies, 1990, 238 p (review)Dialogue 33 (2): 353-. 1994.
-
81Hilbert and the internal logic of mathematicsSynthese 101 (1). 1994.Hilbert's programme is shown to have been inspired in part by what we can call Kronecker's programme in the foundations of an arithmetic theory of algebraic quantities.While finitism stays within the bounds of intuitive finite arithmetic, metamathematics goes beyond in the hope of recovering classical logic. The leap into the transfinite proved to be hazardous, not only from the perspective of Gödel's results, but also from a Kroneckerian point of view.
Montréal, Quebec, Canada