逻辑与认知电子期刊.pdfVIP

《逻辑与认知》电子期刊 2004 年 第3 期 主次条件句逻辑 1 2 刘壮虎 李小五 (1. 北京大学哲学系，北京 100871；2. 中山大学逻辑与认知科学研究所，广东 广州 510275) 摘要：首先，我们分析了主次条件句的性质，建立了主次条件句的极小系统C2L ，证明了一些有重要直 m 观意义的内定理。其次，我们构造了一种邻域语义学，证明了 C2L 的可靠性,并据邻域语义学引进了一 m 般的典范模型的概念，然后应用典范模型证明了C2L 的完全性。最后，根据极小系统C2L 的技术性结 m m 果，我们简单讨论了相关主次条件句的一些重要问题。 关键词：条件句逻辑；主次条件句；邻域语义学；典范模型；单调性 中图分类号: B81 文献标识码: A 条件句刻画条件和结果的联系。通常的条件句逻辑只刻画一个条件下的结果；当遇到 多个条件时，将其合取起来成为一个条件。这种处理有时是不合适的，因为在得到结果时， 这多个条件的作用可能是不同的，而将它们简单地合取在一起就有可能抹杀它们的差别。 因此我们需要直接处理多个条件的条件句。 本文讨论两个条件有差别的一类条件句，这两个条件分为主要条件和次要条件，所以 我们称这种条件句逻辑为主次条件句逻辑。 一、基本思想 同时考虑两个条件和一个结果，就需要用三元联接词≥。 ≥ 的直观意义是： (1) 从条件 和 得到结果 ； (2) 是主要条件， 是次要条件。 注意(2)没有说 不是次要条件， 不是主要条件，所以可能同时有： 是主要条件， 是次要条件。因此≥刻画的是一种更为宽泛的双条件句。 但有了这种宽泛的双条件句，我们可以定义严格的区分主次的条件句。 ( ≥)( ≥) 就可以用来表示 是主要条件，是次要条件的严格的条件句。 用这种宽泛的双条件句，我们还可以定义单条件的条件句。单条件的条件句 ＞可以 用 ≥来定义。 条件(1)是说：从 和 得到 ，但并不排除从单独的 或也能得到 的情况，而且主 要条件和次要条件的差别能在这种情况下得到体现。 如果两个条件能得到一个结果，其中一个条件可以单独得到此结果，而另一个条件不 能单独得到此结果，则这不能单独得到此结果的条件不能是主要条件。 从这个基本假定可以得到：如果 ≥ 成立，则¬( ＞)和 ＞ 不能同时成立，也就 是说：如果 ≥ 和 ＞ 都成立，则 ＞ 也一定成立。所以有以下公理： ( ≥)( ＞)( ＞) 。 《逻辑与认知》电子期刊 2004 年 第3 期 但在 ≥ 和 ＞ 同时成立的情况下， ＞ 可以成立，也可以不成立。所以这公理的对 称形式 ( ≥)( ＞) ( ＞) 不是公理。 满足这基本假设的主次条件句逻辑就是极小的主次条件句逻辑。当然，主次条件句也 是条件句，所以它们还应满足条件句的性质。 [1] 按作者的看法 ，＞成为蕴涵的最小要求是： (1) 保真性 真且 ＞真，则 真，形式表示就是公理：( ＞) 。（这也可以 形式表示为：( ＞)() 。） (2) 完备性 如果在任何情况下，都能从 得到 ，则 ＞成立。 在任何情况下，都能从 得到 ，就是说 成立，所以完备性的形式表示是推演规 则：从 得到 ＞ 。 [2] 条件句可以看作相对前提的