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.

Categories

Keywords

Reprint years

2021

DOI

10.1007/s10670-019-00112-7

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,505

External links

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

Through your library

My notes

Similar books and articles

Thomas Piecha and Peter Schroeder-Heister. Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics. Studia Logica , vol. 107 (2019), no. 1, pp. 233–246. - Alexander V. Gheorghiu, Tao Gu and David J. Pym. Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. Automated Reasoning with Analytic Tableaux and Related Methods, Revantha Ramanayake and Josef Urban, Lecture Notes in Computer Science, vol. 14278, Springer, Cham, pp. 367–385. - Hermógenes Oliveira. On Dummett’s Pragmatist Justification Procedure. Erkenntnis , vol. 86 (2021), no. 2, pp. 429–455. [REVIEW]Will Stafford - 2024 - Bulletin of Symbolic Logic 30 (3):427-431.
Inference Rules and the Meaning of the Logical Constants.Hermógenes Oliveira - 2019 - Dissertation, Eberhard Karls Universität Tübingen
On Dummett’s verificationist justification procedure.Wagner de Campos Sanz & Hermógenes Oliveira - 2016 - Synthese 193 (8):2539-2559.
Revisiting Dummett's Proof-Theoretic Justification Procedures.Hermógenes Oliveira - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 141-155.
Dummett's Views on Intuitionism Logic.Xiao-Ming Ren & Biao Gu - 2007 - Nankai University (Philosophy and Social Sciences) 4:46-51.
Incompleteness of Intuitionistic Propositional Logic with Respect to Proof-Theoretic Semantics.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):233-246.
Dummett's objection to the ontological route to intuitionistic logic: a rejoinder.Mark van Atten - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6):725-742.
How Fundamental is the Fundamental Assumption?Nils Kurbis - 2012 - Teorema: International Journal of Philosophy 2 (2):5-19.
Countering Justification Holism in the Epistemology of Logic: The Argument from Pre-Theoretic Universality.Frederik J. Andersen - 2023 - Australasian Journal of Logic 20 (3):375-396.
Meaning is Use: the Case of Propositional Identity.Leonard Kupś & Szymon Chlebowski - 2024 - Bulletin of the Section of Logic 53 (3):275-299.

Analytics

Added to PP
2019-03-17

Downloads
90 (#234,004)

6 months
6 (#869,904)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Hermógenes Oliveira
Federal University of Paraiba

Citations of this work

Add more citations

References found in this work

The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge: Harvard University Press.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Basic proof theory.A. S. Troelstra - 2000 - 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