-
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
-
23Towards a Philosophy of Real Mathematics David Corfield Cambridge, Cambridge University Press, 2006, 288 pDialogue 47 (3-4): 700-. 2008.
-
23Entre le temps et l'éternité Ilya Prigogine et Isabelle Stengers Paris, Fayard, 1988, 223 pDialogue 31 (2): 345-. 1992.
-
23De la logique à l’arithmétique. Pourquoi des logiques et des mathématiques constructivistes?Dialogue 57 (1): 1-28. 2018.In this article, I wish to discuss in an informal way the motivations and the motifs of the constructivist approach to logic and mathematics and by a natural extension to the general field of science, particularly theoretical physics. Foundational questions in those domains are not ruled by philosophical principles, but a critical philosophy of foundations could be the leitmotiv to the extent that it can be used as a criterion to decide between the theoretical options of scientific practices tha…Read more
-
23Cahiers de l'Ecole des Sciences Philosophiques et Religieuses, 2-1987, publiés par les Facultés Universitaires Saint-Louis, J. Deleval, Bruxelles.Cahiers de l'Ecole des Sciences Philosophiques et Religieuses, 2-1987, publiés par les Facultés Universitaires Saint-Louis, J. Deleval, Bruxelles (review)Philosophiques 16 (1): 205-206. 1989.
-
23Filosofia della Matematica. Par A. Giacomo Manno. Marzorati, Milano, 1972. 343 pages. 4,000 lires (review)Dialogue 13 (1): 205-206. 1974.
-
23Note sur la syntaxe et la sémantique du concept d’égalitéPhilosophiques 11 (2): 349-352. 1984.Dans cette note, nous étudions la structure logique de la notion d'égalité. Après avoir présenté divers concepts connexes à la notion d'égalité, nous suggérons que les notions de propriétés homotopiques et de propriétés hétérotopiques constituent le support logique et sémantique d'une théorie de l'égalité qui aille au-delà de la pure analyse syntaxique des concepts.In this note, we examine the logical structure of the notion of equality. After having introduced the various concepts which are tra…Read more
-
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
-
22A theory of local negation: The model and some applicationsArchive for Mathematical Logic 25 (1): 127-143. 1985.
-
22Richard Tieszen, Phenomenology, Logic and the Philosophy of Mathematics, Cambridge, Cambridge University Press, 2005, 357 pagesRichard Tieszen, Phenomenology, Logic and the Philosophy of Mathematics, Cambridge, Cambridge University Press, 2005, 357 pages (review)Philosophiques 35 (2): 614-615. 2008.
-
21Marco Panza et Jean-Michel Salanskis , L’objectivité mathématique. Platonismes et structures formelles, Paris, Masson, 1995, X-241 p (review)Philosophiques 24 (1): 217-220. 1997.
-
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.
-
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.
-
21Studien zur Phaenomenologie 1930–1939. Par Eugen Fink. Coll. Phaenomenologica. La Haye, Martinus Nijhoff, 1966, 223 pp (review)Dialogue 6 (2): 278-280. 1967.
-
21Les systémes de la nature Jean Largeault Collection Librairie philosophique Paris: J. Vrin, 1985. 245 pDialogue 25 (2): 384-. 1986.
-
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.
-
20La Parole Malheureuse. Par Jacques Bouveresse. Collection « Critique ». Éditions de Minuit, Paris, 1971, 475 pages (review)Dialogue 11 (3): 480-481. 1972.
-
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.
-
20Gilles-Gaston Granger, L'irrationnel. Paris : Éditions Odile Jacob, 1998, 286 p.Gilles-Gaston Granger, L'irrationnel. Paris : Éditions Odile Jacob, 1998, 286 p (review)Horizons Philosophiques 9 (1): 139-141. 1998.
-
20Deductive Logic. Par Hugues Leblanc et W. A. Wisdom Allyn and Bacon, Boston, 1972. 367 pages (review)Dialogue 12 (4): 743-746. 1973.
-
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.
-
19Yvon Gauthier
-
19Les limites de l'approche empiriste en mécanique quantiqueDialogue 32 (4): 767-. 1993.La thèse centrale de van Fraassen dans son dernier ouvrage est que son interprétation modale de la mécanique quantique constitue une variante admissible de l'interprétation de Copenhague et que cette variante est résolument empiriste. Les moyens mis en œuvre pour défendre la thèse sont considérables – l'auteur fait appel à toutes les ressources de la littérature contemporaine sur la MQ et discute la plupart des auteurs pertinents – et le résultat est à la hauteur des promesses de l'ouvrage. Mais…Read more
-
19Enigmes et Controverses. Par Jean Largeault. Coll. Analyse et Raisons. Paris: Aubier Montaigne 1980. 192 pages (review)Dialogue 20 (4): 820-822. 1981.
-
18Mécanique quantique. Une introduction philosophique Michel Bitbol Collection «Nouvelle bibliothèque scientifique» Paris, Flammarion, 1996, 473 p (review)Dialogue 36 (4): 885-. 1997.
-
18L'activité théorique Jacques Schlanger Coll. Problem`s et Controverses Paris: Librairie philosophique J. Vrin, 1983. 134 p' (review)Dialogue 22 (4): 724-725. 1983.
-
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.
Montréal, Quebec, Canada