La méthode de la priorité

5-7 août 2019

M. Joshua Babic, UNIGE M. Michal Hladky, UNIGE M. Lorenzo Cocco, UNIGE Prof. Olivier Massin, UNIGE

Prof. Denis Hirschfeldt (University of Chicago), Prof. Harold Hodes (Cornell University).

Depuis les années 50 la philosophie a perdu contact avec le développement de la logique mathématique. Avec cette école nous souhaitons commencer à combler ce manque, en introduisant aux doctorants de philosophie un outil fondamental de la logique. Les enseignants de cette école d'été sont chargés de présenter 1) une petite introduction la théorie de la calculabilité, 2) un approfondissement sur les méthodes de la priorité comme outil de base en logique, et 3) les aspects historiques et philosophiques de cet outil, et plus généralement de la notion de calculabilité. Cet évènement a une portée interdisciplinaire et nous espèrons attirer l'attention de doctorants en mathématiques et sciences informatiques. Les philosophes pourraient obtenir des compétences fondamentales de logique afin de les appliquer aux problèmes de la philosophie.

Genève

25