Quoi de plus inerte que les objets mathématiques. Rien ne les distingue de la pierre et pourtant, à les considérer dans leur perspective historique, ils semblent bien ne pas être aussi dénués de vie qu’il n’y paraı̂t. Conçus par l’homme, ils laissent entrevoir le souffle qui les anime. Pris dans les rets d’un langage, ils ne peuvent se séparer de la forme que les forces tensives qui les contraignent leur ont donnée. S’ils n’ont pas de vocation biologique spécifique, (...) ils sont pour autant toujours et avant tout des possibilités de vie, des objets de puissance. Bien qu’ils ne connaissent ni la douleur, ni le rire, ils ont par leur mode ou leur style d’existence une forme de vie singulière qui structure le donné ou la matière des autres entités auxquels ils participent. De ce fait, en s’immisçant dans l’armature de ces entités, ils conditionnent leur forme d’espace, les enjoignant de se plier à une charpente qu’elles n’ont pas choisie. (shrink)

L’article décrit trois statuts que l’on peut envisager en philosophie pour l’objet mathématique : le statut de point d’appui pour un discours que l’on tient par avance pour vrai (_l’objet_ _enfant de la vérité_), le statut d’objet qui se présente et que l’on connaît en tant qu’il se présente (_l’objet_ _se présentant_), et finalement le statut métaphysique d’objet se répétant, donnant lieu à de la différence sans concept (_l’objet idéal, faisant défaut à son identité_). Les trois statuts sont pris au (...) sérieux et considérés comme correspondant à des intérêts légitimes. Dans le cours de la discussion, on croise le dilemme de Benacerraf, le débat Brouwer-Hilbert et diverses conceptions kantiennes ou husserliennes. (shrink)

Reviewed by F. PATRAS, Laboratoire J.-A. Dieudonné, Université Côte d'Azur and CNRS, Nice, France. [email protected] those who are interested in Husserl’s philosophy of mathematics and its links w...

_Dominique Pradelle. ** Intuition et idéalités. Phénoménologie des objets mathématiques _ [Intuition and idealities: Phenomenology of mathematical objects.] Collection Épiméthée. Paris: PUF [Presses universitaires de France], 2020. Pp. 550. ISBN: 978-2-13-082237-0.

Au xviie siècle, la question de la durée de la vie fait l’objet d’un nouveau traitement en termes d’arithmétique politique. Cette mathématisation, avec la construction de la notion de « vie moyenne », permet une intégration de l’art de prolonger la vie aux techniques de gouvernement. Élaborée dans le cadre des pratiques financières de rentes viagères, la notion émigre vers l’économie politique, où la vie n’est plus conçue comme support d’intérêts mais comme force productive. Le problème se pose alors en (...) termes de philosophie politique : le pouvoir peut-il se fonder sur des impératifs de maximisation de la vie moyenne pour contraindre ses sujets ? La question fut posée au sujet de l’inoculation de la petite vérole. Dans le débat qui déchira les Lumières françaises, c’est en réalité la question du fondement de ce que Michel Foucault appelait le biopouvoir qui est en jeu. (shrink)

En deux parties: pensée logico-mathématique et psychologie; pensée logico-mathématique et sciences cognitives.

L’objectif de cet article est de rendre compte de la création et de la transmission d’un savoir mathématique lié aux combinaisons par le biais d’un support matériel particulier : les pavés mi-partis. Ces derniers sont des carrés du plan divisés par une diagonale en deux parties de couleur différente. Tour à tour objet d’ornement, objet de réflexion mathématique à partir du xviiie siècle grâce au Mémoire sur les combinaisons du père Truchet à l’Académie royale des sciences, objet pédagogique dans les (...) Récréations mathématiques d’Édouard Lucas au xixe siècle ou objet ludique, le pavé mi-parti présente une patrimonialisation originale d’un savoir mathématique, porté par un objet souvent considéré comme un simple jouet. (shrink)

La mathématique est conditionnée par un objet formel constructif. De même, la logique. L’objet formel est identique pour les deux disciplines. Il est de nature rameuse. L’auteur donne quelques indications sur la théorie des ramifications qu’il a instituée. Il termine en signalant que la logique des prédicats et la distributivité du produit logique ont pour objet véritable la variété multidimensionnelle discrète des mathématiciens, un objet dont la genèse rameuse est une pièce importante de sa théorie.

Les mathématiques peuvent-elles s'appliquer avec succès en philosophie et dans les sciences humaines? Sont-elles, au contraire, réservées au physicien? Loin de se laisser abuser par les discours qui ne voient dans les mathématiques qu'un moyen de sélection et de contrôle, ou un simple langage au service de l'interrogation de la nature, le texte suggère que la véritable puissance de la discipline est à chercher dans son pouvoir d'exprimer la cohérence du monde, grâce à des modèles qui résument les (...) situations et en révèlent l'essence. En ce sens, les mathématiques intéressent le philosophe - non comme objet épistémologique, mais comme outil systématique. Le mathématicien, quant à lui, trouvera ici réunies un ensemble d'informations inédites sur l'origine philosophique des structures qu'il utilise quotidiennement. (shrink)

