[ANNULÉ] Philosophie et théorie des ensembles

à déterminer

M. Joshua Babic, UNIGE M. Lorenzo Cocco, UNIGE M. Michal Hladky, UNIGE

Prof. Peter Koellner, Harvard Prof. Joan Bagaria, Barcelona

Depuis les années '50 la philosophie a perdu contact avec le développement de la logique. Avec une deuxième école d'été en logique et philosophie, nous souhaitons continuer à combler ce manque. Le thème de l'école d'été 2019 était la philosophie de la théorie de la récursivité. Cette deuxième école d'été aura le même format : un philosophe et un logicien. Les cours seraient donnés par les Prof. Peter Koellner (Harvard) et Joan Bagaria (Barcelona). Les enseignants ont déjà confirmé leur disponibilité. Le thème en serait la philosophie de la théorie des ensembles. Depuis l'avènement de la théorie des ensembles, les philosophes n'ont cessé de poser des questions centrales à propos des ensembles et des théories qui en traitent : Qu'est-ce qu'un ensemble ? Qu'est-ce qui différencie un ensemble d'une pluralité ? D'une somme méréologique ? Quelle est la « bonne » théorie des ensembles ? Quelle théorie échappe le mieux au fameux paradoxe de Russell ? En quel sens peut-on dire qu'une telle théorie peut servir de fondation aux mathématiques ? L'école d'été fournira le contexte nécessaire pour aborder ces questions. Cet évènement aura une portée interdisciplinaire et nous espérons attirer des doctorants en mathématiques et en sciences informatiques. Un des gains espérés pour les philosophes sera l'obtention de compétences fondamentales en logique qu'ils/elles pourront appliquer aux problèmes de la philosophie.

Genève

25