caa a22 4500 465779158 CHVBK 20180323111950.0 cr unu---uuuuu 170327e19900301xx s 000 0 eng 10.1007/BF00401556 doi (NATIONALLICENCE)springer-10.1007/BF00401556 Daniels Charles 777 Blanshard, #308, V8W 2G9, Victoria, British Columbia, Canada aut Definite descriptions [Elektronische Daten] [Charles Daniels] 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 ∨ ∼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 ∨ ∼ 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 firstorder axiom schemes remain as axiom schemes in the system presented. Kluwer Academic Publishers, 1990 Studia Logica Kluwer Academic Publishers 49/1(1990-03-01), 87-104 0039-3215 49:1<87 1990 49 11225 https://doi.org/10.1007/BF00401556 text/html Onlinezugriff via DOI 1 research-article jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF00401556 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Daniels Charles 777 Blanshard, #308, V8W 2G9, Victoria, British Columbia, Canada aut NATIONALLICENCE 773 0- Studia Logica Kluwer Academic Publishers 49/1(1990-03-01), 87-104 0039-3215 49:1<87 1990 49 11225 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer