Accueil À propos du Département Les Enseignements La Recherche Les coloques et séminaires Les enseignants Ressources

Logique et Existence

PHIL-AA-LOGEXIST-S2

Louis ROUILLÉ

S2

Prérequis : Avoir une certaine familiarité avec la logique des prédicats, maîtrise de l’anglais.
Mode de validation : Lectures hebdomadaires, présence et participation.

Si Frege a pu réaliser ce que Leibniz avait imaginé, à savoir un « calcul des prédicats », c’est en grande partie du fait de l’invention des quantificateurs logiques (« pour tout » et « il existe » en français). Cette invention de la logique moderne est un progrès incontestable, comme en témoigne leur utilisation en mathématiques, en informatique et en linguistique.
Ce sont les différentes interprétations philosophiques du quantificateur existentiel qui seront l’objet de ce séminaire de recherche. Les débats ontologiques, marqués par l’arrêt kantien à la fin du XVIIIe (« L’existence n’est pas un prédicat »), reprennent vivement au début du XXe siècle autour de l’interprétation de ce symbole logique qui, précisément, ne définit pas une propriété à la manière

 des symboles non-logiques (relations, prédicats, fonctions).

mercredi 15h00-17h00, salle Pasteur