display all the ideas for this combination of texts
2 ideas
13288 | Consequence is truth-preserving, either despite substitutions, or in all interpretations [Koslicki] |
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. | |
From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2 n8) | |
A reaction: [compressed] |
14506 | 'Roses are red; therefore, roses are colored' seems truth-preserving, but not valid in a system [Koslicki] |
Full Idea: 'Roses are red; therefore, roses are colored' may be necessarily truth-preserving, but it would not be classified as logically valid by standard systems of logic. | |
From: Kathrin Koslicki (The Structure of Objects [2008], 9.3.2) |