Les logiques modales sont une famille de logiques qui étendent la logique classique pour pouvoir raisonner au sujet de la nécessité et de la possibilité, de l’obligation et de la permission, de la connaissance, ou encore du temps.
Le but du cours est de présenter les principaux systèmes de logique modale, envisagés d’un point de vue syntaxique (ou axiomatique) et d’un point de vue sémantique, d’abord pour des langages propositionnels, puis pour des langages du premier ordre. En particulier, la sémantique dite « des mondes possibles » de Kripke servira de thème unificateur tant pour l’étude des différents systèmes et de leurs relations, que pour leur interprétation philosophique.
Tout au long de ce parcours, l’accent sera mis sur les applications des logiques modales à la clarification des notions philosophiques listées ci-dessus ainsi que sur les problèmes philosophiques soulevés par l’interprétation de certaines constructions modales, notamment celles impliquant l’interaction entre les quantificateurs et les opérateurs modaux.
Bibliographie
- Blackburn, M. de Rijke, et Y. Venema. Modal Logic. Cambridge University Press, 2001.
- Chellas, B. F., Modal Logic. An introduction. Cambridge University Press, 1980.
- van Ditmarsch, W. van der Hoek, et B. Kooi. Dynamic Epistemic Logic. Springer, 2008.
- Fitting et R. L. Mendelsohn. First-Order Modal Logic. Springer, 1998
- Garson, Modal Logic, The Stanford Encyclopedia of Philosophy (Spring 2016 Edition), Edward N. Zalta (ed.)
- E. Hughes et M. J. Cresswell. A New Introduction to Modal Logic. Routledge, 1996
- Lloyd Humberstone, Philosophical Applications of Modal Logic, College Publications, 2016.
- E. J. Lemmon, An Introduction to Modal Logic, Blackwell, 1977.
- Priest, G. From If to Is. An Introduction to Non-Classical Logic. Cambridge University Press, 2008.
- Enseignant éditeur: Saint Germier Pierre
