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.
En outre, les connaissances spécialisées suivantes sont enseignées dans ce proséminaire: la structure générale d’un LPO; la syntaxe et la sémantique des principaux connecteurs vérifonctionnels; les différentes lois logiques et leur application dans la dérivation de la forme normale négative d’une proposition composée; la définition inductive d’une fbf; la syntaxe et la sémantique du quantificateur universel et du quantificateur existentiel.
- Enseignant·e: Maximilian Vincent Nietschke
- Enseignant·e: Rafaela Schinner
- Enseignant·e: Giovanni Sommaruga