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

Le course se tiendra au premier quadrimestre, les lundis de 10h à 12h au local A1/3/22. 

Adaptations organisationnelles liées au contexte sanitaire

En code rouge, le cours continuera à se donner à l'horaire habituel (lundi de 10h à 12h), mais exclusivement sur Collaborate, le système de classe de cours virtuelle lié à e-campus.
Pour rappel, on peut accéder à cette classe virtuelle en :
-se rendant sur e-campus (via MyULiège)
-sélectionnant le cours de Logiques modales
-choisissant (dans le menu de gauche) l'onglet "salle de cours virtuelle"
-actionnant le lien "salle de classe" puis "rejoindre la salle de classe"
-donnant éventuellement son autorisation pour activation de son propre micro et de sa propre webcam
Cette diffusion directe sera enregistrée et pourra, en principe, être revisionnée ensuite sur e-campus.
 

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

Vous trouverez ci-dessous les modalités d'évaluation envisagées pour les examens en présentiel et à distance ainsi que celle souhaitée en cas de session hybride. En fonction de l'évolution sanitaire, la modalité choisie vous sera communiquée au plus tard un mois avant le début de la session d'examen.

Toutes sessions confondues :

- En présentiel

évaluation écrite ( questions ouvertes )

- En distanciel

évaluation écrite

- Si évaluation en "hybride"

préférence en présentiel


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 lundi 21 septembre 2020 à 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