On Dummett's verificationist justification procedure

Hermógenes Oliveira

pp. 2539-2559

in: Synthese 193 (8), 2016.

Abstract

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.

Cited authors

Dummett Michael