Although the introduction of the modern axiomatic method in physics is attributed to Hilbert, it is only recently that physicists and mathematicians have applied it significantly, i.e. on a basis extensive enough to promise fruitful results. Carnap, for one, stresses the importance of the axiomatic method, yet he considers its application in physics as a task for the future.

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.

Hermann Weyl as a founding father of field theory in relativistic physics and quantum theory always stressed the internal logic of mathematical and physical theories. In line with his stance in the foundations of mathematics, Weyl advocated a constructivist approach in physics and geometry. An attempt is made here to present a unified picture of Weyl's conception of space-time theories from Riemann to Minkowski. The emphasis is on the mathematical foundations of physics and the foundational significance of a constructivist philosophical (...) point of view. I conclude with some remarks on Weyl's broader philosophical views. (shrink)

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 demeure que l’oeuvre de (...) Herbrand a une portée philosophique mieux accordée à la logique et aux mathématiques contemporaines.In this paper, I am contrasting Lautman’s and Herbrand’s views on number theory and philosophy of arithmetic. It is argued that despite the fact that Lautman had acknowledged Herbrand’s major influence on his own work, their foundational stances diverge profoundly. Lautman defended a variety of Platonism and Herbrand advocated a personal version of Hilbertian finitism. Of course, Lautman was a philosopher while Herbrand dealt mainly with number theory and logic. It remains though that Herbrand’s work is more in tune with contemporary logic and mathematics from a philosophical perspective. (shrink)

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 interpretation are part and parcel of Hilbert’s finitist ideal which (...) is achieved by going back to Kronecker’s programme of a general arithmetic of forms or homogeneous polynomials. The paper can be seen as a historical complement to our result on “The Internal Consistency of Arithmetic with Infinite Descent” . An internal consistency proof for arithmetic means that transfinite induction is not needed and that arithmetic can be shown to be consistent within the bounds of arithmetic, that is with the help of Fermat’s infinite descent and Kronecker’s general or polynomial arithmetic, thus returning into arithmetic without the detour of Cantor’s transfinite arithmetic of ideal elements. (shrink)

SummaryFinite, or Fermat arithmetic, as we call it, differs from Peano arithmetic in that it does not involve the existence of an infinite set or Peano's induction postulate. Fermat's method of infinite descent takes the place of bound induction, and we show that a con‐structivist interpretation of logical connectives and quantifiers can account for the predicative finitary nature of Fermat's arithmetic. A non‐set‐theoretic arithemetical logic thus seems best suited to a constructivist‐inspired number theory.

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 a quantum-theoretical foundational perspective and the paper concludes on the non-classical internal logic of chaos theory. Finally, deterministic chaos points to a philosophy which asserts that chaotic systems are no less measurable than other physical systems where predictable and non–predictable phenomena intermingle in a constructive theory of measurement. (shrink)

Cet ouvrage aux dimensions réduites est "une introduction thématique à la philosophie des sciences, suivie d'une introduction critique à la problématique actuelle". Une réflexion rigoureuse dont bénéficieront de nombreux lecteurs: étudiants, scientifiques, adultes cultivés.

Il est plutôt rare qu’on rende compte dans une revue philosophique d’un manuel de physique théorique. Dans le cas du présent ouvrage, la chose n’est pas si incongrue puisque l’auteur, physicien québécois, n’est pas étranger aux questions philosophiques et s’est souvent mêlé des débats épistémologiques. En plus, son traité comporte plusieurs chapitres qui intéressent l’épistémologie de la physique tout en étant un manuel d’une envergure comparable aux classiques du genre en langue française, ceux de Cohen-Tannoudji, Messiah, Omnès ou Lévy-Leblond. On (...) y trouvera un exposé complet de l’appareil analytique de la mécanique quantique, des espaces de Hilbert de dimension finie à l’intégrale fonctionnelle de Feynman—avec quelques remarques sur la question délicate de la convergence, puisqu’on sait que l’intégrale de «chemins» n’a pas de justification mathématique «interne»—et au groupe de symétrie de l’hamiltonien pour la dynamique d’un système quantique dont l’évolution temporelle est décrite par l’équation de Schrödinger. Ces matières sont introduites avec force détails et le souci constant des applications, comme en témoigne le chapitre8 sur les solutions numériques et les méthodes d’approximation. Couvrant surtout la physique atomique et moléculaire sans aller jusqu’à la théorie des particules élémentaires et la théorie quantique des champs, l’ouvrage discute du problème de la mesure plus abondamment que le traité standard. C’est là d’ailleurs un des traits distinctifs de l’ouvrage et les chapitres6 sur l’interprétation de la mécanique quantique, 12sur l’opérateur densité et 21sur les corrélations à distance feront l’objet de mon analyse. (shrink)

