Cette unité d'enseignement bisannuelle n'est pas dispensée en 2017-2018 !
d'enseignement
d'apprentissage
A la fin de cette unité d’enseignement, l’étudiant est capable de : | |
1 |
Au terme du cours, l'étudiant devra être capable de comprendre de quoi il est question dans les débats actuels en logique
Au terme de ce cours, l'étudiant sera capable : |
La contribution de cette UE au développement et à la maîtrise des compétences et acquis du (des) programme(s) est accessible à la fin de cette fiche, dans la partie « Programmes/formations proposant cette unité d’enseignement (UE) ».
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).
des acquis des étudiants
Lou Goble, ed., The Blackwell guide to philosophical logic, Wiley-Blackwell, 2001.
Graham Priest, An introduction to non-classical logic: from if to is (2nd ed.), Cambridge University Press, 2008.
Christian Straßer, Adaptive Logics for Defeasible Reasoning. Applications in Argumentation, Normative Reasoning and Default Reasoning, Springer, 2014.
en charge
Programmes / formations proposant cette unité d'enseignement (UE)
d'apprentissage