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 (propositional and quantified) modal logic. Epistemic, temporal and deontic applications. Philosophical issues.
 
 

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, hybrid learning)

Face-to-face course


Additional information:

The course will take place on Wednesday mornings (10:00am 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

Exam(s) in session

Any session

- In-person

written exam ( open-ended questions )


Additional information:

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 22nd of September 2021 at 10am.
 
 

Contacts

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

Items online