Dans ce recueil, j'ai voulu regrouper des textes publiés en français et en anglais dans les vingt dernières années; ces textes font écho à mes recherches dans le domaine des fondements de la logique, des mathématiques et de la physique dans une perspective constructiviste depuis un demi-siècle. C'est donc un parcours fondationnel sur la longue durée que j'ai voulu reproduire sans négliger la dimension critique des enjeux scientifiques de la logique, des mathématiques et de la physique avec la vigilance philosophique (...) qui remet aussi bien en question la philosophie traditionnelle dans ses retranchements métaphysiques. Cet assemblage n'est pas un florilège, mais plutôt un pot-pourri de textes parus dans des revues qui ne sont pas facilement accessibles pour les papers en anglais qui composent un medley d'articles scientifiques sans musique, mais avec un leitmotiv et des thèmes majeurs récurrents.J'ai ajouté des commentaires introductifs pour chacun des articles pour les situer dans le temps de leur publication et dans les débats actuels touchant le savoir scientifique."--Page 4 de la couverture. (shrink)

De Platon à Descartes et de Kant à Husserl, les idéalités mathématiques ont constamment été l'objet de l'attention philosophique; pour Platon et Descartes, idéalités discursives et régulatrices, pour Kant et Husserl, idéalités pures et objectives. Chez le dernier, bien que les tentatives inaugurates de philosophie mathématique aient été sévèrement critiquées par un Frege et malgré l'intérêt limité qu'elles ont aujourd'hui pour l'épistémologue des mathématiques, l'idéalité mathématique restera toujours un modèle — au sens d'idéal — épistémologique privilégié. Le Centre des Archives (...) — Husserl de Louvain publiera bientôt, par les soins de H. R. Brennecke de Cologne, un ouvrage réunissant les principaux écrits mathématiques de Husserl — dont la thèse de doctorat sur le calcul des variations écrite sous l'inspiration de Weierstrass, Beiträge zur Variationsrechnung — sous le titre Studia Mathematica. Si Husserl n'a pas pu mener à terme son projet de « Mannigfaltig-keitslehre », théorie des multiplicités — c'est de ce même terme que Cantor avait aussi baptisé sa théorie des ensembles au début — il n'en demeure pas moins que les analyses phénoménologiques ne sont pas dépourvues d'intérêt pour la doctrine de la science contemporaine et peuvent même constituer le langage approprié pour l'épistémologue des sciences naturelles ou sociales. C'est cela même que semble récuser Desanti, du moins pour l'épistémologie mathématique. Disons tout de suite que Desanti se défend mal d'utiliser le langage phénoménologique et s'il le conteste, c'est peut-être qu'il n'est pas parvenu à le dé-construire totalement, selon l'expression de Derrida. (shrink)

Le petit ouvrage de Michel Bourdeau dans cette élégante collection des Presses Universitaires de France a des prétentions modestes, comme l'exige d'ailleurs la vocation pédagogique de la collection. Il s'agit d'une introduction philosophique au programme de l'intelligence artificielle. L'auteur voudra aborder la problématique par la voie historique et dans un esprit informel, tout en espérant faire la part de la pensée symbolique et de l'intuition en deux temps «La préhistoire de l'intelligence artificielle» et «Éléments d'une théorie de l'intuition».

Un lecteur n'estjamais seul et un auteur, même polycéphale, n'est qu'un ventriloque insulaire. D'oú on peut tirer quelques avantages pour l'édification de l'un et le redressement de l'autre. La lecture prudente de François Lepage m'invite à un excés de vertu que j'étalerai en quatre points et le manque d'éthique qu'il me reproche à bon droit trouvera ici une confirmation nouvelle.

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 new direction to debates about realism. Hacking (...) illustrates how experimentation often has a life independent of theory. He argues that although the philosophical problems of scientific realism can not be resolved when put in terms of theory alone, a sound philosophy of experiment provides compelling grounds for a realistic attitude. A great many scientific examples are described in both parts of the book, which also includes lucid expositions of recent high energy physics and a remarkable chapter on the microscope in cell biology. (shrink)

Ce recueil comporte les traductions de textes classiques de Bolzano à Kronecker sur ce que Felix Klein a baptisé l’arithmétisation de l’analyse. L’auteure y a ajouté des commentaires introductifs d’ordre biographique et des notes explicatives à contenu technique et biblio-graphique. Ces commentaires et ces notes sont souvent utiles, mais on pourra sou-ligner leur manque de pertinence à l’occasion.