书眉模态逻辑讲义.doc

模态逻辑讲义 （2006年） 李小五　编著 中山大学逻辑与认知研究所 第1章　公理化系统 在本章§1我们给出模态语言和模态公式，讨论它们的语形特性，引入刻画模态的公理和推理规则，然后定义本书主要关注的公理化系统，并定义相对模态系统的形式证明和推演概念。最后我们证明这些系统是协调和和谐的。 从§2到§5我们分别介绍初等系统、基本系统、退化系统和其他重要系统，着重证明这些系统的内定理和导出规则以及这些系统之间的相互关系。 我们也证明某些系统的元定理，例如，等价置换定理、对偶公式定理、对偶符串定理、演绎定理、归约定理、Post-完备性定理和模态合取范式存在定理。这些定理往往是经典逻辑相应定理的本质推广。　  1　公理化系统　协调性　和谐性 本节我们给出模态语言和模态公式，讨论它们的语形特性，引入刻画模态的公理和推理规则，然后定义本书主要关注的公理化系统，并定义相对模态系统的形式证明和推演概念。最后我们证明这些系统是协调和和谐的。 为了简洁，本书我们用(表示元语言意义上的“…当且仅当…”，用(表示“若…，则…”，用～表示“并非”，用∵表示“因为…”，用∴表示“所以…”。 1.1.1定义　 (1)　L是(句子型的)模态语言 ( L由下列互不相同的符号组成：　 ①　句符集：Atf (p1，…，pn(，…)(； ②　逻辑符：( 　　 ③　：( )。 (2)　ML是满足下列条件的最小集合： 　　 ①　At (ML； 　　 ②　A，B(ML ( A，□A，(A(B)(ML。 说明：At是可数的，即At或是有穷的，或是可数无穷的。At中的元素称为句符。。 (和(称为联结符。(()直观上表示“否定”，((读作：合取)直观上表示“并且”，它们通常称为真值联结符或命题联结符。 □(读作：必然)称为模态符或(一元)模态算子。 本书我们用□指称要讨论的模态概念。这个概念通常理解为某种“必然性”。实际上，人们在日常思维中有各种模态概念，其直观语义多种多样，但本书一般不讨论。本书主要研究模态逻辑的技术部分，即使在语义方面也着重研究两种形式语义。当然，不同的形式语义，特别是不同的公理化系统，刻画了不同的模态符，而这些差异的后面实际上有不同的直观语义(背景)。请有兴趣的读者参见相关的文献。 (二) 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中的所有公式如下：　 A1An，…。 关于这方面的严格表述和证明，请读者参见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)　。A1(…(An表示： 　A1((A2(…((An－1(An)…)。 (3)　Φ≠(((是空集符号)是有穷集，则我们用∧Φ和 ∨Φ分别指称Φ的所有元素(据某个固定的排序方法)的合取和析取。 若Φ＝(A(，则∧Φ＝df A， ∨Φ＝df A。 (4)　Φ＝(，则∧Φ＝df T，∨Φ＝df ⊥。┤ 说明：(4)的定义，直观解释如下：考虑∧(＝df T。 Φ为真的充要条件是 (☆)　A(Φ，则A真。 而当Φ＝(时，A(Φ不成立，∴(☆)空洞成立。∴我们把∧(定义为T。 同理可解释∨(＝df⊥。