Bull证明的一个注记.pdfVIP

逻辑学研究 2011 年第4 期，15–23 文章编号：1674-3202(2011)-04-0015-09 Bull 定理一个证明的注记 裘江杰 中国人民大学哲学院 qiujiangjie@ 摘 要：Blackburn 等的ModalLogic 是一部优秀的中高阶教材，但是该书中对Bull 定 理的证明存在着不少疏漏。本文对之进行了修正，同时给出关键步骤的简化证明。 关键词：S4.3；正规扩张；有穷框架性 中图分类号：B81 文献标识码：A Blackburn 等著的Modal Logic 是一部优秀的中高阶教材，被较广使用。1 但是该书第4.9 节中对Bull 定理的证明存在着不少疏漏。比如，引理4.94 的证明 ([1],pp.249-250)，尽管以构造性形式表述，但是并没有实际给出每一步元素选取 的方法；并且，如果作者的未表述出来的方法与笔者在后文中所使用的相同，那 么其中Claim 2 ([1], p. 250) 的证明是错误的。又如，在定理4.96 的证明中关于有 界态射的逆向条件部分([1], p. 252) 也存在着疏漏，作者忽略了 不在 中的 情形。另外证明的关键步骤实际上可以简化，因此本文在给出改正版本的同时， 在有关步骤也给出简化的证明。 下面先列出文中要用到公式、概念，更基本的请参看文献[1]。 定义1 S4.3 是K 的正规扩张，其新公理为： (T) ； (4) ； (.3) 。 它们分别对自返、传递以及右不分叉典范。 定义2 称一个正规模态逻辑 有有穷框架性，若对任意的 一致的公式 φ，有有穷模型 ⟨ ⟩，使得φ 在 上可满足，并且 在⟨ ⟩ 上有 效。 收稿日期：2011-08-08 基金项目：本文得到国家社会科学基金项目“模态逻辑中的典范问题研究”（编号08CZX020）、中国人民大 学科学研究基金项目10XNL012 和中国人民大学哲学院985 工程三期建设项目的资助。 致 谢：审稿人提出了不少中肯的意见与建议，特此感谢。 1在国内该书至少已被北大、清华、人大以及北师大等高校采用作研究生模态逻辑课程的教材。 16 逻辑学研究 第4 卷第4 期 2011 年 命题1 (Bull 定理) S4.3 的一致的正规扩张都有有穷框架性。 对于取定的S4.3 的一致的正规扩张 以及 一致的公式φ，定理的证明分 为三个步骤： 1. 取 的典范模型的一个以包含φ 的极大一致集 为根的生成子模型 ， 这时有 φ 并且 ； 2. 得到一个 的滤模型 ，使φ 在 上可满足，注意滤模型及其子模 型都已是有穷区分模型； 3. 删去 中的一些点，得到 ，仍然满足φ；利用它诱导出 的一个 可定义变体 ，使 到 的自然映射成为有界态射。 完成这三步得到定理的证明： 是 的可定义变体及 得 2 ；再由 为 的有界态射像得 3 ，进而由 是有穷区分 4 模型得其基底框架为 框架 ，最后加上φ 在 上可满足完成证明的“建筑”。 证明的关键在第三步，而疏漏与可简化之处也正在这一步中。下文逐步展 开。5 第一步之可行在于当φ 是 一致的公式时，公式集φ 可扩张成为一个 6 7 -极大一致集 ，那么由真引理得 φ 。 记