• Sommaruga Giovanni

• Sommaruga Giovanni

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.

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.

La participation active et la remise régulière des exercices donnent droit à 3 ECTS. Pour l'examen de logique réussi on obtient 3 ECTS supplémentaires. Ce proséminaire poursuit l'enseignement du SA 2019 et n’est pas obligatoire. Pour ce proséminaire l'étudiant qui veut passer un examen, doit s'inscrire non seulement pour cette unité (L01.00201) mais également dans l'unité L01.00258 Examen: Logique II. 

Validation
Pour étudiants dans le Plan d’études Bachelor en vigueur avant le semestre d’automne 2017 :
Etudiants en philosophie (domaine I) dans le Module ‘Points libres’
Etudiants en philosophie (domaine II) dans le Module ‘Module combiné à choix’

Pour étudiants dans le Plan d’études Bachelor valable dès le semestre d’automne 2017
Etudiants en philosophie (domaine I et domaine II) dans le Module de base