L’œuvre mathématique de La Ramée est constituée d’ouvrages publiés tout au long de sa carrière. Les éditions abrégées des Éléments d'Euclide, ses manuels d’arithmétique et de géométrie plusieurs fois remaniés, un court traité d’algèbre ainsi que les Scholae mathematicae de 1569 sont autant d’ouvrages dans lequels il met en œuvre une réforme des mathématiques héritées et de leur enseignement. Des justifications de cette réforme apparaissent dans les trois livres d’un Prooemium mathematicum portant sur l’histoire des mathématiques, la défense (...) de leur « utilité » et une critique sévère de l’exposé euclidien. Pour autant, l’œuvre mathématique de La Ramée ne doit pas être mise à part de l’œuvre philosophique qu’il élabore par ailleurs. Dans cet article, je m’efforce de le montrer en m’interrogeant d’abord sur les raisons qui ont poussé La Ramée à se tourner, au début de sa carrière, vers les mathématiques ; l’examen du livre I du Prooemium mathematicum me permet ensuite d’examiner le rôle que jouent Platon, Aristote et Euclide dans son histoire des mathématiques. Finalement, je suis amené, en abordant la critique raméenne de l’ « abstraction » pythagoricienne, à chercher dans les éditions de la Dialectica et les Scholae in liberales artes les éléments d’une « philosophie des mathématiques » – conception originale de la nature des objets mathématiques et de la façon dont on accède à leur connaissance – qui offre une certaine lumière sur la réforme des mathématiques qu’entreprend La Ramée. (shrink)

La centralité du chapitre A6 dans la composition du livre A de la Métaphysique a été justement soulignée : Aristote ne reconstitue pas ici une philosophie du passé, comme il l’avait fait dans les chapitres précédents, depuis ses origines jusqu’aux Pythagoriciens, mais traite de la philosophie du présent, celle de Platon et de son école, l’Académie, dont il avait été un élève pendant vingt ans. Le texte peut être divisé en trois parties principales : la première (987a29-b14) est une « (...) généalogie » du platonisme classique, celui que l’on retrouve dans les dialogues platoniciens, c’est-à-dire un dualisme ontologique de Formes intelligibles et de corps sensibles liés par une relation, qu’Aristote considère comme obscure et inexpliquée, de participation. La troisième partie (987b18-988a17) expose plutôt une doctrine platonicienne absente des dialogues, c’est-à-dire les causes et principes des Formes intelligibles, l’Un et la Dyade Indéfinie. Mais le passage sur lequel je m’attarderai est plutôt une étape intermédiaire entre la première et la troisième partie, qui introduit, à côté du dualisme ontologique classique de la première partie, des objets intermédiaires (μεταξύ) entre les Formes intelligibles et les corps sensibles, c’est-à-dire les objets des mathématiques (τὰ μαθηματικά) : l’ontologie platonicienne est donc une ontologie triadique. La conclusion du chapitre (988a7-17) résume l’ontologie platonicienne, mais sans mentionner les objets mathématiques. Dans cet essai, je traiterai de deux questions concernant l’ontologie triadique du platonisme, à savoir l’existence intermédiaire des entités mathématiques et ce que signifie être un intermédiaire entre les αἰσθητά et les εἴδη, en particulier la relation entre les objets mathématiques et la sphère des sensibles. La méthode suivie sera celle d’une « lecture lente » du texte, selon la formule proposée par Nietzsche, c’est-à-dire une lecture attentive avant tout aux détails plutôt qu’à l’ensemble du texte. (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é.

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)

La manière dont Jacob Klein rend compte de l’historicité propre aux unités de base de la signification dans la pensée de la Grèce ancienne ainsi que de l’Europe moderne est présentée et étudiée en relation au « sens de l'être » dans la pensée phénoménologique heideggerienne et à la conception husserlienne de la signification ontologique instrumentale du calcul symbolique. Sur le fond des reconstructions kleiniennes des nombres éidétiques dans le Sophiste de Platon et de l’ontologie cartésienne des objets (...) class='Hi'>mathématiques indéterminés, deux affirmations se trouvent avancées, à savoir (1) que la composition « artithmologique » de l'être dans le Sophiste de Platon représente un défi par rapport au caractère prétendument fondamental du « sens » dans l’historicité heideggerienne de l’être et (2) que la constitution de la conceptualité propre aux unités de base du calcul symbolique excède celle de la conception husserlienne de leur « simple » instrumentalité. (shrink)

Résumé — L’objet de cet article est de chercher à déterminer quel est le statut des possibles en mathématiques en montrant comment, à partir de l’analyse proposée par Kripke du mécanisme des illusions modales, il serait possible, conformément aux intuitions initiales de Putnam, de concilier réalisme et modalités. Si l’enjeu du réalisme mathématique est en effet de rendre compte de l’objectivité des mathématiques et non de l’existence de prétendus objets, nous pouvons concevoir une forme de réalisme qui (...) ne sacrifierait pas une réelle ouverture des possibles, pour peu que l’on apprécie dans toute sa complexité la double spécificité sémantique que constituent, en mathématiques, le recours aux descriptions imparfaites et la concurrence des langages.— Are there Kripkean metaphysical possibilities in mathematics ? Or should we stick to epistemic possibilities ? Generalizing the Kripkean account of the mechanism generating modal illusions, this paper investigates how we could make mathematical realism and modal knowledge compatible. Following Putnam’s insight according to which realism should deal with objectivity of mathematics rather than with mathematical objects, I’ll try to sketch a variety of modal knowledge rooted in a twofold semantic fact, peculiar to mathematics, viz. the use of imperfect descriptions and the stacking up of alternative language levels. (shrink)

English summary: This volume offers French readers important texts of modern philosophical mathematics, addressing in particular ontological questions and others on mathematical objects, how to demonstrate the need for mathematical truths, and how to explain that mathematics apply to the real world. French description: Le compagnonnage entre la philosophie et les mathematiques ne date pas d'hier. Mais l'emergence des nouvelles logiques, au debut du XXe siecle, a profondement modifie la forme des interactions entre les deux disciplines, suscitant de nouvelles interrogations (...) et modifiant la formulation des problemes herites de la tradition. Ce premier volume vise a rendre accessible aux lecteurs francophones des textes importants de la philosophie contemporaine des mathematiques. Il est plus particulierement consacre aux questions ontologiques et a celles liees aux fondements: Qu'est-ce qu'un objet mathematique? Comment rendre compte de la necessite des verites mathematiques? Comment expliquer que les mathematiques s'appliquent au monde reel? (shrink)

« On Mathematical Concepts of the Material World » a pour objet la revue systématique des formes mathématiques que les théories physiques possibles revêtiraient si elles exprimaient les relations entre entités réelles dans un univers en devenir. Songeant à l’unification des lois de l’électricité et du magnétisme que les équations de Maxwell réalisent, Whitehead fait un pas de plus et imagine l’unification des lois de l’électromagnétisme et de la gravité : les lois ultimes de l’univers « ne présupposeraient pas (...) la géométrie, elles la créeraient ». L’esprit n’a pas à élaborer par lui-même la mathématisation du réel, mais à percevoir l’armature mathématique cachée du monde de l’expérience. Il n’y a donc pas à disjoindre science et perception mais à réveiller dans l’acte de percevoir les relations mathématiques dormantes.The object of « On Mathematical Concepts of the Material World » is to review systematically the mathematical forms that possible theories in physics would take on if they expressed the relationship between real entities in an evolving universe. Referring to how Maxwell brought together the laws of electricity and of magnetism Whitehead went one step further and imagined the unification of electromagnetism and gravity laws : the ultimate laws of the universe « would not presuppose geometry but create it ». The function of the spirit is not to construct the mathematisation of reality alone, but to perceive its hidden mathematical framework. It should not separate science and perception but, in the act of perception, awake sleeping mathematical relationships. (shrink)

Qu'est-ce qui relie, dans les tréfonds de notre être-au-monde, les entreprises créatives de la musique et des mathématiques? Qu'est-ce qui fait des mathématiques une musique des nombres et de la musique une mathématique des sons? Cet ouvrage essaye de répondre à ces questions. Prenant son départ dans la phénoménologie de l'acte créatif, l'analyse atteint la région où la phénoménologie touche la dimension du symbolique. C'est la volonté de rester dans ce no man's land, là où les dimensions du (...) phénoménologique et du symbolique s'entrecroisent et se mélangent, qui permet d'apercevoir la place où chaque homme impliqué dans l'activité créatrice trouve ses moyens et ses limites. La constitution d'un espace-temps qui est, en même temps, mathématique et musical, est le centre de cette entreprise. Le milieu où le musical et le mathématique se transforment et se confondent l'un dans l'autre devient alors le lieu où l'analyse peut étudier des objets qui ne sont pas complètement donnés, des objets qui demeurent in fieri. Ces constitutions partielles, toujours sur le point de se condenser en produits de la langue logique ou de disparaître dans une sorte de babillage créatif, assurent la tenue et la possibilité des institutions symboliques des mathématiques et de la musique. Mais surtout ces objets assurent l'étrange capacité de ces deux institutions symboliques : la capacité de se nourrir et de proliférer mystérieusement de et sur elles-mêmes, en y trouvant les raisons de leur futur. (shrink)

