-
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.
-
19Mécanique quantique Louis Marchildon Bruxelles, De Boeck Université, 2000, 524 pDialogue 42 (2): 401-. 2003.
-
29Logique 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.
-
9Maurice 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
-
5Philosophie silencieuse ou Philosophie muetteDialogue 15 (2): 296-301. 1976.Ne Fait Pas taire qui veut la philosophic à moins d'être sourd… Ou encore la philosophie est silencieuse qui ne parle plus à personne. On aurait bien du mal à faire renaÎtre la voix de ces philosophies de la science que Desanti n'a pas de peine ' étouffer dans son dernier ouvrage où sont recueillis quelques textes auparavant disséminés dans des revues ou encyclopédies.
-
Logique et fondements des mathématiquesRevue Philosophique de la France Et de l'Etranger 189 (1): 91-92. 1999.
-
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.
-
45Commentaires sur le texte de John WoodsDialogue 12 (1): 61-63. 1973.Le discours fictif présente certaines anomalies qu'il est difficile d'évaluer dans un contexte logique. La sémantique formelle du discours ordinaire doit pouvoir souffrir certaines modifications pour rendre compte des incongruités du discours fictif. Woods, en s'attaquant à un probléme aussi épineux, n'a pas réussi à éviter toutes les épines, malgré un bel arsenal de tactiques.
-
29Le théorème de Gödel. Traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. Sources du savoir, Paris : Éditions du Seuil, 1989, 170 p.Le théorème de Gödel. Traductions de l'anglais et de l'allemand par Jean-Baptiste Scherrer. Sources du savoir, Paris : Éditions du Seuil, 1989, 170 p (review)Philosophiques 17 (1): 157-159. 1990.
-
Hilbert et la logique interne des mathématiquesRevue Internationale de Philosophie 47 (186): 305-318. 1993.
-
12Précis de philosophie analytique. Pascal Engel, Paris : Presses Universitaires de France, 2000 (Thémis Philosophie). 359 p.Précis de philosophie analytique. Pascal Engel, Paris : Presses Universitaires de France, 2000 (Thémis Philosophie). 359 p (review)Horizons Philosophiques 12 (2): 140-141. 2002.
-
29Les Constructions des nombres réels dans le mouvement d’arithmétisation de l’analyse (review)Dialogue 43 (1): 190-. 2004.
-
17Claude-Paul Bruter, Comprendre les mathématiques. Les dix notions fondamentales, Paris: Éditions Odile Jacob, Flammarion, 1996, 293 p. Claude-Paul Bruter, Comprendre les mathématiques. Les dix notions fondamentales, Paris: Éditions Odile Jacob, Flammarion, 1996, 293 p (review)Horizons Philosophiques 8 (1): 147-148. 1997.
-
27Les particules et l'univers, sous la direction de Jean Andouze, Paul Musset et Michel Paty, Nouvelle Encyclopédie Diderot, P.U.F., Paris, 1990, 396 p.Les particules et l'univers, sous la direction de Jean Andouze, Paul Musset et Michel Paty, Nouvelle Encyclopédie Diderot, P.U.F., Paris, 1990, 396 p (review)Philosophiques 18 (2): 197-198. 1991.
-
17Jean Largeault, L'intuitionnisme, Paris, PUF, coll. « Que sais-je ? », 1992, 125 pages.Jean Largeault, L'intuitionnisme, Paris, PUF, coll. « Que sais-je ? », 1992, 125 pages (review)Philosophiques 21 (1): 267-268. 1994.
-
43Logique mathématique et philosophie des mathématiquesDialogue 10 (2): 243-275. 1971.Pour le philosophe intéressé aux structures et aux fondements du savoir théorétique, à la constitution d'une « méta-théorétique «, θεωρíα., qui, mieux que les « Wissenschaftslehre » fichtéenne ou husserlienne et par-delà les débris de la métaphysique, veut dans une intention nouvelle faire la synthèse du « théorétique », la logique mathématique se révèle un objet privilégié.
-
9Fondements des mathématiques: introduction à une philosophie constructivistePresses de l'Université de Montréal. 1976.
-
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
-
5Internal Logic: Foundations of Mathematics from Kronecker to HilbertSpringer Verlag. 2002.Internal logic is the logic of content. The content is here arithmetic and the emphasis is on a constructive logic of arithmetic (arithmetical logic). Kronecker's general arithmetic of forms (polynomials) together with Fermat's infinite descent is put to use in an internal consistency proof. The view is developed in the context of a radical arithmetization of mathematics and logic and covers the many-faceted heritage of Kronecker's work, which includes not only Hilbert, but also Frege, Cantor, D…Read more
-
11La Genèse du concept de l’action intégrative du système nerveuxPhilosophie Et Culture: Actes du XVIIe Congrès Mondial de Philosophie 3 66-69. 1988.
Montréal, Quebec, Canada