主次条件句逻辑.docVIP

PAGE PAGE 13 主次条件句逻辑 刘壮虎1 李小五2 (1. 北京大学哲学系，北京　100871；2. 中山大学逻辑与认知科学研究所，广东 广州 510275) 摘要：首先，我们分析了主次条件句的性质，建立了主次条件句的极小系统C2Lm，证明了一些有重要直观意义的内定理。其次，我们构造了一种邻域语义学，证明了C2Lm的可靠性,并据邻域语义学引进了一般的典范模型的概念，然后应用典范模型证明了C2Lm的完全性。最后，根据极小系统C2Lm的技术性结果，我们简单讨论了相关主次条件句的一些重要问题。 关键词：条件句逻辑；主次条件句；邻域语义学；典范模型；单调性 中国分类号: B81 文献标识码: A 条件句刻画条件和结果的联系。通常的条件句逻辑只刻画一个条件下的结果；当遇到多个条件时，将其合取起来成为一个条件。这种处理有时是不合适的，因为在得到结果时，这多个条件的作用可能是不同的，而将它们简单地合取在一起就有可能抹杀它们的差别。因此我们需要直接处理多个条件的条件句。 本文讨论两个条件有差别的一类条件句，这两个条件分为主要条件和次要条件，所以我们称这种条件句逻辑为主次条件句逻辑。 一、基本思想 同时考虑两个条件和一个结果，就需要用三元联接词≥。??≥?的直观意义是： (1) 从条件a和b得到结果g； (2) a是主要条件，b是次要条件。 注意(2)没有说a不是次要条件