Avec l'essor des journaux spécialisés, le paysage éditorial mathématique évolue considérablement pendant la première moitié du xixe siècle. Parallèlement, la publication des Disquisitiones arithmeticae de Gauss en 1801, avec son introduction de la notion de congruence, marque l'histoire de la théorie des nombres. Cet article propose une analyse de la double évolution du paysage éditorial et des congruences dans la première moitié du xixe siècle, en se concentrant sur les circulations mathématiques. Après avoir identifié le corpus des textes par (...) lesquels la notion de congruence circule, nous en dressons un portrait général avant de nous focaliser sur des cas d'étude particulièrement significatifs. Congruences et périodiques sont ainsi envisagés, tour à tour, comme des objets et des moyens d'étude. (shrink)

RésuméLa qualité essentielle d'un mathématicien est l'imagination; la logique ne sert qu'à mettre les démonstrations sous une forme irréfutable, elle est incapable de les suggérer. L'imagination se fonde sur une sorte d'« intuition » des objets mathématiques étudiés, mais cela n'a que très peu de contact avec ce qu'on appelle d'ordinaire l'« intuition » sensible, les objets mathématiques considérés étant le plus souvent l'aboutissement d'un long processus d'abstraction qui leur ǒte toute possibilité de représentation concrète. Cette (...) « intuition » mathématique est avant tout le résultat d'une longue familiarité avec le sujet étudié; mais en outre il peut s'opérer des « transferts » d'intuition d'une théorie dans une autre; on en donne quelques exemples qui font ressortir la fécondité de tels transferts. (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)

Résumé Cet article présente l’analyse d’une expérience de construction de savoirs mathématiques en rapports avec les machines, dans les années 1950 et 1960, à une époque où le calcul analogique cohabitait avec le calcul digital (c’est-à-dire le futur « ordinateur », terme introduit dans la langue française pour désigner principalement les « digital computers »). Les mathématiques en jeu relèvent des théories des systèmes dynamiques, c’est-à-dire des outils mathématiques construits pour comprendre la dynamique de différents types de (...) systèmes, qu’ils soient mathématiques, physiques, biologiques, mécaniques, etc. L’objet du présent article est à la fois un groupe de chercheurs, leurs pratiques de « mathématiques pour l’ingénieur », leurs efforts pour construire des calculateurs analogiques (mécanique ou électronique) pour étudier la dynamique, le programme baptisé « Dynamique théorique » qu’ils se sont fixés, et l’épistémologie des mathématiques sous-tendant leur pratique. (shrink)

Cet article propose une vue d’ensemble de la doctrine des Intermédiaires mathématiques (τὰ μεταξύ) qu’Aristote attribue à Platon dans sa Métaphysique, des objections qu’Aristote lui adresse et des questions philosophiques qu’elle soulève. Suivant Aristote, Platon avance que les vérités de la géométrie et de l’arithmétique ne peuvent pas porter sur des objets perceptibles ni sur des Formes, mais doivent porter sur une troisième classe d’entités intermédiaires entre les deux. Je soutiens que la critique d’Aristote la plus efficace de (...) cette doctrine montre que les raisons avancées en faveur de l’existence des Intermédiaires par les Platoniciens ne sont pas concluantes, mais ne peut pas montrer qu’ils n’existent pas. En m’appuyant sur quelques remarques de David Ross sur la démarche d’Aristote, je soutiens également que, s’il est vrai que le fait que toute science est caractérisée par des propositions de la forme « Tout F est G » n’implique pas qu’elle porte sur des entités intermédiaires, il peut y avoir des raisons pour accepter leur existence eu égard à une science mathématique en particulier, à savoir la géométrie. (shrink)

La philosophie de Quine n'aurait pas lieu d'être s'il y avait des propositions. L'existence de celles-ci rangerait la logique aux côtés des mathématiques ; la rupture entre, d'une part, la science et, d'autre part, le langage et le sens commun serait alors établie et le programme empiriste devrait renoncer à rendre compte du fait de la science ; ce qui était précisément son but initial. Quine a si brillamment analysé les difficultés de la notion de proposition , qu'on a (...) peu songé à examiner la nature de ce par quoi il les remplace : les énoncés. En s'appuyant sur des considérations élémentaires ressortant à des matières scientifiques philosophiquement neutres, on tente de montrer que la notion d'énoncé n'est :ni logiquement distincte de la notion de proposition : c'est une notion confuse ;ni linguistiquement claire : c'est une notion obscure. (shrink)

