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.

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)

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)

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.

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)

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)

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.

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.

L'ouvrage de M. Bitbol est la suite d'un livre qu'il a consacré à la mécanique quantique et dont j'ai rendu compte dans Dialogue. Il s'agit bien d'une suite naturelle à son tour d'horizon de la problématique philosophique de la mécanique quantique. Mais alors qu'il s'aventurait dans quelques-uns des problèmes techniques de la philosophie quantique dans son premier ouvrage original, il se limite ici à un commentaire, philosophique et jamais technique, d'un ouvrage collectif paru sous sa direction : Physique et réalité (...) en hommage à Bernard d'Espagnat. Or, le texte de l'auteur, qui paraît séparément, est pour l'essentiel un commentaire presque littéral des critiques adressées à d'Espagnat et des réponses qu'il a faites, avec une belle générosité faut-il le dire. Nous devons reconnaître à d'Espagnat la paternité—ce que d'autres n'ont pas manqué de faire—du questionnement philosophique de la mécanique quantique en France. Élève de Louis de Broglie, dont il a retenu la méfiance vis-à-vis la «nouvelle» mécanique quantique, il n'a cessé de défendre un réalisme à découvert des Conceptions de la physique contemporaine jusqu'à Le réel voilé. D'Espagnat, à l'origine physicien des hautes énergies comme d'autres, s'est converti à une philosophie transcendantale de seconde «kantisation», si l'on peut se permettre de déformer le terme de seconde quantisation qui appartient à la mécanique quantique et qui signifie que l'on «quantise» un champ plutôt qu'une particule—la première «kantisation» dans le cas de la mécanique quantique aurait été le fait de Cassirer et de G. Hermann dont on vient de redécouvrir Les fondements philosophiques de la mécanique quantique parus en allemand en 1935 et traduits récemment par L. Soler. (shrink)

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)

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».