structure for 'Existence'    |     alphabetical list of themes    |     expand these ideas

7. Existence / D. Theories of Reality / 9. Vagueness / e. Supervaluation for vagueness

[narrowing down the vagueness]

21 ideas
A vague sentence is only true for all ways of making it completely precise [Fine,K]
Logical connectives cease to be truth-functional if vagueness is treated with three values [Fine,K]
Meaning is both actual (determining instances) and potential (possibility of greater precision) [Fine,K]
With the super-truth approach, the classical connectives continue to work [Fine,K]
Borderline cases must be under our control, as capable of greater precision [Fine,K]
Supervaluationism keeps true-or-false where precision can be produced, but not otherwise [Keefe/Smith]
Vague statements lack truth value if attempts to make them precise fail [Keefe/Smith]
Some of the principles of classical logic still fail with supervaluationism [Keefe/Smith]
The semantics of supervaluation (e.g. disjunction and quantification) is not classical [Keefe/Smith]
Supervaluation misunderstands vagueness, treating it as a failure to make things precise [Keefe/Smith]
Supervaluation refers to one vaguely specified thing, through satisfaction by everything in some range [Hawley]
Supervaluationism takes what the truth-value would have been if indecision was resolved [Hawley]
A 'precisification' of a trivalent interpretation reduces it to a bivalent interpretation [Sider]
A 'supervaluation' assigns further Ts and Fs, if they have been assigned in every precisification [Sider]
We can 'sharpen' vague terms, and then define truth as true-on-all-sharpenings [Sider]
Supervaluational logic is classical, except when it adds the 'Definitely' operator [Sider]
Identities and the Indiscernibility of Identicals don't work with supervaluations [Read]
A 'supervaluation' gives a proposition consistent truth-value for classical assignments [Read]
Supervaluations say there is a cut-off somewhere, but at no particular place [Read]
In the supervaluationist account, disjunctions are not determined by their disjuncts [Horsten]
If 'Italy is large' lacks truth, so must 'Italy is not large'; but classical logic says it's large or it isn't [Horsten]