L'objectivité mathématique est le point de mire de nombreux débats logiques et philosophiques. L'opposition platonisme-nominalisme héritée de la tradition a évolué vers une discussion plus technique, qui conjugue des positions fines et complexes. Logiciens, mathématiciens et philosophes décrivent dans cet ouvrage le déplacement progressif de la question de l'objet non sensible vers celle, plus ancrée dans la pensée mathématique, de l'objet infinitaire ou de l'objet structural. Les compétences multiples mises ici à contribution font apparaître que les positions "platoniciennes" sont aujourd'hui (...) non seulement possibles, mais plurielles et, pour beaucoup d'entre elles, affranchies de tout ontologisme sommaire. La discussion confronte la pensée platonicienne aux enjeux logico-mathématiques contemporains et dégage ainsi la pertinence critique du platonisme mathématique. L'ouvrage aborde eh outre la question proprement dite des fondements des mathématiques. Les thèmes majeurs sont débattus sous des angles variables et opposés : finitarisme et constructivité, la portée et la légitimité des axiomes infinitisants de la théorie des ensembles, la valeur gnoséologique de la théorie des modèles... Les résultats les plus récents dans ces domaines sont mis en perspective au sein de nouvelles antinomies et d'une problématique qui évolue. (shrink)

De 1905 à 1922, l uvre d'Alfred North Whitehead a pour but principal de montrer comment les objets fondamentaux de la géométrie, de la physique et de la perception sont abstraits à partir d'un seul et unique type d' entités définies comme les éléments ultimes de l'expérience sensible : les événements. WHitehead développe dès lors la méthode de l'abstraction extensive : un modèle logico-mathématique qui permet d'exprimer ces différents types d'objets dans les termes mêmes des événements et de (...) leurs relations. L'élaboration d'un concept événementiel de nature constitue l'une des principales lignes de force des recherches whiteheadiennes : l'identité doit être définie dans les seuls termes des événements. (shrink)

La recherche historique dans le cours du dernier demi-siècle a amélioré notre connaissance des mathématiques de I 'Antiquité. Les textes en provenance d'Égypte et de Mésopotamie ont été mieux compris et leur interprétation a dépassé l'alternative sommaire entre empirisme et rationalisme. Le panorama offert par la science grecque s'est enrichi et diversifié: il n'est plus possible de le réduire à la seule théorie géométrique. Les principaux problèmes que posait son histoire ont été l'objet de discussions approfondies. À partir de (...) là des questions plus générales d'ordre épistémologique et philosophique sont soulevées. Y a-t-il un sens à chercher dans un lointain passé une « origine » unique des mathématiques? Quel rapport y at- il entre la forme des mathématiques dans une civilisation et la structure de la société? L'anthropologie culturelle peut-elle aider à interpréter la diversité et l'unité des mathématiques des divers peuples? À partir de quand et sous quelles conditions une histoire unique des mathématiques peut-elle commencer? (shrink)

Mes réflexions sur Meyerson et les mathématiques ont pour origine trois questions : 1) Une idée reçue est que, des trois synthèses de Meyerson -- Identité et réalité, De l'explication dans les sciences et Du cheminement de la pensée -- , seule la dernière analyse les mathématiques, en elles-mêmes aussi bien que dans leurs rapports avec la pensée. La première question est donc de déterminer si cette idée reçue est correcte ou bien si l'on peut trouver dans les (...) deux autres ouvrages des indications significatives sur le statut des mathématiques et sur leur fonction dans une théorie de la connaissance. 2) La deuxième question consiste à examiner une autre idée reçue, cautionnée cette fois par Meyerson. À plusieurs reprises, ce dernier a déclaré qu'il avait répété la même chose dans tous ses ouvrages : les outils conceptuels seraient restés identiques, mais appliqués à des objets ou dans des domaines divers, de la physique quantique à la pensée primitive. Il s'agit dans ce cas de savoir si cette déclaration est fondée, ou bien plutôt si l'on doit, par-delà l'identité des termes, souligner l'existence de différences de signification ou d'application telles que l'identité des outils conceptuels en devient problématique. 3) Meyerson s'est trouvé confronté à un ensemble d'épistémologues que, reprenant une expression de Léon Brunschvicg, il qualifie d'idéalistes mathématiques, d'un côté l'école de Marbourg avec Ernst Cassirer, Paul Natorp et Hermann Cohen, de l'autre, Gaston Milhaud, mais surtout Brunschvicg lui-même . S'il s'avère qu'il y a des thèses sur les mathématiques ailleurs que dans Du cheminement de la pensée, et qu'il y a certains infléchissements d'un lieu à l'autre de son œuvre, on peut se demander dans quelle mesure les critiques adressées à l'idéalisme mathématique ont évolué. Dans cet article, j'analyse les trois synthèses de Meyerson avec ces trois questions en arrière-plan : je ne les examine pas explicitement l'une après l'autre, ni a fortiori dans un ordre prédéterminé, mais plutôt de biais et au fur et à mesure qu'elles interviennent. (shrink)

