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

Horaire

Horaire en ligne

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 (propositionnelle et quantifiée). Applications épistémiques, temporelles et déontiques. Enjeux philosophiques.
 
 

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, à distance, hybride)

Cours donné exclusivement en présentiel


Explications complémentaires:

Le cours se tiendra au premier quadrimestre, les mercredis de 10h à 12h au local PHILO I. 
 
 
 

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(s) en session

Toutes sessions confondues

- En présentiel

évaluation écrite ( questions ouvertes )


Explications complémentaires:

Examen écrit (questions ouvertes) 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 mercredi 22 septembre 2021 à 10h.
 
 

Contacts

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

Notes en ligne