On Dummett's Pragmatist Justification Procedure
Logic
2019-03-19 v2
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.
Keywords
Cite
@article{arxiv.1701.03380,
title = {On Dummett's Pragmatist Justification Procedure},
author = {Hermógenes Oliveira},
journal= {arXiv preprint arXiv:1701.03380},
year = {2019}
}