Position
Proof-Theoretic Consequence
A conclusion follows logically from premises when it can be derived from them step by step by rules that fix what 'and', 'not' and 'if' mean.
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