e/Supervaluationism

Information
has gloss	eng: In logic, supervaluationism is a semantics for dealing with irreferential singular terms and vagueness. Consider the sentence Pegasus likes licorice in which the name Pegasus fails to refer. What should its truth value be? There is nothing in the myth that would justify any assignment of values to it. On the other hand, consider Pegasus likes licorice or Pegasus doesnt like licorice which is an instance of the valid schema p ∨ ~p (i.e. p or not-p). Shouldnt it be true regardless of whether or not its disjuncts have a truth value? According to supervaluationism, it should be.
lexicalization	eng: supervaluationism
instance of	(noun) reasoning from the general to the particular (or from cause to effect) synthesis, deductive reasoning, deduction