 | |
| PHIL0208-1 | Logic and theory of knowledge
 |
|
| Duration : | 30h Th |
|
| Credits/ECTS : |
|
|
| Holder(s) : | Bruno Leclercq |
|
| Language : | French language |
|
| Course contents : | Formal systems and semantical models of modal logic. Epistemic, temporal and deontic applications. "Meta-logical" questions (completeness, soundness, consistency, ...). |
|
| Course objective : | Deeper understanding of the relations between formal systems and semantics. |
|
| Prerequisites : | Bachelor's degree knowledge in logic, epistemology and history of philosophy. |
|
| Organization : | The course will take place during the first term (September-December) on Mondays from 9:00 am to 11:00 am. See http://cipl82.philo.ulg.ac.be/horaires |
|
| Written notes : | 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 : | Oral exam in January 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 |
|
|
| |
