Learning outcomes

At the end of the course, students will have obtained the ability to assess, through different ways, the validity of formal deductive reasonings.

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.

Teaching methods

The course is lecture-based but interspersed with moments devoted to solving exercises.

Assessment method

The exam is written. For each session, it consists in answering one theoretical question (/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

French