arXiv Open Access 2017

On Dummett's Pragmatist Justification Procedure

Hermógenes Oliveira

Lihat Sumber

Abstrak

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.

Topik & Kata Kunci

math.LO

Penulis (1)

Hermógenes Oliveira

Format Sitasi

APA MLA BibTeX

Oliveira, H. (2017). On Dummett's Pragmatist Justification Procedure. https://arxiv.org/abs/1701.03380

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2017
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