Combining Texts

All the ideas for 'poems', 'The Folly of Trying to Define Truth' and 'Models and Reality'

expand these ideas     |    start again     |     specify just one area for these texts

10 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
23295 Truth cannot be reduced to anything simpler [Davidson]
3. Truth / C. Correspondence Truth / 3. Correspondence Truth critique
23298 Neither Aristotle nor Tarski introduce the facts needed for a correspondence theory [Davidson]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
23297 The language to define truth needs a finite vocabulary, to make the definition finite [Davidson]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
23296 We can elucidate indefinable truth, but showing its relation to other concepts [Davidson]
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / o. Axiom of Constructibility V = L
13655 The Löwenheim-Skolem theorems show that whether all sets are constructible is indeterminate [Putnam, by Shapiro]
9915 V = L just says all sets are constructible [Putnam]
5. Theory of Logic / J. Model Theory in Logic / 3. Löwenheim-Skolem Theorems
9913 The Löwenheim-Skolem Theorem is close to an antinomy in philosophy of language [Putnam]
6. Mathematics / C. Sources of Mathematics / 4. Mathematical Empiricism / a. Mathematical empiricism
9914 It is unfashionable, but most mathematical intuitions come from nature [Putnam]
13. Knowledge Criteria / A. Justification Problems / 1. Justification / a. Justification issues
23294 It is common to doubt truth when discussing it, but totally accept it when discussing knowledge [Davidson]
22. Metaethics / A. Ethics Foundations / 2. Source of Ethics / j. Ethics by convention
6017 Nomos is king [Pindar]