Position
Model-Theoretic Consequence
A conclusion follows logically from premises when no way of reinterpreting the non-logical words makes the premises true and the conclusion false.
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