Description
Ce cours propose une introduction à la logique formelle, en articulant deux traditions fondamentales : la logique propositionnelle et la syllogistique. La première partie du cours est consacrée à l’étude de la logique propositionnelle : propositions, valeurs de vérité, connecteurs logiques, tables de vérité et validité des arguments. La seconde partie introduit la syllogistique aristotélicienne, en examinant la structure des syllogismes, les figures et les modes, ainsi que les principes de la déduction classique.
Programme
- Cours 1 : Qu’est-ce que la logique ? Nature, objectifs et méthodes
- Cours 2 : Logique propositionnelle : syntaxe, sémantique et tables de vérité
- Cours 3 : Équivalence logique et traduction des énoncés en langage formel
- Cours 4 : Test 1
- Cours 5 : Arbres sémantiques et méthodes de décision
- Cours 6 : Arguments, validité et stratégies de réfutation
- Cours 7 : Introduction à la syllogistique aristotélicienne
- Cours 8 : Test 2
- Cours 9 : Propositions catégoriques : représentation diagrammatique, relations et inférences immédiates
- Cours 10 : Validité des syllogismes et principes de déduction
- Cours 11 : L’analytique aristotélicienne : figures et réduction des syllogismes
- Cours 12 : Test 3
GianlucaLonga 