• Votre sélection est vide.

    Enregistrez les diplômes, parcours ou enseignements de votre choix.

Théorie de la démonstration

  • 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. 

Lire plus