Single Idea 9059

[catalogued under 7. Existence / D. Theories of Reality / 10. Vagueness / f. Supervaluation for vagueness]

Full Idea

The semantics of supervaluational views is not classical. A disjunction can be true without either of its disjuncts being true, and an existential quantification can be true without any of its substitution instances being true.

Gist of Idea

The semantics of supervaluation (e.g. disjunction and quantification) is not classical

Source

R Keefe / P Smith (Intro: Theories of Vagueness [1997], §3)

Book Reference

'Vagueness: a Reader', ed/tr. Keefe,R /Smith,P [MIT 1999], p.32


A Reaction

There is a vaguely plausible story here (either red or orange, but not definitely one nor tother; there exists an x, but which x it is is undecidable), but I think I will vote for this all being very very wrong.