On Dummett’s verificationist justification procedure

Synthese 193 (8):2539-2559 (2016)
  Copy   BIBTEX


We examine the proof-theoretic verificationist justification procedure proposed by Dummett. 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

Author's Profile

Hermógenes Oliveira
Federal University of Paraiba


Added to PP

512 (#30,381)

6 months
108 (#32,397)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?