K4041315 - Théorie de la démonstration - Cours magistral
Le cours vise l'étude de la déduction naturelle pour la logique classique du premier ordre et de ses sous-systèmes. Nous allons étudier en particulier le résultat de l'élimination des coupures et ses principales applications. Le cours se poursuivra ensuite par une discussion sur la constructivité pour le cas intuitionniste et par des considérations sur la constructivité pour le cas classique.
Références bibliographiques
- David, R., Nour, K., et Raffalli, C. Introduction à la logique : Théorie de la démonstration. Dunod, Paris. 2001.
- Girard, J., Lafont, Y., et Taylor, P. Proofs and Types. Cambridge University Press, Cambridge. 1989.
- Prawitz, D. Natural Deduction. Almquist et Wiksell, Stockholm. 1965.
Jour et heure du cours : mercredi de 17h à 19h
Informations sur l'espace de cours
| Nom | Archive année 2021-2022 Théorie de la démonstration - M1S1 2021-2022 |
| Nom abrégé | UP1-C-ELP-K4041315-01 - M1S1 2021-2022 |
| Groupes utilisateurs inscrits | Consultation des ressources, participation aux activités : aucune cohorte inscrite. Consultation des ressources uniquement : aucune cohorte inscrite. |
Rattachements à l'offre de formation
| Élément pédagogique | UP1-C-ELP-K4041315 - Théorie de la démonstration |
| Chemin complet | > Année 2024-2025 > Paris 1 > Philosophie > M1 Philosophie parcours logique et philosophie des sciences > Semestre 1 > UE3 enseignement spécifique > Option logique > Théorie de la démonstration |