命题型择类语义与主次条件句逻辑.docVIP

《哲学动态》2004年增刊 命题型的择类语义与主次条件句逻辑 李小五1 刘壮虎2 (1. 中山大学逻辑与认知科学研究所，广东广州 510275；2. 北京大学哲学系，北京 100871) 摘要：首先，我们构造双条件句系统C2K和主次条件句系统C2L2，给出这两个系统的一些证明论结果。其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。最后，我们证明这两个系统相对不同的框架类是框架可靠和框架完全的。 关键词：双条件句系统；主次条件句系统；命题型的择类语义；框架可靠性；框架完全性 〔中图分类号〕B81 〔文献标识码〕A 〔文章编号〕1002–8862–(2004)增刊–0000–00 1. 形式系统及其证明论 本文提到但没有定义的概念和记号等，请参见刘壮虎和李小五的[1]、李小五和刘壮虎的[2]和李小五的[3]。 我们总用A, B, C,…表示公式，其形成规则如下： p((A(A(B(AB≥C。 为了叙述方便，我们规定联结符的结合力从左到右依次减弱： (，(，(，≥，(，(。 我们还规定同类联结符右向结合，因此 AB≥(C(D)(AB≥C(AB≥D 就是 (AB≥(C(D))(((AB≥C)((AB≥D))。 此外，下面我们常用符号(表示“当且仅当”，用(表示“若…，则…”。 定义1.1 双条件句系统C2K由以下公理（模式）和推演规则构成： 公理（模式）：