On Dummett’s Pragmatist Justification Procedure

Erkenntnis 86 (2):429-455 (2019)
  Copy   BIBTEX

Abstract

I show that propositional intuitionistic logic is complete with respect to an adaptation of Dummett’s pragmatist justification procedure. In particular, given a pragmatist justification of an argument, I show how to obtain a natural deduction derivation of the conclusion of the argument from, at most, the same assumptions.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 141-155.
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
Toward a New Pragmatist Politics.Robert B. Talisse - 2011 - Metaphilosophy 42 (5):552-571.
The Possibility of Unicorns and Modal Logic.Lee Walters - 2014 - Analytic Philosophy 55 (2):295-305.
Dummett's justification of deduction.Susan Haack - 1982 - Mind 91 (362):216-239.
Dummett Laudatio.Ian Rumfitt - 2017 - In Michael Frauchiger (ed.), Truth, Meaning, Justification, and Reality: Themes From Dummett. Boston: De Gruyter. pp. 13-24.
Disquotationalism, Truth and Justification.Karyn L. Freedman - 2006 - Canadian Journal of Philosophy 36 (3):371-386.

Analytics

Added to PP
2019-03-17

Downloads
79 (#210,156)

6 months
12 (#208,861)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hermógenes Oliveira
Federal University of Paraiba

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Basic proof theory.A. S. Troelstra - 1996 - New York: Cambridge University Press. Edited by Helmut Schwichtenberg.
The Philosophical Basis of Intuitionistic Logic.Michael Dummett - 1978 - In Truth and other enigmas. Cambridge: Harvard University Press. pp. 215--247.
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.

View all 18 references / Add more references