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 de différentes perspectives sémantiques sur la logique modale. Pour ce faire, dans un premier temps, nous analyserons en profondeur la sémantique des mondes possibles puis, dans un second temps, nous présenterons et discuterons les avantages offerts par des approches plus abstraites et moins exigeantes du point de vue philosophique, telles que les sémantiques algébriques. Enfin, nous examinerons les principales critiques de l'approche sémantique en général et les solutions possibles basées sur une approche inférentielle à la signification des opérateurs modaux.


Références bibliographiques

Introductions:

- Wagner, P. (2014). Logique et Philosophie. Paris: Ellipses. Chapitre 15.

- Chellas, B.F. (1980). Modal Logic: An Introduction. Cambridge: Cambridge University Press.

Approche sémantique:

- Copeland, J.B. (2002). «The genesis of possible worlds semantics». Journal of Philosophical Logic, vol. 31, n. 2, p. 99-137.

- Stalnaker, R.C. (1976). «Possible Worlds». Noûs, vol. 10, n. 1, p. 65–75.

- Blackburn, P., De Rijke, M. et Venema, Y. (2002). Modal Logic. Cambridge: Cambridge University Press.

- Galatos, N., Jipsen, P., Kowalski, T. et Ono, H. (2007). Residuated Lattices: An Algebraic Glimpse on Substructural Logics. Section 1.1, p. 13-22. Amsterdam: Elsevier.

Approche inférentielle:

- Read, S. (2008). «Harmony and modality». Dans C. Dégremont, L. Kieff et H. Rückert (dir.). Dialogues, Logics and Other Strange Things: Essays in Honour of Shahid Rahman. London: College Publications. P. 285-303. 

- Prawitz, D. (1965). Natural Deduction: A proof-theoretical study. Chapitre 6. Stockholm: Almqvist & Wiksell.

- Bierman, G. et de Paiva, V. (2000). «On an intuitionistic modal logic». Studia Logica, vol. 65, n. 3, p. 383-416.

Informations sur l'espace de cours

Nom Archive année 2020-2021 Logique des modalités
Nom abrégé UP1-C-ELP-K4040415-03
Groupes utilisateurs inscrits Consultation des ressources, participation aux activités :
  • [2020] UFR 10 - Matière (M1-S2) : Logique des modalités (groups-matiK4040415-2020)
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 2021-2022 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 2 > UE2 Enseignement complémentaire > Logique des modalités