Speranza
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.
Tuesday, April 30, 2019
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment