t. 1. Relation, formule logique, compacité, complétude.--t. 2. Théorie des modèles.--t. 3. Récursivité et constructibilité.

Une première période où les influences mêlées d’Alessandro Padoa et de Bertrand Russell s’exercent en France culmine avec les essais philosophiques de Jean Nicod. Une seconde période voit fleurir les travaux du mathématicien Jacques Herbrand ; avant de périr, il laisse son nom à un théorème fondamental. Suit une période de débats entre philosophes, mathématiciens et physiciens, stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette (...) Février y esquisse une logique non classique où l’on postule l’existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu’à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l’objet d’études philosophiques d’Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathématique est l’objet de deux contributions : Marc Krasner généralise les conceptions d’Évariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l’évolution des mathématiques, qualifie de structure ce que nous appelons aujourd’hui un modèle. (shrink)

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

Qu'est que la mathematique? Quel role y joue l'intuition? Sur quels principes repose-t-elle? Les Premiers ecrits de Bolzano proposent une reponse. Ils reunissent les oeuvres philosophiques, logiques et mathematiques les plus representatives de la periode de son activite publique, de 1804 a sa revocation de l'universite en 1819, et sont groupes autour de deux textes fondamentaux: les Contributions a un expose mieux fonde de la mathematique (1810) et la Demonstration purement analytique (1817), completee par des extraits de la Theorie des (...) fonctions. Les Contributions, bien que tributaires en partie de Kant, renouvellent l'heritage leibnizien en soulignant le caractere objectif de la science. Accueillies par Goethe - un petit ouvrage distingue par sa valeur et son esprit - et commentees par Husserl, elles constituent une premiere etude moderne des fondements de la mathematique, dont les notions de demonstration et d'organisation deductive du savoir sont les pivots. En annexe, Bolzano offre une critique penetrante de la philosophie de Kant. La Demonstration purement analytique, un petit classique d'histoire et de philosophie de la mathematique, inaugure avant Cauchy l'arithmetisation de l'analyse infinitesimale. Ces ecrits sont precedes d'une Introduction qui les etudie dans leurs contexte politique, culturel et scientifique. (shrink)

Cet article propose une nouvelle approche dans l'analyse et l'interprétation des théories physiques. La théorie des modèles ou sémantique ensembliste est rejetée au profit d'une syntaxe ou théorie des démonstrations qui s'attache d'abord à la structure formelle d'une théorie physique. On donne plusieurs exemples d'une théorie de la preuve , exemples qui relèvent surtout de la mécanique quantique et qui vont dans le sens de la thèse principale de l'auteur : la surdétermination de la théorie physique par sa structure mathématique.This (...) paper deals with a novel approach in the interpretation of physical theories. Model theory or set-theoretical semantics is here replaced by a proof-theoretical analysis which is applied to the formal structure of a physical theory. Many examples are given, mainly in Quantum Mechanics, which aim at illustrating the main thesis of the paper: that a physical theory is over-determined by its mathematical structure and cannot be defined by the class of its empirical structures. (shrink)

Cet article a pour but de faire connaître au lecture une approche théorique de la réalité physique différente de celle communément admise depuis les débuts de la science physique. On y montre d'abord comment l'approche traditionnelle traite avec une notion de l'événement physique et des étres physiques en ǵenéral qui laisse systématiquement de côté ces éléments de complexité considérés trop facilement comme superflus, mais qui appartiennent à la réalité physique et en constituent la trame. On proposera alors une nouvelle approche (...) qui s'avérera complémentaire de l'approche traditionnelle, en mettant en jeu la notion d'événement singulier, caractérisé par son unicité dans l'espace-temps tout comme un fait historique muni de toute sa richesse factuelle qui est la base de son individualité. (shrink)