Combining Texts

Ideas for 'The Problem of the Soul', 'The Structure of Objects' and 'The Correspondence Theory of Truth'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

3 ideas

5. Theory of Logic / A. Overview of Logic / 4. Pure Logic

3746	Logic seems to work for unasserted sentences [O'Connor]
	Full Idea: If sentences can have truth-values only when they occur as asserted, it would be impossible to have a truth-functional basis to logic.
	From: D.J. O'Connor (The Correspondence Theory of Truth [1975], Ch.6)

5. Theory of Logic / B. Logical Consequence / 1. Logical Consequence

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]

5. Theory of Logic / B. Logical Consequence / 4. Semantic Consequence |=

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)