The objectives of the course is to help the students to recognize and use different types of arguments, to formalize reasonings and to judge of their correctness.
The course is divided into two parts. One is devoted to a presentation of the types of arguments most frequently used in an informal way. The other consists of training in classical propositional logic and classical first order logic.
The evaluation focuses on the knowledge and skills acquired during each of the two parts of the course, the same weight being attached to each of them. The evaluation is oral and preceded by a moment of preparation. The student is invited to answer to one, two or three questions for each part of the course.
Grades superior or equal to 5/10 obtained for one part of the course can be kept in case of a second session.
B. Leclercq et L. Bouquiaux – Logique formelle et argumentation. Louvain-la-neuve, De Boeck Université, 3ème édition, 2017.
Th. Lucas, I. Berlanger et V. Degauquier – Initiation à la logique formelle. Louvain-la-neuve, De Boeck Supérieur, 4ème édition, 2014.
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Bachelor in Physics | Standard | 0 | 2 | |
| Bachelor in Computer Science | Standard | 0 | 2 | |
| Bachelor in Geology | Standard | 0 | 2 | |
| Bachelor in Chemistry | Standard | 0 | 2 | |
| Bachelor in Geography : General | Standard | 0 | 2 | |
| Bachelor in Biology | Standard | 0 | 3 | |
| Bachelor in Mathematics | Standard | 0 | 2 | |
| Bachelor in Computer Science | Standard | 2 | 2 | |
| Bachelor in Biology | Standard | 2 | 3 |