Combining Texts

All the ideas for 'Identity over Time', 'The Folly of Trying to Define Truth' and 'Mathematical Methods in Philosophy'

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

17 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]
5. Theory of Logic / A. Overview of Logic / 9. Philosophical Logic
18739 Three stages of philosophical logic: syntactic (1905-55), possible worlds (1963-85), widening (1990-) [Horsten/Pettigrew]
5. Theory of Logic / E. Structures of Logic / 1. Logical Form
18741 Logical formalization makes concepts precise, and also shows their interrelation [Horsten/Pettigrew]
5. Theory of Logic / J. Model Theory in Logic / 1. Logical Models
18744 Models are sets with functions and relations, and truth built up from the components [Horsten/Pettigrew]
7. Existence / A. Nature of Existence / 1. Nature of Existence
18740 If 'exist' doesn't express a property, we can hardly ask for its essence [Horsten/Pettigrew]
9. Objects / E. Objects over Time / 1. Objects over Time
16025 If things change they become different - but then no one thing undergoes the change! [Gallois]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
16026 4D: time is space-like; a thing is its history; past and future are real; or things extend in time [Gallois]
9. Objects / F. Identity among Objects / 6. Identity between Objects
16027 If two things are equal, each side involves a necessity, so the equality is necessary [Gallois]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
18745 A Tarskian model can be seen as a possible state of affairs [Horsten/Pettigrew]
18747 The 'spheres model' was added to possible worlds, to cope with counterfactuals [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / b. Impossible worlds
18748 Epistemic logic introduced impossible worlds [Horsten/Pettigrew]
10. Modality / E. Possible worlds / 1. Possible Worlds / e. Against possible worlds
18746 Possible worlds models contain sets of possible worlds; this is a large metaphysical commitment [Horsten/Pettigrew]
18750 Using possible worlds for knowledge and morality may be a step too far [Horsten/Pettigrew]
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]