Enquête sur les modes d’existence des êtres mathématiques

Autor: Stefan Neuwirth, Guy Wallet
Přispěvatelé: Mathématiques, Image et Applications - EA 3165 (MIA), Université de La Rochelle (ULR), Laboratoire de Mathématiques de Besançon (UMR 6623) (LMB), Université de Bourgogne (UB)-Université de Franche-Comté (UFC), Université Bourgogne Franche-Comté [COMUE] (UBFC)-Université Bourgogne Franche-Comté [COMUE] (UBFC)-Centre National de la Recherche Scientifique (CNRS)
Rok vydání: 2019
Předmět:
Zdroj: Philosophia Scientiae
Philosophia Scientiae, Editions Kime, 2019, pp.83-108. ⟨10.4000/philosophiascientiae.2080⟩
ISSN: 1775-4283
1281-2463
Popis: International audience; This essay inquires how mathematical beings could be inserted into the architecture of modes of existence proposed by Bruno Latour in the framework of his pluralist and renewed ontology of the modern world. An answer to this question is put forward with the aid of the work of Reviel Netz on the emergence of Greek mathematics, and of Charles Sanders Peirce on the diagrammatic dimension of mathematical practice, in the framework of an empiric conception of mathematics based on the notion of experience according to William James, and inspired by certain aspects of Per Martin-Löf's philosophy. It provides a way of describing the firm certainty with which proofs endow theorems, while invalidating the interpretation of this certainty as the mark of a direct access to an absolute and transcendental truth.; L'objet de cet essai est l'accueil des entités mathématiques dans l'architecture des modes d'existence proposée par Bruno Latour dans le cadre de son ontologie pluraliste du monde moderne. Les travaux de Reviel Netz sur l'émergence des mathématiques grecques et de Charles Sanders Peirce sur la dimension diagrammatique de l'activité mathématique sont employés pour proposer une réponse dans le cadre d'une conception empirique des mathématiques basée sur la notion d'expérience chère à William James et inspirée par certains aspects de la philosophie de Per Martin-Löf. Cette approche permet de penser la solide certitude dont la démonstration dote les résultats mathématiques tout en invalidant son interprétation comme la marque d'un accès direct à une vérité absolue et transcendante.
Databáze: OpenAIRE