Goals

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.

Content

Logical connectors, truth tables, models, natural deduction, etc.

Assessment method

The exam is written. For each session, it consists in answering two theoretical questions (/5) as well as determining whether or not three given reasonings are valid through three of the methods exposed during the lectures (3x/5).

Sources, references and any support material

Lucas, T. Berlanger, I., Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4th edition].

 

 

 

 

 

Language of instruction

Français