Logiques modales

Durée

30h Th

Nombre de crédits

Enseignant

Louis Rouillé

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

Introduction à la logique modale propositionnelle et quantifiée. Introduction aux différents systèmes formels et à la sémantique dite des mondes possibles. Interprétations métaphysique, épistémique, temporelle et déontiques de la logique modale. Discussions sur les enjeux philosophiques de la logique modale.

Ce cours présuppose d'avoir validé un cours d'introduction à la logique du 1er ordre (logique propositionnelle + logique des prédicats).
 

 

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

En plus des notes de cours, voici trois manuels 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.
• Modal Logic, by Patrick Blackburn, Maarten de Rijke and Yde Venema. Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press, 2001. ISBN-10: 0521527147, ISBN-13: 978-0521527149.

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 (1ère session). 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 et modifications principales apportées au cours

Reprise du cours le mercredi 20 septembre 2023 à 10h (local Philo 1).

 

 

 

Contacts

Louis Rouillé
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE

louis.rouille@uliege.be

Association d'un ou plusieurs MOOCs

Notes en ligne