Position
Model-Theoretic Consequence
A conclusion is a logical consequence of premises when every admissible interpretation or model that makes the premises true also makes the conclusion true.
Classification
- Position level
- specific
- Domains
- Logic
Overview
The model-theoretic account treats validity as the absence of a countermodel. It holds the logical vocabulary fixed while varying the interpretation of the nonlogical terms: if no such variation makes the premises true and the conclusion false, the conclusion follows.
Position on
References
- Alfred Tarski, 'On the Concept of Logical Consequence' (1936), in Logic, Semantics, Metamathematics, 2nd ed. (1983), pp. 409–420
- Stanford Encyclopedia of Philosophy, Logical Consequence, §3.1