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.
- Enseignant·e: Elisa Bezençon
- Enseignant·e: Giovanni Sommaruga