-
12Révolutions de la Science et Permanence du Réel. Par Paul Scheurer. Paris : Presses Universitaires de France. 1979. 366 pages (review)Dialogue 20 (4): 815-817. 1981.
-
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
-
28Logique 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.
-
35Le 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.
-
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.
-
44Commentaires 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.
-
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.
-
12Une théorie de la négation et de la complémentation localesDialogue 22 (1): 57-68. 1983.Les questions fondationnelles en logique et en mathématiques, les questions de fond et de fondements sont-elles des questions qui relèvent de la foi ou de la croyance ou des questions susceptibles d'analyse rigoureuse et philosophiquement décidables? C'est cette interrogation que je veux développer et à laquelle j'apporterai une réponse personnelle.
-
27Les 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.
-
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
-
23Towards a Philosophy of Real Mathematics David Corfield Cambridge, Cambridge University Press, 2006, 288 pDialogue 47 (3-4): 700-. 2008.
-
31Jean 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é.
-
13Margaret Morrison, Unifying Scientific Theories. Physical Concepts and Mathematical Structures, Cambridge, Cambridge University Press, 2000, 272 pages.Margaret Morrison, Unifying Scientific Theories. Physical Concepts and Mathematical Structures, Cambridge, Cambridge University Press, 2000, 272 pages (review)Philosophiques 30 (1): 263-266. 2003.
-
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.
-
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.
-
46L'Inconscient , édité par Henri Ey et A. Green. Bibliothèque neuro-psychiatrique de langue française. Desclée de Brouwer, Paris, 1966. 424 pages (review)Dialogue 7 (4): 643-646. 1969.
-
27How the Laws of Physics Lie Nancy Cartwright Oxford: Clarendon Press; New York: Oxford University Press, 1983. 221 pDialogue 23 (3): 522-525. 1984.
-
4Langage et psychanalyseDialogue 7 (4): 633-638. 1969.Le problème du statut épistémologique de la psychanalyse et la question de son fondement et de sa place dans l'éventail des sciences humaines prennent un sens nouveau avec l'introduction des perspectives structurales auxquelles le psychanalyste français Lacan initie ses élèves depuis plus de quinze ans dans un enseignement que Ton peut bien qualifier d'ésotérique. Auparavant disséminée dans des articles qu'il n'était pas toujours facile de repérer, la pensée de Lacan nous est maintenant accessib…Read more
Montréal, Quebec, Canada