A Critical Remark on the BHK Interpretation of Implication

Philosophia Scientiae 18:13-22 (2014)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,264

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Healey's holistic interpretation of quantum mechanics.Don Robinson - 1992 - International Studies in the Philosophy of Science 6 (3):227 – 240.
O implikacji kauzalnej.Anna Modrzejewska - 2004 - Roczniki Filozoficzne 52 (1):215-224.
Modal semantics, modal dynamics and the problem of state preparation.Laura Ruetsche - 2003 - International Studies in the Philosophy of Science 17 (1):25 – 41.
Retracing One’s Steps: Searching for the Ethics of Legal Interpretation. [REVIEW]Susanna Lindroos-Hovinheimo - 2009 - International Journal for the Semiotics of Law - Revue Internationale de Sémiotique Juridique 22 (2):163-178.
Contextual implication.Isabel C. Hungerland - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):211 – 258.

Analytics

Added to PP
2015-01-20

Downloads
14 (#732,866)

6 months
1 (#449,844)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references