Le mathématicien au travail sait faire un geste que l'on appelle la« pulsation mathématique», qui s'exprime en tennes de bougé créatif nécessaire dans les diagrammes de pensée et d'interprétation des écrits mathématiques. Dans cette perspective Je statut d'objet est définitivement en révision, sous condition du jeu des relations. Le but ici est de construire aujourd'hui cette pulsation à partir de ce que Bachelard proposait hier comme épistémologie, aussi bien de la mathématique que de la science dite physique mathématique. Les (...) liens entre la pensée bachelardienne et les propositions plus récentes de Gilles Châtelet, Charles Alunni, ou René Guitart, sont mis en relief ainsi que ceux d'autres auteurs comme Jacques Lacan, Arthur Koestler, Alfred N. Whitehead, Charles S. Peirce. Nous proposons que le travail mathématique soit pensable comme du mouvement dans l'espace des diagrammes, du bougé pulsatif en icelui, et que cette manière de voir soit éminemment compatible avec la vue bacheJardienne suivant laquelle la forme intellectuelle précède l'objet empirique, lequel provient in fine, comme d'une concrétion de la pulsation de la pensée. Nous terminons donc sur un schème catégoricien de la pulsation. (shrink)

Dans ce texte, je pars de l’analyse intuitionniste de la vérité mathématique, « A est vrai si et seulement s’il existe une preuve de A » comme cas particulier de l’analyse de la vérité en termes de « vérifacteur », et je montre pourquoi Wittgenstein partageait celle-ci avec les intuitionnistes. Cependant, la notion de preuve à l’oeuvre dans cette analyse est, selon l’intuitionnisme, celle de la « preuve-comme-objet », et je montre par la suite, en interprétant son argument sur le (...) caractère « synoptique » des preuves, que Wittgenstein avait plutôt en tête une conception de la « preuve-comme-trace ».In this paper, I start with the intutionist analysis of mathematical truth, « A is true if and only if there exists a proof of A », as a particular case of the analysis of truth in terms of « truth-makers », and I show why Wittgenstein shared it with the intuitionists. However, the notion of proof at work in this analysis is, according to intuitionism, that of « proof-as-object », and I then show, with an interpretation of his argument on the « surveyability » of proofs, that, instead, Wittgenstein had in mind a notion of « proof-as-trace ». (shrink)

Cette édition numérique a été réalisée à partir d'un support physique, parfois ancien, conservé au sein du dépôt légal de la Bibliothèque nationale de France, conformément à la loi n° 2012-287 du 1er mars 2012 relative à l'exploitation des Livres indisponibles du XXe siècle. Pages de début Les auteurs Présentation La science en mutation Les savoirs en question, réflexions après coups Première partie : La science : idéal et réalités La science : ambiguïtés contemporaines La vocation manipulatoire de la science (...) Ça marche, enquête chez les branches Deuxième partie : Les mathématiques, aujourd'hui Analyse des épisodes d'une controverse : la réforme des mathématiques des années soixante L'enseignement des mathématiques : savoirs ou savoir-faire? Mathématiques et métapsychologie Troisième partie : Le sujet du savoir Sujet/objet Rencontre avec Jeanne Favret-Saada A propos du livre de Jeanne Favret-SaadaDiscours de la méthode corporelle Postface Pages de fin. (shrink)

Deux courants de pensée jouent un rôle important dans la philosophie des mathématiques contemporaine. Le structuralisme, s’il n’est pas une idée nouvelle, continue de se déployer en des directions multiples – de la pratique mathématique jusqu’à ses dimensions ontologiques –, et de faire l’objet d’études, par exemple en direction des modalités de sa genèse. L’épistémologie historique, dont la conception classique a été largement enrichie récemment, est également au cœur de débats qui renouvellent la philosophie des sciences bien au-delà de (...) ses problématiques classiques. Son usage en mathématiques requiert toutefois des analyses spécifiques du fait de leurs idiosyncrasies, des notions comme celle de rigueur, d’expérience ou d’ontologie y ayant un sens et une charge historique différentes de celles qu’elles ont dans les sciences de la nature. Le propos de cet article sera de mettre en situation certains de ces débats en se concentrant sur un des phénomènes les plus significatifs du xxe siècle mathématique: le structuralisme de Bourbaki. Il s’intéressera en particulier aux potentialités de l’épistémologie historique, en cherchant à montrer que ses outils permettent de mieux comprendre certains enjeux du structuralisme. L’accent sera mis en particulier sur deux notions clés dans les travaux de Rheinberger, Daston et Hacking, celles d’objets et de concepts épistémiques. (shrink)

Persée est un programme de publication électronique de revues scientifiques en sciences humaines et sociales. L'intégralité des collections imprimées de revues est numérisée et mise en ligne sur un portail qui offre un accès à l'ensemble de ces collections et des possibilités avancées d'exploitation de ces corpus numérisés. Les revues font l'objet d'une sélection pour garantir la cohérence de l'offre éditoriale et scientifique du portail. / Persée is a program which was created for the digital publication of scientific journals in (...) the field of the humanities. The entire printed collection of journals is digitized and published online through a portal which offers access to the collections as well as advanced functionalities which facilitate and enhance use of the portal's resources. The journals are selected by an editorial board, thereby guaranteeing the collection's scientific coherence. (shrink)

Lorsque Laurent Schwartz entre à l’École normale supérieure en 1934, il n’existe à Paris que deux séminaires de mathématiques : le séminaire Hadamard, « tribune internationale », et le séminaire Julia, « cercle d’une équipe restreinte1 ». En 1968, une trentaine de séminaires de mathématiques s’y tiennent chaque semaine. Il est difficile de se saisir, historiquement, de l’objet « séminaire de mathématiques », d’autant plus qu’il est oral et ne laisse que peu de traces. On peut considérer (...) Schwartz comme un bon témoin – spectateur et acteur – de la période, afin d’interroger la place structurante que prend le séminaire dans la vie collective des mathématiques. Schwartz, en effet, voit l’évolution du développement du séminaire de mathématiques en France et contribue à la construction de sa place dans la vie mathématique. Il participe à de nombreux séminaires où il est tour à tour auditeur, orateur, organisateur ou créateur de séminaires. L’analyse de ces rôles à partir de sources en partie inédites nous permettra d’expliciter les formes d’échanges rendues possibles par le séminaire de mathématiques à partir du cas de Schwartz.1. Expressions empruntées à [Beaulieu 1989]. (shrink)

Résumé Cet article propose de revenir sur le programme d’histoire concrète de l’abstraction proposé par Jean-Claude Perrot dans les années 1990, pour montrer quels en sont les apports pour l’histoire des mathématiques. En mettant l’accent sur les dynamiques sociales, culturelles et matérielles dans lesquelles s’élaborent les connaissances, ce programme fournit en effet des outils pour analyser non seulement les modalités de circulation des mathématiques, mais surtout les effets concrets des pratiques symboliques, souvent laissées de côtés dans les travaux (...) historiens sur les sciences. Plus encore, le programme d’histoire concrète de l’abstraction constitue en objet d’histoire le processus qui permet aux traces matérielles des activités savantes passées et aux modalités de raisonnements qu’elles véhiculent de parvenir jusqu’à nous tout en transcendant leurs conditions initiales de production. Il offre ainsi un cadre analytique pour étudier le rapport des mathématiques au temps historique. (shrink)

Bernard Bolzano (1781-1848) a passe toute sa vie en Boheme, qui faisait encore partie de l'Empire autrichien. Apres des etudes de philosophie, mathematique et theologie, il est devenu pretre et professeur de Science de la religion a l'Universite de Prague. Heritier de l'Aufklarung, il a consacre sa vie a la reforme de la semi-feodale societe autrichienne et a la reforme des sciences a priori: logique, mathematique et theologie. Ses critiques de la constitution et de l'ordre existant lui valurent d'etre destitue (...) de sa chaire en 1819 et de passer le reste de sa vie en exil interieur entoure d'un petit cercle d'amis, ecrivant ses grands traites: le Traite de science de la religion (1834), la Theorie de la science (1837), la Theorie des grandeurs ainsi que l'utopie Du meilleur Etat et les Paradoxes de l'infini (1851). Le texte De la methode mathematique, extrait de l'Introduction a la Theorie des grandeurs, resume quelques unes de ses plus importantes innovations en logique et presente sa philosophie des mathematiques, concue en opposition a Kant. Bolzano l'a choisi pour l'envoyer a Franz Exner, nomme professeur de philosophie a l'Universite de Prague en 1831. L'echange epistolaire qui s'en est suivi tourne autour des deux theses controversees de la logique de Bolzano: sa conception des objets logiques en soi, independants de la pensee et de la langue, et son concept d'intuition. Dans cette controverse s'est joue le sort de la philosophie autrichienne. Bolzano n'a pas reussi a convaincre Exner, qui lui oppose avec tenacite les idees de Herbart. (shrink)

Dans cet article, j’essaie de montrer que le dépassement et le rejet du dogmatisme sont un aspect décisif du changement dans la pensée de Wittgenstein qui a eu lieu au début des années 30, quand il commence à mettre en valeur l’autonomie de la grammaire du langage et à parler d’images grammaticales et de jeux de langage en tant qu’objets de comparaison. En examinant certains traits fondamentaux de ce changement, je mettrai en évidence l’impulsion et les idées décisives que (...) Wittgenstein a reçues des nouveaux développements dans les mathématiques et la science naturelle du début du 20e siècle.It will be argued that the overcoming and avoiding of dogmatism is a decisive feature of the change in Wittgenstein’s thinking that takes place in the beginning of the 1930’s when he starts to emphasise the autonomy of the grammar of language and to talk about grammatical pictures and language games as objects of comparison. By examining certain crucial features in this change in Wittgenstein’s thinking, it will be shown that he received decisive impulses and ideas from new developments in mathematics and natural science in the early 20th century. (shrink)

