Combining Texts

Ideas for 'On Liberty', 'Structures and Structuralism in Phil of Maths' and 'The Evolution of Logic'

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

display all the ideas for this combination of texts

---

3 ideas

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]

10170

While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price]