Teaching directory
Course 2024-2025

Formal logic [SSPSB307]

  • 2 credits
  • 15h
  • 1st quarter
Language of instruction: French / Français

Objectives

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

Formalization, logical connectors, truth tables, models, natural deduction, etc.


Teaching methods

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

Evaluations

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.

Recommended readings

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

 

 

 

Language of instruction

French / Français

Location for course

NAMUR

Organizer

Faculté des sciences
Rue de Bruxelles, 61
5000 NAMUR

Degree of Reference

Undergraduate Degree