Combining Texts

All the ideas for 'Truth (frags)', 'Intro: Theories of Vagueness' and 'Naming and Necessity preface'

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

25 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
16985 Possible worlds allowed the application of set-theoretic models to modal logic [Kripke]
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
9065 S5 collapses iterated modalities (◊□P→□P, and ◊◊P→◊P) [Keefe/Smith]
5. Theory of Logic / F. Referring in Logic / 1. Naming / c. Names as referential
16982 A man has two names if the historical chains are different - even if they are the same! [Kripke]
7. Existence / D. Theories of Reality / 10. Vagueness / b. Vagueness of reality
9064 Objects such as a cloud or Mount Everest seem to have fuzzy boundaries in nature [Keefe/Smith]
7. Existence / D. Theories of Reality / 10. Vagueness / c. Vagueness as ignorance
9044 If someone is borderline tall, no further information is likely to resolve the question [Keefe/Smith]
9048 The simplest approach, that vagueness is just ignorance, retains classical logic and semantics [Keefe/Smith]
9055 The epistemic view of vagueness must explain why we don't know the predicate boundary [Keefe/Smith]
7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness
9049 Supervaluationism keeps true-or-false where precision can be produced, but not otherwise [Keefe/Smith]
9056 Vague statements lack truth value if attempts to make them precise fail [Keefe/Smith]
9058 Some of the principles of classical logic still fail with supervaluationism [Keefe/Smith]
9059 The semantics of supervaluation (e.g. disjunction and quantification) is not classical [Keefe/Smith]
9060 Supervaluation misunderstands vagueness, treating it as a failure to make things precise [Keefe/Smith]
7. Existence / D. Theories of Reality / 10. Vagueness / g. Degrees of vagueness
9050 A third truth-value at borderlines might be 'indeterminate', or a value somewhere between 0 and 1 [Keefe/Smith]
9061 People can't be placed in a precise order according to how 'nice' they are [Keefe/Smith]
9062 If truth-values for vagueness range from 0 to 1, there must be someone who is 'completely tall' [Keefe/Smith]
9063 How do we decide if my coat is red to degree 0.322 or 0.321? [Keefe/Smith]
9. Objects / B. Unity of Objects / 3. Unity Problems / e. Vague objects
9045 Vague predicates involve uncertain properties, uncertain objects, and paradoxes of gradual change [Keefe/Smith]
9047 Many vague predicates are multi-dimensional; 'big' involves height and volume; heaps include arrangement [Keefe/Smith]
9053 If there is a precise borderline area, that is not a case of vagueness [Keefe/Smith]
9. Objects / F. Identity among Objects / 1. Concept of Identity
16981 With the necessity of self-identity plus Leibniz's Law, identity has to be an 'internal' relation [Kripke]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
4942 The indiscernibility of identicals is as self-evident as the law of contradiction [Kripke]
10. Modality / C. Sources of Modality / 1. Sources of Necessity
16984 I don't think possible worlds reductively reveal the natures of modal operators etc. [Kripke]
10. Modality / D. Knowledge of Modality / 2. A Priori Contingent
9385 The very act of designating of an object with properties gives knowledge of a contingent truth [Kripke]
10. Modality / E. Possible worlds / 1. Possible Worlds / a. Possible worlds
4943 Instead of talking about possible worlds, we can always say "It is possible that.." [Kripke]
10. Modality / E. Possible worlds / 2. Nature of Possible Worlds / a. Nature of possible worlds
16983 Probability with dice uses possible worlds, abstractions which fictionally simplify things [Kripke]