Collection(s) : Ouverture philosophique
Paru le 04/07/2024 | Broché 270 pages
Public motivé
L'ontologie de la théorie des ensembles
Dans ce premier volume, l'auteur traite la question de l'existence ou non d'une seule interprétation définie maximale du discours ensembliste. Le problème considéré porte sur le nombre d'univers d'ensembles. Il s'agit de savoir s'il y avait un ou plusieurs domaines où notre discours mathématique est interprété.
C'est en quelque sorte une reprise de la question ontologique de l'« univers » des objets mathématiques décrit par les axiomes de la théorie des ensembles. Plus précisément, la question vers laquelle se tourne l'auteur ici revient à savoir, sous la lumière de la grande diversité des constructions théoriques des modèles, sur quoi portent les axiomes de la théorie des ensembles. Ce qui revient à la caractérisation de la sémantique du discours de la théorie des ensembles, voire l'étude des structures d'interprétation du langage ensembliste.
L'hypothèse dont part l'auteur est que la réflexion philosophique sur les mathématiques ne doit pas faire indifférence à la pratique mathématique.
Saeb Elamami est chercheur post-doctoral en logique et épistémologie des mathématiques. Il est titulaire d'une maîtrise en mathématiques, d'une licence en philosophie, d'un mastère en fondements des mathématiques et d'une thèse de doctorat en « logique et philosophie des mathématiques ». Il est aussi doctorant en didactique des mathématiques.
