Single Idea 13288

[catalogued under 5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence]

Full Idea

Two conceptions of logical consequence: a substitutional account, where no substitution of non-logical terms for others (of the right syntactic category) produce true premises and false conclusions; and model theory, where no interpretation can do it.

Gist of Idea

Consequence is truth-preserving, either despite substitutions, or in all interpretations

Source

Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8)

Book Reference

Koslicki,Kathrin: 'The Structure of Objects' [OUP 2008], p.243


A Reaction

[compressed]