Archive année 2021-2022 Logique des modalités - M1S2 2021/2022
K4040415 - Logique des modalités - Cours magistral
Le cours vise à fournir une introduction formelle à la logique propositionnelle modale, en traitant les principaux aspects philosophiques du sujet. On commencera par présenter les principaux systèmes formels pour la définition et l'étude des logiques modales. Ensuite, en retraçant l'évolution de la notion de monde possible, nous discuterons des qualités et des défauts du principal approche sémantique à la logique modale : la sémantique des mondes possibles. Puis nous allons introduire le principales interprétations liées à la logique modale : en termes d’obligation et permission ; en termes épistémique, c’est-à-dire en termes de connaissance et croyance ; et en terme de prouvabilité.
Informations sur l'espace de cours
Nom
Archive année 2021-2022 Logique des modalités - M1S2 2021/2022
Nom abrégé
UP1-C-ELP-K4040415-04 - M1S2 2021/2022
Groupes utilisateurs inscrits
Consultation des ressources, participation aux activités :