开放类逻辑的哲学基础——一种非规范三值内涵语义理论

根据Hume问题不可解原理 ,本文提出开放世界预设 ,该预设刻画了开放类的第一个特征 :开放类扩展后得到的新成员可能不 (并非必然 )具有它原有成员借以分类的任一性质 ;根据开放类的定义 ,开放类的第二个特征为 :开放类在其扩展过程中惟一的不变量是它的成员必须具有的性质。在此基础上本文给出一种纯内涵语义理论 ,从“性质”概念出发给出开放类及其运算的定义、开放语句的解释和语句的真值条件 ,并根据开放世界预设建立的一种非规范的三值语义理论 ,描述了开放类的逻辑的特征。