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 :
  • [2021] UFR 10 - Matière (M1-S2) : Logique des modalités (groups-matiK4040415-2021)
Consultation des ressources uniquement : aucune cohorte inscrite.

Rattachements à l'offre de formation

Élément pédagogique UP1-C-ELP-K4040415 - Logique des modalités
Chemin complet > Année 2023-2024 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 2 > UE2 Enseignement complémentaire > Logique des modalités