[1 Q. • 45 Th. • 4 ECTS - credits]
| Lecturer :
|
|
Brisart Robert |
|
|
|
| Language of instruction :
|
|
French |
|
|
|
| Learning outcomes :
|
|
The aim is to initiate the students to standard contemporary logic. |
|
|
|
| Prerequisites :
|
|
None |
|
|
|
| Course contents :
|
|
Classical logic and modern logic; Analysis of the language and propositional functions; Logic of unanalysed propositions (theory of truth-functions) and logic of analysed propositions (logic of monadic predicates and logic of relations); Strict implications and modal logic; Overview of multivalent and non-standard logics.
|
|
|
|
| Mode of delivery :
|
|
Lecture completed by exercises solved in class.
|
|
|
|
| Assessment methods and criteria :
|
|
Written examination.
|
|
|
|
| Recommended or required reading :
|
|
The bibliography will be provided in class.
|
|
|
|
