Document ID: /fineweb-2-swissfilter-quality_10-filterrobots/filtered/07053.jsonl.gz/562

Proséminaire: Logique II
L011.0224
|Dozenten-innen: Sommaruga Giovanni|
|Kursus: Bachelor|
|Art der Unterrichtseinheit: Seminar|
|ECTS: 3|
|Sprache-n: Französisch|
|Semester: SP-2020|
Ce proséminaire est composé de deux parties: une partie historique qui traite des origines de la logique formelle dans l’antiquité, et une partie systématique qui sert d’approfondissement de la logique formelle du SH. Dans la partie historique sera présentée un aperçu de la logique aristotélicienne au sens large (théorie de la proposition, de l’opposition et de la conversion, du syllogisme, de l’induction et de la démonstration) et de la logique stoïcienne (les mégariques et les stoïciens). Dans la partie systématique seront introduites les méthodes de démonstration informelle et formelle (connues comme déduction naturelle) ainsi que les notions clé de correction et de complétude d’un système logique formel.
Le proséminaire: logique II peut seulement être suivi, si l'étudiant a acquis les connaissances du proséminaire de logique ou s'il peut prouver qu'il a fait des études équivalentes ailleurs.
Lernziele
Un étudiant ayant suivi avec succès ce cours sera capable d’expliquer les acquis logiques les plus importants de la philosophie de l’Antiquité (la logique aristotélicienne et la logique mégarico-stoïcienne), d’énumérer un nombre de problèmes classiques de la philosophie de la logique qui remontent à la logique de l’Antiquité, d’expliquer la signification de la méthode du contre-exemple et la distinction entre la méthode de démonstration informelle et celle de démonstration formelle, de faire des démonstrations informelles et formelles dans le cadre de la logique propositionnelle et dans celui de la logique des prédicats du 1er ordre, et de rendre compte des notions clé de correction et de complétude d’un système logique formel.