RésuméSelon Avicenne, certains objets des mathématiques existent et d'autres non. Chaque objet mathématique existant est un attribut connotationnel non sensible d'un objet physique et peut être perçu par la faculté d'estimation. Les objets mathématiques non existants peuvent être représentés et perçus par la faculté d'imagination en séparant et en combinant des parties d'images d'objets mathématiques existants qui sont précédemment perçues par estimation. Dans tous les cas, même les objets mathématiques non existants doivent (...) être considérés comme des propriétés d'entités matérielles. Ils ne peuvent jamais être saisis comme des entités totalement immatérielles. Avicenne pense que nous ne pouvons saisir aucun concept mathématique à moins d'avoir au préalable des expériences perceptives spécifiques. Ce n'est que par l'opération non éliminable et irremplaçable des facultés d'estimation et d'imagination sur certaines données sensibles que nous pouvons saisir les concepts mathématiques. Cela montre qu'Avicenne approuve une sorte d'empirisme conceptuel sur les mathématiques. (shrink)

RésuméEn expliquant la relation entre hypothèses et images dans l'analogie de la ligne du livre Vl de laRépubliquede Platon, je m'attarde d'abordsur l'élucidation platonicienne de la nature des mathématiques telle que la conçoit le mathématicien lui-même. Je poursuis avec une critique des interprétations traditionnelles de cette relation, qui partent de l'assomption douteuse que les mathématiques s'occupent des Formes platoniciennes. Pour formuler mon point de vue sur cette relation, j'exploite la notion de «structure». Je montre comment les «hypothèses» comme (...) principes de preuve peuvent déterminer les structures des «images» par lesquelles les structures intelligibles correspondantes des objets mathématiques en viennent à être connues. (shrink)

L'histoire des sciences suffit à réfuter la thèse de la mathématisation impossible, selon laquelle la mathématisation procéderait d'un formalisme abstrait manquant les choses mêmes ou la spécificité d'un domaine d'objets. Cette histoire montre en effet qu'on n'a pas cessé de mathématiser des choses dont il avait été longtemps dit qu'elles devaient, étant donné leur nature, éternellement résister à la mathématisation. À la thèse de la mathématisation impossible, il est dès lors tentant d'opposer la thèse de la mathématisation inéluctable, selon (...) laquelle une science bien formulée est une science mathématiquement constituée. Cette dernière thèse est cependant souvent associée à l'idée que l'introduction des mathématiques dans une discipline constituerait un processus qui ne présenterait aucune difficulté et qui ne serait suivie d'aucune perte. Contre cette idée, les articles rassemblés dans ce volume ont voulu, comme le titre de ce dernier l'indique, restituer à la mathématisation son caractère problématique. La méthode adoptée dans ce volume est résolument empirique : il s'appuie non pas sur des réflexions a priori sur ce que seraient les objets mathématiques, mais sur des études de cas empruntées à différentes périodes de l'histoire et à différentes sciences. Le pari a été fait que ces différentes rubriques pourraient être articulées les uns aux autres dans trois parties qui ont respectivement pour titres "Les exigences de la mesure : la quantification", "La formalisation : la puissance des formes symboliques", et "La modélisation, une nouvelle forme de mathématisation?" Assurément, une tendance historiographique générale de ces trente dernières années a consisté à privilégier les études de cas locales et singulières, ce qui nous a permis de prendre congé du style épique, qui néglige les détails de l'histoire. Cependant, l'espèce de nominalisme qui en résulte tourne rapidement court, si l'on en reste à ces études de cas singulières. Ce volume repose donc sur un pari : essayer d'articuler différentes études de cas de manière à dégager certaines formes de la mathématisation. Que ce pari ait été gagné ou perdu, ce sera au lecteur d'en juger. (shrink)

Cet article vise à comprendre si une quelconque notion d’“intermédiaire” joue un rôle dans le système de Speusippe. Je commence en étudiant cette question vis-à-vis des objets mathématiques. Étant donné que je souscris au modèle épisodique du monde de Speusippe, je propose que la seule signification possible de μεταξύ dans son système est celle d’une simple position. En effet, dans un monde épisodique, la distinction ontologique radicale qui délimite chaque couche de réalité demande une signification de μεταξύ qui (...) n’indique rien de plus que l’emplacement d’un élément dans un classement d’êtres. Cette conclusion nous fournit cependant un candidat inhabituel pour le rôle d’“intermédiaire” : l’âme. En effet, la notion d’“intermédiaire”, si elle est prise comme un concept heuristique, nous permet de voir l’âme de Speusippe sous un jour différent. Plus précisément, étant donné que l’âme est une substance spécifique, je soutiens que son caractère intermédiaire ne repose ni dans sa composition ontologique mixte ni dans son statut d’objet ontologique intermédiaire. Au contraire, l’âme peut être considérée comme un intermédiaire dans la mesure où elle est ce qui confère aux êtres humains leurs fonctions cognitives par une interaction avec le corps. (shrink)