本文试图提出与论证描述开放类的逻辑必须遵循的语义原则, 为建立开放类逻辑形式公理系统奠定哲学基础. 首先, 根据Hume 问题不可解原理和局部归纳理论(Shier, J., 1993), 本文提出开放世界预设和弱封闭世界预设, 前者揭示了开放类的第一个特征: 开放类扩展后得到的新成员可能不具有它原有成员借以相互区别的任何性质; 根据这一特征, 本文指出开放类的逻辑必须具有非经典的性质: 当一个语句为假时, 它的否定的真值不确定. 其次, 根据开放类的定义和Frege 的集合二元论观点, 开放类的第二个特征被阐明: 开放类的成员必须具有的性质是开放类唯一的不变量; 据此, 本文提出了一种纯粹的内涵语义学方法; 利用这一方法, 我们建立了一种内涵语义理论, 从“性质”概念出发给出了开放类及其运算的定义、开放语句的解释和语句的真值条件. 最后, 在上述语义理论的基础上, 本文根据开放世界预设建立一个非规范的三值语义理论, 描述了开放类的特征, 并证明上述语义理论的主要定理; 同时, 我们附带地用严格的方式表明Hume 问题何以可能挑战演绎合理性.