To familiarize students with classical, formal, deductive logic. In particular, the course will be focused on methods to establish whether a given reasoning is valid.
Formalization, logical connectors, truth tables, models, natural deduction, etc.
The course is lecture-based but interspersed with moments devoted to solving exercises.
The evaluation is oral but preceded by a period of written preparation. The student is asked to answer a theory question and to solve an exercise.
Lucas, T. Berlanger, I., Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4th edition].
| Training | Study programme | Block | Credits | Mandatory |
|---|---|---|---|---|
| Bachelor in Chemistry | Standard | 0 | 2 | |
| Bachelor in Biology | Standard | 0 | 2 | |
| Bachelor in Geology | Standard | 0 | 2 | |
| Bachelor in Mathematics | Standard | 0 | 2 | |
| Bachelor in Physics | Standard | 0 | 2 | |
| Bachelor in Geography : General | Standard | 0 | 2 | |
| Bachelor in Biology | Standard | 3 | 2 | |
| Bachelor in Chemistry | Standard | 3 | 2 | |
| Bachelor in Mathematics | Standard | 3 | 2 | |
| Bachelor in Geology | Standard | 3 | 2 | |
| Bachelor in Geography : General | Standard | 3 | 2 | |
| Bachelor in Physics | Standard | 3 | 2 |