Logique des modalités

1- Logique des modalités K4040415

Logique des modalités (S2, UE2)

Résumé 

Le terme logique modale est aujourd’hui employé pour indiquer une domaine d’investigation très vaste et très varié.  Dans ce domaine on a pourtant isolé

un certain nombre de systèmes qui représentent la base et le fondement de tout étude concernant la logique modale. Nous allons analyser ces systèmes dans le détail. 

- d’un point de vue formel, nous allons étudier les principaux systèmes de logique modale à travers trois diverses formalisations : les axiomes à la Hilbert, la sémantique de mondes possibles et les systèmes de preuves. Nous allons examiner les relations entre ces trois différentes formalisations et nous allons aussi mettre en relief le lien avec la logique du premier ordre.

- d’un point de vue conceptuel, nous allons introduire les principales interprétations liées à nos systèmes de logique modale. Nous allons commencer par le concept de nécessité et de possibilité, puis nous allons nous arrêter sur une interprétation en termes d’obligation et de permission. Finalement nous allons consacrer une analyse approfondie à une interprétation épistémique, c’est-à-dire en termes de connaissance et de croyance. Cette dernière interprétation nous permettra de dire quelques mots sur les derniers développements de logique modale, à savoir la logique dynamique.

Bibliographie

1. Blackburn, M. de Rijke, et Y. Venema.  Modal Logic. Cambridge University Press,  2001.
2. van Ditmarsch,  W. van der Hoek, et B. Kooi.  Dynamic Epistemic Logic. Springer, 2008.
3. Fitting et R. L. Mendelsohn.  First-Order Modal Logic. Springer, 1998
4. E. Hughes et M. J. Cresswell.  A New Introduction to Modal Logic. Routledge,  1996
5. Garson,  Modal Logic, The Stanford Encyclopedia of Philosophy (Spring 2016 Edition), Edward N. Zalta (ed.)
6. Poggiolesi. Gentzen Calculi for Modal Propositional Logic. Springer, 2010.