 | | |
| PHIL0208-1 | Logic and theory of knowledge
|
|
| Duration : | 30h Th |
|
| Number of credits : |
|
|
| Lecturer : | Bruno Leclercq |
|
Language(s) of instruction :
|
| French language |
|
Course contents :
|
| Formal systems and semantical models of modal logic. Epistemic, temporal and deontic applications. "Meta-logical" questions (completeness, soundness, consistency, ...). |
|
Learning outcomes of the course :
|
| Deeper understanding of the relations between formal systems and semantics. |
|
Prerequisites and co-requisites/ Recommended optional programme components :
|
| Bachelor's degree knowledge in logic, epistemology and history of philosophy. |
|
Mode of delivery (face-to-face ; distance-learning) :
|
| The course will take place during the second term (February-April). See http://cipl82.philo.ulg.ac.be/horaires |
|
Recommended or required readings :
|
| Reference book :
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 June and September. No student will be allowed to take the exam on another day than the other students. |
|
Contacts :
|
| Bruno LECLERCQ
Université de Liège
Département de philosophie
Place du XX août, 7
4000 LIEGE
B.Leclercq@ulg.ac.be
04/3665592 |
|
