Yvon Gauthier

Dans cet ouvrage, les deux oeuvres maîtresses de Hegel, La Phénoménologie de l'esprit et La Science de la logique, forment la trame de fond d'une analyse qui vise à dégager le texte de Hegel de sa gangue métaphysique. Il ne s'agira pas de parler comme Hegel ni de parler contre Hegel, mais d'adopter l'attitude du lecteur critique qui n'est peut-être pas toujours fidèle à l'esprit tout en restant attentif à la lettre. Ma lecture mettra donc l'accent sur le langage de Hegel, son vocabulaire et sa syntaxe, plutôt que sa sémantique qui a une visée idéaliste et que je veux détourner au profit d'une critique constructive, démontage plutôt que déconstruction, de l'échafaudage métaphysique. Sur cette lancée, je chercherai à dégager, sous la phénoménologie de l'esprit, une phénoménologie du langage et, sous la science de la logique, une logique interne du langage. Je fais ici un court bilan de mes travaux sur Hegel autour de la logique dialectique que j'ai rebaptisée syllogistique dynamique.

La logique arithmétique est la logique interne de l'arithmétique, c'est la traduction ou l'interprétation de la logique formelle dans le langage de l'arithmétique. Cette arithmétique n'est pas l'arithmétique formelle de Frege et Peano, mais l'arithmétique classique de Fermat à Kronecker jusqu'à la théorie contemporaine des nombres. L'hypothèse proposée ici suppose qu'après l'arithmétisation de l'analyse, chez Cauchy et Weierstrass, et l'arithmétisation de l'algèbre, chez Kronecker, la logique formelle a amorcé son arithmétisation avec Hilbert pour atteindre son aboutissement avec l'informatique théorique actuelle. Dans cette perspective, la méthode de la descente infinie de Fermat et l'arithmétique générale de Kronecker fournissent une critique constructiviste de l'induction transfinie en même temps qu'une preuve de consistance interne de l'arithmétique polynomiale. La position fondationnelle défendue dans l'ouvrage se réclame du constructivisme logicomathématique et constitue les assises d'un programme qu'on peut bien appeler " logique de la science " après Peirce et Carnap. Le motif recteur des travaux formels est d'ordre philosophique et c'est dans un esprit oecuménique que l'auteur a voulu mener ces recherches.

Dans cet essai de cosmologie sauvage, je ne me suis pas adressé aux marquises et aux abbesses, comme le fit Fontenelle, mon lointain prédécesseur, en son temps. Mon public est profane et il refuse d'emblée la docte ignorance (docta ignorantia) des métaphysiciens et des mystiques, femmes savantes ou esprits crédules. Il se méfie aussi bien des mystifications dont se parent parfois les savants et les scientifiques, aussi bien que des fabulations des auteurs de science-fiction, mais il tend l'oreille souvent aux poètes, écrivains et philosophes inquiets. La cosmologie ou théorie de l'univers est-elle possible et n'est-elle pas limitée par un horizon, l'horizon du visible ou de l'observable? Imaginer un au-delà de l'horizon est la tâche de la cosmologie spéculative qui a remplacé la métaphysique et qui prend alors la relève de la mythologie pour inventer la scène primitive d'une mer originelle. Cette eau originaire, que l'on retrouve chez Thalès dans la philosophie grecque présocratique, n'est pas si éloignée des fluctuations du vide quantique et le mythe de l'océan primitif peut être perçu comme la matrice de toutes les cosmogonies. Mais qui n'abordera jamais les rives de l'origine? La limite antérieure de l'origine rejoint la limite de l'horizon : toutes deux sont récessives et l'on ne peut concevoir l'univers que comme une sphère, ce qu'un autre penseur présocratique, Parménide, avait bien vu. C'est dans cette sphère que l'observateur local se tient et tient ensemble l'origine et l'horizon pour mesurer l'empan de l'univers, avec la Terre en son centre.

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.

In this article, I wish to discuss in an informal way the motivations and the motifs of the constructivist approach to logic and mathematics and by a natural extension to the general field of science, particularly theoretical physics. Foundational questions in those domains are not ruled by philosophical principles, but a critical philosophy of foundations could be the leitmotiv to the extent that it can be used as a criterion to decide between the theoretical options of scientific practices that are often oblivious to their own doctrinal presuppositions. My objective is to provide the justificatory reasons for a constructivist option or posture in the field of scientific knowledge.

Die Arbeit schlägt eine beweistheoretische Analyse der mathematischen Physik im Gegensatz zu gegenwärtigen modelltheoretischen Ansätzen vor. Über eine oberflächliche Analogie hinaus haben beweistheoretische Techniken und Renormalisationsverfahren ein gemeinsames Ziel: die Ausschaltung von Unendlichkeiten in einer konsistenten Theorie. Die Geschichte der Renormalisation in Quantenfeldtheorien wird kurz skizziert und eine allgemeine These über die Natur und Justizfizierung von Theorien in der mathematischen Physik vorgeschlagen. Wir schließen mit den Grundlinien für ein Forschungsprogramm für eine physikalische Logik

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.

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.

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, Dedekind, Husserl and Brouwer. The book will be of primary interest to logicians, philosophers and mathematicians interested in the foundations of mathematics and the philosophical implications of constructivist mathematics. It may also be of interest to historians, since it covers a fifty-year period, from 1880 to 1930, which has been crucial in the foundational debates and their repercussions on the contemporary scene.