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 ; enseignement à distance)

Le course se tiendra au premier quadrimestre, les lundis de 10h à 12h au local Philosophie 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 é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 23 septembre 2019 à 10h.

Contacts

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

Adaptation des engagements pédagogiques suite à la pandémie de COVID-19 pour la session de mai-juin

Méthodes d'apprentissage mises en œuvre : enseignement à distance

Pas d'enseignement au second quadrimestre

Matière de l'évaluation

Dans la mesure où le cours s'est donné au premier quadrimestre, la matière d'examen est inchangée.

Méthodes d'évaluation

Le cours repose partiellement sur des analyses formelles mobilisant des symboles logiques et leur configuration spatiale. L'évaluation exige donc un examen écrit sur papier (ou un éventuellement examen oral sur tableau noir).
Si la situation sanitaire l'exigeait toujours en août-septembre (aucune évaluation n'est prévue en juin), l'examen écrit pourrait se faire en ligne. Les questions devraient faire l'objet de réponses manuscrites sur papier libre, réponses qui seraient scannées ou à défaut photographiées puis déposées sur e-campus pour correction.

Contact

Adaptation des engagements pédagogiques suite à la pandémie de COVID-19 pour la session août-sept

Matière de l'évaluation

Dans la mesure où le cours s'est donné au premier quadrimestre, la matière d'examen est inchangée.

Méthodes d'évaluation (et plateforme utilisée)

Le cours repose partiellement sur des analyses formelles mobilisant des symboles logiques et leur configuration spatiale. L'évaluation exige donc un examen écrit sur papier, lequel se fera en ligne en raison des conditions sanitaires.
Les questions seront adressées par courriel aux étudiants concernés. Elles devront faire l'objet de réponses manuscrites sur papier libre, réponses qui seront scannées ou à défaut photographiées puis envoyées par courriel à l'enseignant au plus tard 3 heures après le début de l'épreuve.

Contact(s)

Notes en ligne