Position
Proof-Theoretic Consequence
A conclusion is a logical consequence of premises when there is a valid proof that establishes it from those premises through meaning-governed rules of inference.
Classification
- Position level
- specific
- Domains
- Logic
Overview
The proof-theoretic account explains consequence through the inferential steps that carry grounds for the premises into grounds for the conclusion. On its semantic forms, the introduction and elimination rules for logical expressions help determine their meaning rather than merely recording truths about models.
Position on
References
- D. Prawitz, 'Logical Consequence from a Constructivist Point of View', in The Oxford Handbook of Philosophy of Mathematics and Logic (2005)
- Stanford Encyclopedia of Philosophy, Logical Consequence, §3.2