Logiques modales

Durée

30h Th

Nombre de crédits

Enseignant

Bruno Leclercq

Langue(s) de l'unité d'enseignement

Langue française

Organisation et évaluation

Enseignement au premier quadrimestre, examen en janvier

Unités d'enseignement prérequises et corequises

Les unités prérequises ou corequises sont présentées au sein de chaque programme

Contenus de l'unité d'enseignement

Systèmes formels et modèles sémantiques de la logique modale. Applications épistémiques, temporelles et déontiques. Problèmes de "méta-logique" (preuves de complétude, d'adéquation, de consistance, etc.).

Acquis d'apprentissage (objectifs d'apprentissage) de l'unité d'enseignement

Compréhension fine des rapports entre systèmes formels et sémantique.

Savoirs et compétences prérequis

Formation de premier cycle en logique, en épistémologie et en histoire de la philosophie.

Activités d'apprentissage prévues et méthodes d'enseignement

Mode d'enseignement (présentiel ; enseignement à distance)

Le course se tiendra au premier quadrimestre, les lundis de 10h à 12h au local Philosophie I. Voir http://cipl82.philo.ulg.ac.be/horaires

Lectures recommandées ou obligatoires et notes de cours

Pour les questions générales de logique modale, le cours s'appuiera sur un manuel rédigé par l'enseignant, ainsi que sur deux ouvrages de référence :
E. HUGHES, M. J. CRESSWELL, A new introduction to modal logic, London and New York, Routledge, 1996.
P. GOCHET, P. GRIBOMONT, Logique, vol. 3 : méthodes pour l'intelligence artificielle, Paris, Hermès, 2000.
En ce qui concerne des problèmes plus particuliers de logique épistémique ou de "méta-logique", il s'appuiera sur quelques articles récents.

Modalités d'évaluation et critères

Examen écrit en janvier et septembre. Les date et heure d'examen sont communiquées aux étudiants en temps utile.
Pour des raisons d'équité, tous les étudiants devront se conformer à ces contraintes; sous aucun prétexte (même médical), l'examen ne sera réorganisé à un autre moment de la session.

Stage(s)

Remarques organisationnelles

Reprise du cours le lundi 18 septembre 2017 à 10h.

Contacts

Bruno LECLERCQ Université de Liège Département de philosophie Place du XX août, 7 4000 LIEGE
B.Leclercq@ulg.ac.be

Notes en ligne