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 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 2021-2022 > 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