摘要
周延性规则是词项逻辑中的一个重要推理规则,但它并不是一个普遍适用的规则。通过用不相容性代替传统的方式来刻画周延性,得到一个新的周延性定义。基于新的周延性定义,周延性规则普遍适用。再修改周延性规则和增加两条三段论规则,就可以得到一个新的三段论推理规则系统,从而建立一个统一的周延性理论。
The rule of distribution is a important inference rule and not universally applicable in Term Logic. A new definition of distribution is characterized with incompatibility instead of traditional manner. The rule of new distribution is universally applicable. A unified theory of distribution includes a new system of inference rules of syllogism being made up of a modified rule of distribution, two additional rules and the original rules.
基金
国家社科基金项目"信息变化的逻辑研究"成果之一
项目编号:12CZX055
湖南省教育厅项目"信息更新逻辑的完全性研究"成果之一
项目编号:12C0856
关键词
词项逻辑
周延性
周延性规则
Term Logic
Distribution
Rule of Distribution
