Repository | Journal | Volume | Articles
(2014) Philosophia Scientiae 18 (3).
A critical remark on the BHK interpretation of implication
Wagner de Campos Sanz , Thomas Piecha
pp. 13-22
On analyse l’interprétation BHK de constantes logiques sur la base d’une prise en compte systématique de Prawitz, résultant en une reformulation de l’interprétation BHK dans laquelle l’assertabilité de propositions atomiques est déterminée par des systèmes de Post. On démontre que l’interprétation BHK reformulée rend davantage de propositions assertables que la logique propositionnelle intuitionniste rend prouvable. La loi de Mints est examinée en tant qu’exemple d’une telle proposition. La logique propositionnelle intuitionniste devrait par conséquent être considérée comme étant incomplète. Nous concluons par une discussion sur l’adéquation de l’interprétation BHK de l’implication.
Publication details
DOI: 10.4000/philosophiascientiae.965
Full citation:
de Campos Sanz, W. , Piecha, T. (2014). A critical remark on the BHK interpretation of implication. Philosophia Scientiae 18 (3), pp. 13-22.
This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.
