On Dummett’s verificationist justification procedure

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

Abstract

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

Similar books and articles

Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
On adopting Kripke semantics in set theory.Luca Incurvati - 2008 - Review of Symbolic Logic 1 (1):81-96.
Constructive sheaf semantics.Erik Palmgren - 1997 - Mathematical Logic Quarterly 43 (3):321-327.
Intuitionistic completeness of first-order logic.Robert Constable & Mark Bickford - 2014 - Annals of Pure and Applied Logic 165 (1):164-198.
Negationless intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.

Analytics

Added to PP
2015-09-07

Downloads
324 (#36,510)

6 months
43 (#31,169)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hermógenes Oliveira
Federal University of Paraiba

Citations of this work

No citations found.

Add more citations

References found in this work

The Logical Basis of Metaphysics.Michael Dummett - 1991 - Harvard University Press.
Intuitionism.A. Heyting - 1966 - Amsterdam: North-Holland Pub. Co..
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.

View all 13 references / Add more references