Composante
UFR de philosophie (UFR10)
Volume horaire
26h
Période de l'année
Automne
Description
2- Théorie de la démonstration (3 ECTS) K4041315
|
Jean Fichot |
Jeudi 16h30-18h30 |
Halbwachs |
Résumé
Variantes et fragments de la déduction naturelle classique du premier ordre. Propriétés des preuves sans coupures. Elimination des coupures et applications : démonstrations de cohérence et d'indépendance, constructivité (le cas intuitionniste: arithmétique de Heyting ; aspects constructifs de la logique classique : déduction naturelle multi-conclusions).
Bibliographie
Un polycopié et des exercices seront donnés sur l'EPI du cours.
David R., Nour K., Raffalli C., Introduction à la logique : Théorie de la démonstration, Dunod, Paris,2001.
Negri S., von Plato J., Structural proof theory, Cambridge University Press, 2001.
Prawitz D., Natural Deduction, Almquist et Wiksell, Stockholm, 1965. Réédition Courier Dover Publications, 2006.