Ce proséminaire développe les facultés suivantes: la compréhension et l’application du langage formel de la logique des prédicats du 1er ordre (LPO); la traduction d’une langue naturelle en LPO et inversement; l’analyse d’arguments et le test de leur validité; la maîtrise de concepts logiques centraux tels que la vérité logique, la conséquence logique, l’équivalence logique, la conséquence tautologique, etc.
- Enseignant·e: Giovanni Sommaruga
- Enseignant·e non éditeur: Elisa Bezençon
- Enseignant·e non éditeur: Maximilian Vincent Nietschke