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.