A Formal Characterization of Referential Presupposition:Triggered by Proper Names as Existence

Zhou Beihai,Fu Qingfang
DOI: https://doi.org/10.3969/j.issn.1674-3202.2014.01.001
2014-01-01
Abstract:The research tradition on presupposition under the truth-value semantics requires that the presupposition to be true should be a necessary condition for the original sentence to be true. The trivalent semantics is one of the most typical methods under this tradition. It is natural at one point. However, there is a serious misunderstanding which takes the“undefinedness”as a truth-value at the same level as the truth-value of the original sentence, which ignores the difference between the object language and meta language. The original sentence and its presupposition belong to different language layers. <br> Taking the referential presupposition triggered by proper names as an example, this gives a new formal semantic frame, using which could build a compound model that not only guarantees to differentiate the original sentence and its presupposition belong to different language layers, but also unifiedly talks about them across the layers. We have built formal languages L+and L, and their corresponding models M+and M (a partial model where some constant or variable may have no value), which are used to character-ize the truth semantic relationship between the original sentence and the presupposition. The former is an expansion of the latter so that they have the same base, which will make sure that all the constants and variables have appeared in M will also appear in M+. And M+ will also introduce a special kind of predicate E to describe an individual is exist in the meta language, which cannot be interpreted in M, and also makes sure that all these kind of individuals also belong to the domain of M. The domain of M is a subset of M+. The new semantic frame revels the truth-value structure of the original sentence and the presupposition as 2//[2]+[0], which makes the general understanding of presupposition to be formally described and presented.
What problem does this paper attempt to address?