Fiche du document
28 mars 2017
- doi: 10.4000/books.psorbonne.315
- isbn: 9782859445843
- eisbn: 9782859448103
https://www.openedition.org/12554 , info:eu-repo/semantics/openAccess
Mots-clés
logique mathématique temps sciences de la nature mécanique quantique Philosophy PHI000000 HPSujets proches
Et la logique Contribution à la logiqueCiter ce document
Denis Bonnay, « Règles et signification : le point de vue de la logique classique », Publications de la Sorbonne, ID : 10.4000/books.psorbonne.315
Métriques
Partage / Export
Résumé
Il s’agit ici d’évaluer l’impact philosophique de l’extension de l’« isomorphisme de Curry-Howard » à la logique classique ; nous chercherons à comprendre ce que cette extension veut dire du point de vue d’une théorie antiréaliste de la signification, révisionniste en matière logique. L’isomorphisme de Curry-Howard reflète en effet les propriétés de la logique intuitionniste qui en font la bonne logique pour un antiréaliste soucieux de satisfaire aux réquisits de Michael Dummett en matière de...