• Ensembles, classes et catégories

    (cliquer sur le titre pour visionner un document pdf : "Sets, classes and categories")

    On sait que la philosophie de Badiou (qui de l'aveu même de ses détracteurs, et Dieu sait s'il y en a, à commencer par Sokal, possède une culture mathématique impressionnante) a des vues très arrêtées, et "révolutionnaires", sur le lien entre philosophie et mathématiques...passons les en revue brièvement :

    1 les mathématiques sont l'ontologie, qui ne fait donc pas partie de la philosophie

    2 les topoi (ces catégories découvertes il y a 40 ans par Grothendieck et Lawvere) forment le cadre de la logique de l'apparaitre, les ensembles celui de l'ontologie (discours sur l'Etre)

    3 le système axiomatique retenu par Badiou est celui de Zermelo-Fraenkel, à l'exclusion semble t'il des autres "solutions" au paradoxe de Russell : theorie des types, axiomatique NBG de Von Neumann, Bernays et Gödel, "New foundations" de Quine, "Non well founded sets" d'Aczel, "univers" de Mac Lane ou Grothendieck, etc...

    Bien entendu, on comprend que le philosophe fasse un choix (trace une diagonale dirait Badiou) dans la "forêt" proliférante des découvertes mathématiques.

    Néanmoins il est absolument nécessaire, en ces matières, de laisser aussi la parole aux mathématiciens (ce que n'est pas Badiou, malgrès sa virtuosité technique), c'est bien la moindre des choses s'agissant...des mathématiques !

    On doit rappeler par exemple que la plupart des mathématiciens "catégoristes" n'ont pas du tout la même évaluation épistémologique que Badiou : ils ne veulent tout simplement plus entendre parler des ensembles, ni en mode ZF ni en autre !


  • Commentaires

    Aucun commentaire pour le moment

    Suivre le flux RSS des commentaires


    Ajouter un commentaire

    Nom / Pseudo :

    E-mail (facultatif) :

    Site Web (facultatif) :

    Commentaire :