• 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