Abstract
Three views on definite descriptions are summarized and discussed, including that of P. F. Strawson in which reference failure results in lack of truth value. When reference failure is allowed, a problem arises concerning Universal Instantiation. Van Fraassen solves the problem by the use of supervaluations, preserving as well such theorems as a=a, and Fa or ~Fa, even when the term a fails to refer. In the present paper a form of relevant, quasi-analytic implication is set out which allows reference failure to infect even a=a and Fa or ~Fa with lack of truth-value. Reference failure causes lack of truth-value in a subwff to spread throughout any wff built up by the classical connectives. As a result none of the classical first-order axiom schemes remain as axiom schemes in the system presented.