Archive année 2020-2021 Logique des modalités

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

Rattachements à l'offre de formation