-
The notion of outer consistency from Hilbert to GödelBulletin of Symbolic Logic 13 (1): 136-137. 2007.
-
La logique interne des théories physiquesRevue Philosophique de la France Et de l'Etranger 185 (3): 357-359. 1995.
-
18Mécanique quantique Louis Marchildon Bruxelles, De Boeck Université, 2000, 524 pDialogue 42 (2): 401-. 2003.
-
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.
-
14Sur la philosophie analytique de la logique et des mathématiques. À propos de Infini, logique, géométrie de Paolo MancosuDialogue 55 (1): 193-201. 2016.I offer a critical analysis of a contemporary work in analytic philosophy applied to epistemology of logic and mathematics. I discuss the reach and limits of Paolo Mancosu’s work, as recently published in a French translation.
-
20Deductive Logic. Par Hugues Leblanc et W. A. Wisdom Allyn and Bacon, Boston, 1972. 367 pages (review)Dialogue 12 (4): 743-746. 1973.
-
12Maurice 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
-
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.
-
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.
-
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.
-
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.
-
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 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.
-
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.
-
27Les Constructions des nombres réels dans le mouvement d’arithmétisation de l’analyse (review)Dialogue 43 (1): 190-. 2004.
-
16Claude-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.
-
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
-
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.
-
23Towards a Philosophy of Real Mathematics David Corfield Cambridge, Cambridge University Press, 2006, 288 pDialogue 47 (3-4): 700-. 2008.
Montréal, Quebec, Canada