Topic outline
-
Logique des Modalités - M1S2 2022/2023
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é.
Références bibliographiques
Introductions :
- Chellas, B.F. (1980). Modal Logic: An Introduction. Cambridge: Cambridge University Press.
- Fitting, M. et Mendelsohn, R.L. (1998). First-Order Modal Logic. Springer.
- Hansen, J. et Pigozzi, G. et van der Torre, L. (2007). «Ten Philosophical Problems in Deontic Logic». Dagstuhl Seminar Proceedings.
- Fagin, R. et Halpern, J. et Moses, Y. et Vardi, M. (1995). Reasoning About Knowledge. MIT Press.
- Boolos, G. (1994). The Logic of Provability. Cambridge University Press.
Sémantique des mondes possibles :
- 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.
Approche inférentielle :
- Prawitz, D. (1965). Natural Deduction: A proof-theoretical study. Stockholm: Almqvist & Wiksell.
- Poggiolesi, F. (2010). Gentzen Calculi for Modal Propositional Logic. Springer.
- Bierman, G. et de Paiva, V. (2000). «On an intuitionistic modal logic». Studia Logica, vol. 65, n. 3, p. 383-416.
-
-
-
-
-
-