Duration
30h Th
Number of credits
Lecturer
Language(s) of instruction
French language
Organisation and examination
Teaching in the first semester, review in January
Schedule
Units courses prerequisite and corequisite
Prerequisite or corequisite units are presented within each program
Learning unit contents
Will not be organized during academic year 2027-2028 !]
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
Further information:
Face-to-face course
Additional information:
The course will take place on Wednesday mornings (11am to 1pm) during the first term (September-December). Location : Room PHILO I.
Course materials and 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.
Exam(s) in session
Any session
- In-person
written exam ( open-ended questions )
Further information:
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.
Use of AI (ChatGPT and any other tool for analyzing data, summarizing texts or writing essays) :
See https://www.student.uliege.be/cms/c_19230399/en/uliege-charter-for-the-use-of-generative-artificial-intelligence-in-academic-work
AI shouldn't replace human intelligence, just support it. Those who want to make smart use of AI in their civic and professional lives first need to develop a set of cognitive skills that will let them use AI wisely, check its answers, and spot its limits. Plus, building these skills oneself reduces one's reliance on these technologies.
That's why, for this course, gains in cognitive skills like understanding and applying formal methods of analysis will be tested without any AI help. Using AI during the assessment is not allowed and will be considered cheating.
Work placement(s)
Organisational remarks and main changes to the course
The first session will be held on the 16th of September 2026 at 11am.
Contacts
Bruno LECLERCQ
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE
B.Leclercq@uliege.be
Association of one or more MOOCs
Items online
e-campus
Website