书眉：模态逻辑讲义.doc

PAGE  PAGE 271 模态逻辑讲义 （2006年） 李小五　编著 中山大学逻辑与认知研究所 第1章　公理化系统 在本章§1我们给出模态语言和模态公式，讨论它们的语形特性，引入刻画模态的公理和推理规则，然后定义本书主要关注的公理化系统，并定义相对模态系统的形式证明和推演概念。最后我们证明这些系统是协调和和谐的。 从§2到§5我们分别介绍初等系统、基本系统、退化系统和其他重要系统，着重证明这些系统的内定理和导出规则以及这些系统之间的相互关系。 我们也证明某些系统的元定理，例如，等价置换定理、对偶公式定理、对偶符串定理、演绎定理、归约定理、Post-完备性定理和模态合取范式存在定理。这些定理往往是经典逻辑相应定理的本质推广。　  §1　公理化系统　协调性　和谐性 本节我们给出模态语言和模态公式，讨论它们的语形特性，引入刻画模态的公理和推理规则，然后定义本书主要关注的公理化系统，并定义相对模态系统的形式证明和推演概念。最后我们证明这些系统是协调和和谐的。 为了简洁，本书我们用?表示元语言意义上的“…当且仅当…”，用?表示“若…，则…”，用～表示“并非”，用∵表示“因为…”，用∴表示“所以…”。 1.1.1定义　 (1)　称L是(句子型的)模态语言 ? L由下列互不相同的符号组成：　 ①　句符集：At＝df ?p1，…，pn(，…)?； ②　逻辑符：?，□，?； 　　 ③　技术符：( ，)。 (2)　递归定义ML是满足下列条件的最小集合： 　　 ①　At ?ML； 　　 ②　A，B?ML ? A，□A，(A?B)?ML。┤ 说明：(一) 上述①表示非空集At是可数的，即At或是有穷的，或是可数无穷的。At中的元素称为句符。句符通常也称为命题变元或句子变元或原子公式。 通常也把ML称为模态语言，这似乎更符合我们对语言的直观理解。 ?和?称为联结符。?(读作：非)直观上表示“否定”，?(读作：合取)直观上表示“并且”，它们通常称为真值联结符或命题联结符。 □(读作：必然)称为模态符或(一元)模态算子。从上述定义看，□也是一个一元联结符，只是在本书我们一般不把它解释为真值联结符。 本书我们用□指称要讨论的模态概念。这个概念通常理解为某种“必然性”。实际上，人们在日常思维中有各种模态概念，其直观语义多种多样，但本书一般不讨论。本书主要研究模态逻辑的技术部分，即使在语义方面也着重研究两种形式语义。当然，不同的形式语义，特别是不同的公理化系统，刻画了不同的模态符，而这些差异的后面实际上有不同的直观语义(背景)。请有兴趣的读者参见相关的文献。 (二) At的基数是有穷或可数无穷的。但事实上，本书的绝大部分结果对任意基数的句符集皆成立。 (三) 对任意形如□A的公式，称A是□的辖域。 (四) 今后若不特别提到，我们总用元变元p，q，r，… (带或不带上下标)表示At中的公式，其中p，q，r分别特指p1，p2，p3；用元变元A，B，C，D，…　(带或不带上下标)表示ML中的公式；用Γ，Φ，Ψ，Θ，Ξ，…　(带或不带上下标)表示公式集，即ML的子集。 (五) ∵上述①—③提到的符号互不相同，∴通过(2)得到的ML中的句子具有唯一可读性，并且具有可枚举性。设语言L是可数无穷的，即At是可数无穷的。∵由L构成的ML中的公式是有穷个符号构成的符号串，∴据集合论的基本事实，可数无穷集的所有有穷子集的个数仍是可数无穷的，∴我们可以枚举ML中的所有公式如下：　 A1，…，An，…。 关于这方面的严格表述和证明，请读者参见Enderton的[1972]。 (六) “┤”称为结束符。用在定义、引理、定理和推论等后面。 1.1.2缩写定义　 (Df?)　(A?B)＝df ?(?A??B)， (Df?)　(A?B)＝df ?(A??B)， (Df?)　(A?B)＝df ((A?B)?(B?A))， (Df◇)　◇A＝df ?□?A， (Df T)　T＝df (p??p)， (Df⊥)　⊥＝df ?T。┤ 　说明：(一) 上述定义前面的Df?，Df?，…分别是相应定义的缩写。这在将来证明系统的内定理时是很方便的。  (二) ? (读作：析取)直观上理解为“…或…”，?(读作：蕴涵)直观上理解为“若…，则…”，?(读作：等价)直观上理解为“…当且仅当…”，◇(读作：可能)直观上理解为”…是可能的”。  (三) ◇也称为模态符或模态算子。以后□和◇都简称为模态。 1.1.3约定　  (1)　为了节省括号，本书我们约定公式最外面的括号可以省略，且公式所含的联结符相对公式的结合力依次减弱：　　　 ?， □， ◇， ?， ?， ?，?。 (2)　同类联结符满足右向结合律。例如，我们用A