The objective of the course is to help the students to recognize and to use different types of frequent arguments, to formalize easonings and to judge their correctness.
The course is divided into two. The first part is devotes to a presentation of the types of arguments most frequently used in an informal way. The second part 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, the same weight being attached to each. This evaluation is oral and preceded by a preparation moment. The student is invited to answer one or two questions for each part of the course.
B. Leclercq et L. Bouquiaux – Logique formelle et argumentation. Louvain-la-neuve, De Boeck Université, 2ème édition, 2015.
G. Priest – An introduction to non-classical logic. From if to is. Cambridge. Cambridge University Press, second edition, 2008.
M. Crabbé – Notions de logique formelle, www.logoi.be, 2015.
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 2 | ||
| Standard | 0 | 3 | ||
| Standard | 0 | 2 | ||
| Standard | 2 | 2 | ||
| Standard | 2 | 3 |