Logiques non classiques pour des problèmes philosophiques
Dans ce cours, les étudiants se familiarisent avec des méthodes des logiques non classiques pour résoudre les problèmes philosophiques. La logique classique ne permet pas d'expliquer et d'analyser le raisonnement scientifique et ordinaire des agents humains. Pour certaines applications, la logique classique valide des conclusions insensées, et pour d'autres applications son vocabulaire logique est simplement insuffisant. Les principales logiques non classiques soutenues par une motivation philosophique seront étudiées et des techniques générales seront acquises. Les étudiants seront initiés à des questions de recherche contemporaine dans le domaine des logiques non classiques.
Les questions suivantes seront traitées en particulier:
- Comment peut-on comprendre l'utilisation des conditionnels contrefactuels ou subjonctifs?
- Comment peut-on raisonner à base de données contradictoires? (les logiques 'paraconsistantes')
- Comment peut-on garantir que les antécédents des implications logiques soient pertinents pour leurs conclusions (et vice versa)? ('relevance logics' (anglais))
- Comment peut-on raisonner avec des obligations et des permissions? (les logiques déontiques)
- Quelle est la logique qui peut formaliser des preuves constructives en mathématiques? (la logique intuitionniste)
- Comment pouvons-nous formaliser le raisonnement avec des conclusions révisables? (les logiques adaptatives).
- Enseignant: Verdée Peter