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
  📖 Diaporama du cours  •  📝 TD n°1
• Indications bibliographiques : Lepage, p. 7–8 (La notion d’énoncé), exercices 1–3, p. 9 (corrigé p. 22)

Cours 2 : Logique propositionnelle : syntaxe, sémantique et tables de vérité
📄 Diaporama du cours

Indications bibliographiques : Lepage, p. 9–20 (sans 1.1.6) + ex. 13 (très conseillé) + ex. 14 (p. 20) ; corrigé : p. 25–29.

Cours 3 : Équivalence logique et traduction des énoncés en langage formel
📄 Diaporama du cours

Cours 4 : Test 1

Cours 5 : Arbres sémantiques et méthodes de décision
📄 Diaporama du cours

Cours 6 : Arguments, validité et stratégies de réfutation
📄 Diaporama du cours

Cours 7 : Introduction à la syllogistique aristotélicienne
📄 Diaporama du cours

Cours 8 : Test 2

Cours 9 : Propositions catégoriques : représentation diagrammatique, relations et inférences immédiates
📄 Diaporama du cours

Cours 10 : Validité des syllogismes et principes de déduction
📄 Diaporama du cours

Cours 11 : L’analytique aristotélicienne : figures et réduction des syllogismes
📄 Diaporama du cours

Cours 12 : Test 3