Repository | Journal | Volume | Articles
(2016) Synthese 193 (8).
We examine the proof-theoretic verificationist justification procedure proposed by Dummett (1991). After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.
Publication details
DOI: 10.1007/s11229-015-0865-3
Full citation:
Oliveira, H. (2016). On Dummett's verificationist justification procedure. Synthese 193 (8), pp. 2539-2559.
This document is unfortunately not available for download at the moment.