摘要
根据Hume问题不可解原理 ,本文提出开放世界预设 ,该预设刻画了开放类的第一个特征 :开放类扩展后得到的新成员可能不 (并非必然 )具有它原有成员借以分类的任一性质 ;根据开放类的定义 ,开放类的第二个特征为 :开放类在其扩展过程中惟一的不变量是它的成员必须具有的性质。在此基础上本文给出一种纯内涵语义理论 ,从“性质”概念出发给出开放类及其运算的定义、开放语句的解释和语句的真值条件 ,并根据开放世界预设建立的一种非规范的三值语义理论 ,描述了开放类的逻辑的特征。
Based on the principle of the insolvability of Hume's Problem, the author proposes an Open World Assumption (OWA). According to OWA, the opening class has two characteristics as follows: (1) it is possible (but not necessary) that new members of an opening class possess none of the properties by virtue of which the original members are distinguished from each other, and (2) the only unchangeable feature in an opening class is the property shared by all its members. To provide a formal description of these characteristics, this paper proposes a method of purely intensional semantics and takes property as the primary term in defining the main concepts of semantics. Finally, the principles of a nonnormal 3 valued semantics are proved.
出处
《中国社会科学》
CSSCI
北大核心
2004年第3期64-74,共11页
Social Sciences in China
