Combining Texts

All the ideas for 'Axiomatic Theories of Truth (2005 ver)', ''Ostrich Nominalism' or 'Mirage Realism'?' and 'Reference and Necessity'

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

24 ideas

3. Truth / A. Truth Problems / 2. Defining Truth
15647 Truth definitions don't produce a good theory, because they go beyond your current language [Halbach]
3. Truth / F. Semantic Truth / 1. Tarski's Truth / c. Meta-language for truth
15649 In semantic theories of truth, the predicate is in an object-language, and the definition in a metalanguage [Halbach]
3. Truth / G. Axiomatic Truth / 1. Axiomatic Truth
15655 Should axiomatic truth be 'conservative' - not proving anything apart from implications of the axioms? [Halbach]
15654 If truth is defined it can be eliminated, whereas axiomatic truth has various commitments [Halbach]
15650 Axiomatic theories of truth need a weak logical framework, and not a strong metatheory [Halbach]
15648 Instead of a truth definition, add a primitive truth predicate, and axioms for how it works [Halbach]
3. Truth / H. Deflationary Truth / 2. Deflationary Truth
15656 Deflationists say truth merely serves to express infinite conjunctions [Halbach]
4. Formal Logic / F. Set Theory ST / 1. Set Theory
15657 To prove the consistency of set theory, we must go beyond set theory [Halbach]
5. Theory of Logic / C. Ontology of Logic / 1. Ontology of Logic
15652 We can use truth instead of ontologically loaded second-order comprehension assumptions about properties [Halbach]
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
15651 Instead of saying x has a property, we can say a formula is true of x - as long as we have 'true' [Halbach]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
16405 To understand a name (unlike a description) picking the thing out is sufficient? [Stalnaker]
8. Modes of Existence / D. Universals / 1. Universals
8502 Realism doesn't explain 'a is F' any further by saying it is 'a has F-ness' [Devitt]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
8503 The particular/universal distinction is unhelpful clutter; we should accept 'a is F' as basic [Devitt]
8. Modes of Existence / E. Nominalism / 1. Nominalism / c. Nominalism about abstracta
8501 Quineans take predication about objects as basic, not reference to properties they may have [Devitt]
9. Objects / C. Structure of Objects / 7. Substratum
16407 Possible worlds allow separating all the properties, without hitting a bare particular [Stalnaker]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
16397 If it might be true, it might be true in particular ways, and possible worlds describe such ways [Stalnaker]
16399 Possible worlds are ontologically neutral, but a commitment to possibilities remains [Stalnaker]
16398 Possible worlds allow discussion of modality without controversial modal auxiliaries [Stalnaker]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
16396 Kripke's possible worlds are methodological, not metaphysical [Stalnaker]
10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation
16408 Rigid designation seems to presuppose that differing worlds contain the same individuals [Stalnaker]
19. Language / A. Nature of Meaning / 1. Meaning
16406 If you don't know what you say you can't mean it; what people say usually fits what they mean [Stalnaker]
19. Language / B. Reference / 3. Direct Reference / b. Causal reference
16404 In the use of a name, many individuals are causally involved, but they aren't all the referent [Stalnaker]
19. Language / C. Assigning Meanings / 2. Semantics
16403 'Descriptive' semantics gives a system for a language; 'foundational' semantics give underlying facts [Stalnaker]
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
16401 To understand an utterance, you must understand what the world would be like if it is true [Stalnaker]