# On Dummett's Pragmatist Justification Procedure

## TL;DR

This paper demonstrates that propositional intuitionistic logic can be fully justified through an adaptation of Dummett's pragmatist procedure, enabling derivations from assumptions based on pragmatic justification.

## Contribution

It introduces a novel adaptation of Dummett's pragmatist justification for propositional intuitionistic logic, establishing its completeness.

## Key findings

- Propositional intuitionistic logic is complete with respect to the adapted pragmatist procedure.
- A method to derive natural deduction proofs from pragmatist justification is provided.
- The approach bridges pragmatic justification and formal proof systems.

## 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.