Modal logic

Duration

30h Th

Number of credits

Lecturer

Bruno Leclercq

Language(s) of instruction

French language

Organisation and examination

Teaching in the first semester, review in January

Schedule

Schedule online

Units courses prerequisite and corequisite

Prerequisite or corequisite units are presented within each program

Learning unit contents

Formal systems and semantical models of modal logic. Epistemic, temporal and deontic applications. "Meta-logical" questions (completeness, soundness, consistency, ...).

Learning outcomes of the learning unit

Deeper understanding of the relations between formal systems and semantics.

Prerequisite knowledge and skills

Bachelor's degree knowledge in logic, epistemology and history of philosophy.

Planned learning activities and teaching methods

Mode of delivery (face-to-face ; distance-learning)

The course will take place on Monday mornings (10:am to 12:00am) during the first term (September-December). Location : Room Philo I.

Recommended or required readings

Besides teacher's notes, reference books are :
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.

Assessment methods and criteria

Written exam in January and September.
No student will be allowed to take the exam on another day than the other students.

Work placement(s)

Organizational remarks

The first session will be held on the 24th of September 2018 at 10 am.

Contacts

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

Items online