Combining Texts

Ideas for 'Defending the Axioms', 'The Evolution of Logic' and 'Writing the Book of the World'

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

display all the ideas for this combination of texts

---

5 ideas

3. Truth / A. Truth Problems / 3. Value of Truth

14992

We don't care about plain truth, but truth in joint-carving terms [Sider]

3. Truth / B. Truthmakers / 5. What Makes Truths / b. Objects make truths

15012

Orthodox truthmaker theories make entities fundamental, but that is poor for explanation [Sider]

3. Truth / C. Correspondence Truth / 2. Correspondence to Facts

13469

Tarski showed how we could have a correspondence theory of truth, without using 'facts' [Hart,WD]

3. Truth / F. Semantic Truth / 1. Tarski's Truth / b. Satisfaction and truth

13504

Truth for sentences is satisfaction of formulae; for sentences, either all sequences satisfy it (true) or none do [Hart,WD]

3. Truth / F. Semantic Truth / 2. Semantic Truth

13503

A first-order language has an infinity of T-sentences, which cannot add up to a definition of truth [Hart,WD]