Enquête sur les modes d'existence des êtres mathématiques [An inquiry into the modes of existence of mathematical beings]
Enquête sur les modes d'existence des êtres mathématiques
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...