 | | |
| PHIL0208-1 | Logic and theory of knowledge
|
|
| 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 |
|
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. |
|
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 : Romm Philo I.
See http://cipl82.philo.ulg.ac.be/horaires |
|
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 :
|
| |
|
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 |
|
