Approfondissements en logique formelle
Horaires : le lundi, 11h-13h, salle 215
Présentation : L’objectif de ce
cours est d’introduire aux concepts, techniques et résultats de
la logique formelle. L’essentiel du semestre sera consacré à la
logique propositionnelle (appelée également parfois “calcul des
propositions”), qui est la partie la plus élémentaire de la
logique contemporaine. Nous exposerons le langage de la
logique propositionnelle, sa sémantique (et la
méthode des tables de vérités) et l’une de ses syntaxes existantes
(au choix, la déduction naturelle ou la méthode des arbres).
Nous envisagerons quelques enrichissements de ce formalisme
élémentaire (logique du premier ordre et logique modale) et
donnerons quelques aperçus philosophiques pertinents. De brefs
exercices d’application seront donnés chaque semaine.
Syllabus
: syllabus.pdf
| Transparents | Exercices | |||
| 23/01 | introduction |
T1 |
exos1 |
|
| 30/01 | logique propositionnelle, 1 morphologie |
T2 | exos2 | |
| 06/02 | logique propositionnelle, 2 sémantique |
T3 | exos3 | |
| 13/02 | logique propositionnelle, 3 syntaxe |
T4 | exos4 | |
| 20/02 | ||||
| 05/03 | ||||
| 12/03 | ||||
| 19/03 | ||||
| 26/03 | ||||
| 02/04 | ||||
| 09/04 | ||||
| 30/05 | ||||
| 07-11/05 | PARTIEL | |||