Logique formelle
- Code de l'UE SSPSB307
-
Horaire
15Quadri 1
- Crédits ECTS 2
-
Langue d'enseignement
Français
- Professeur Sartenaer Olivier
Au terme de l'unité d'enseignement, l'étudiant(e) aura acquis les bases logiques nécessaires pour évaluer, par différentes méthodes, la validité de raisonnements déductifs formels.
L'objectif du cours est de familiariser l'étudiant(e) avec la logique formelle déductive classique. En particulier, il s'agira d'apprendre diverses méthodes destinées à établir la validité de raisonnements.
Les connecteurs logiques, les tables de vérités, la notion de modèle, la déduction naturelle...
Il s'agit d'un cours magistral laissant une place prépondérante à la réalisation d'exercices.
L'examen est écrit et à cours fermé. Il comprend, pour chaque session, une brève question de théorie (/5) et trois raisonnements dont l'étudiant(e) sera invité(e) à déterminer de la validité (ou de la non-validité) par l'entremise de trois différentes méthodes abordées au cours (3x/5).
Lucas, T., Berlanger, I, Degauquier, V. (2014). Initiation à la logique formelle. Bruxelles: De Boeck [4ème édition].
Formation | Programme d’études | Bloc | Crédits | Obligatoire |
---|---|---|---|---|
Bachelier en sciences chimiques | Standard | 0 | 2 | |
Bachelier en sciences biologiques | Standard | 0 | 2 | |
Unités d'enseignement supplémentaires au master en sciences chimiques (220P) | Standard | 0 | 2 | |
Bachelier en sciences géologiques | Standard | 0 | 2 | |
Bachelier en sciences mathématiques | Standard | 0 | 2 | |
Bachelier en sciences physiques | Standard | 0 | 2 | |
Bachelier en sciences géographiques, orientation générale | Standard | 0 | 2 | |
Unités d'enseignement supplémentaires au master en sciences chimiques (220P) | Standard | 1 | 2 | |
Bachelier en sciences biologiques | Standard | 3 | 2 | |
Bachelier en sciences géographiques, orientation générale | Standard | 3 | 2 | |
Bachelier en sciences géologiques | Standard | 3 | 2 | |
Bachelier en sciences chimiques | Standard | 3 | 2 | |
Bachelier en sciences mathématiques | Standard | 3 | 2 | |
Bachelier en sciences physiques | Standard | 3 | 2 |