On Dummett’s verificationist justification procedure
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.