Introduction à la logique.
Présentation :
Ce cours est une introduction à la logique mathématique à destination des philosophes.Nous aborderons la logique propositionnelle (LP) et la logique du premier ordre (LPO). Aucun pré-requis logique ou mathématique n'est exigé ; nous introduirons les éléments de théorie des ensembles nécessaires.
Horaires :
Le cours a lieu, au premier semestre, le mercredi de 13h à 15 h en salle INFO 3 (NIR)
| Document d'accompagnement | Feuille d'exercices | ||
| 11/X |
Préliminaires Morphologie de LP |
DA n°1
|
FE n°1 |
| 18/X | Morphologie de LP | DA n°2 |
|
| 25/X | Sémantique de LP (1) | DA n°3 | FE n°3 |
| 8/XI | Intermède ensembliste | DA n°4 | FE n°4 |
| 15/XI | Intermède ensembliste (suite) | ||
| 22/XI | Sémantique de LP (2) | DA n°5 | FE n°5 |
| 29/XI | Sémantique de LP (2, suite) | ||
| 6/XII | Syntaxe de LP | DA n°6 | FE n°6 |
| 13/XII | Syntaxe de LP (suite) | ||
| 20/XII | Introduction à LPO | DA n°7 | FE n°7 |
| 10/I | Morphologie et sémantique de LPOM | DA n°8 | FE n°8 |
| 17/I | Syntaxe de LPOM | DA n°9 | |
| 24/I (Dernière séance !) | LPOP | DA n°10 |
Liens utiles :