模态系统推理规则强弱虚实.docVIP

模态系统的推理规则的强弱虚实* The Strong, Weakness, Empty and Non-empty of the Rules of Modal Systems 李小五 (中山大学逻辑与认知研究所，中山大学哲学系，广东　广州，510275) 【摘要】模态系统的推理规则可以用强弱虚实这四种性质进行分类。在一个系统中这几种性质无论在语形上还是语义上都有一定的联系和区别，有些性质在一个系统的变种或扩充中并不一定保持。 【关键词】模态系统；强推理规则；弱推理规则；虚推理规则；实推理规则 Abstract: The rules of modal systems can be classified by the properties of rules of inference：strong, weakness, empty and non-empty. There are a certain connections and differences in syntax and semantics among the properties in a system, and some of the properties do not conserve in the varieties and extensions of a system. Key words：modal system；strong inference rule；weak inference rule；empty inference rule；non-empty inference rule 中图分类号：文献标识码：A * 此文发表在《现代哲学》，2004年第4期 说明：为了引入我们通常使用的推理规则，我们先给出一个定义： 1.2定义 （1）称σ是一个代入映射，当且仅当σ是从At到FL中的映射。 （2）任给公式A，定义A的代入特例Aσ如下： ①　pσ＝σ(p)， 对所有p∈At， ②　(?A)σ＝? (Aσ)， ③　(A∧B)σ＝(Aσ)∧(Bσ)， ④　(□A)σ＝□(Aσ)。┤ 1.3定义 （1）MP是最小的（相对(）二元推理规则使得：对所有公式A和B，若(A，A→B(∈Dom(MP)或(A→B，A(∈Dom(MP)，则B∈Ran(MP)。 通常我们把MP模式化地表示为 A，A→B／B。 （2）US是最小的一元推理规则使得：对所有公式A，若A∈Dom(US)，则对所有代入映射σ，Aσ∈Ran(US)。 通常我们把US模式化地表示为 A／Aσ。 （3）RN是最小的一元推理规则使得：对所有公式A，若A∈Dom(RN)，则□A∈Ran(RN)。 通常把RN模式化地表示为 A／□A。┤ 说明：MP甚至可以看作是从2重笛卡尔积 FL2到FL中的部分映射，而RN甚至可以看作是从FL到FL中的部分映射。 类似地，我们把n个前提的推理规则模式化 地表示为A1，…，An／B。 注意：模式化地表示概念多少有点含混，但通常大家接受这种表示，因为我们可以像本文后面那样通过定义内定理概念和推演概念来使之清晰。 1.4定义　 （1）模态系统K是由下列公理和推理规则构成的系统： （Taut）p→q→p，　 (p→q→r)→(p→q)→p→r， 　(?p→q)→(?p→?q)→p， （K）　□(p→q)→□p→□q，　　　 （MP）A，A→B／B， （RN）A／□A， （US）A／Aσ，　对每一代入映射σ。 （2）其余的模态系统如通常定义： D＝K＋D，　T＝K＋T，　B＝T＋B， S4＝T＋4，　S5＝T＋E，其中 （D） □p→◇p，　　 　 （T） □p→p， （4） □p→□□p， 　　 （B） p→□◇p，　　　 （E） ◇p→□◇p。┤ 说明：以后我们用S表示上述任一模态系统。 MP，US和RN称为S的（初始）推理规则。这些规则如何使用，下面几个定义给出相应的规定。 1.5定义 （1）称公式序列A1，…，An是S中A的一个形式证明，当且仅当An＝A，且对每一1≤i≤n，下列条件之一成立： ①　Ai是S的某个公理的代入特例。即存在S的公理B∈Dom(US)使得Ai＝Bσ∈Ran(US)。 ②　存在j，k＜i使得Aj＝Ak→Ai，即存在j，k＜i使得( Ak，Aj(∈Dom(MP)或( Aj，Ak (∈Dom(MP)，且Ai∈Ran(MP)。 ③　存在j＜i使得Ai＝□Aj，即存在j＜i使得 Aj∈Dom(RN)且Ai∈Ran(RN)。 （2）称A是S的内定理，记作?S A或A∈Th(S)，当且仅当存在公式序列A1，…，An使得该序列是S中A的一个形式证明。┤ 说明：①－③分别表示如何使用推理规则US，MP和RN。 注意：①规定US只能用于S的公理，但下面的定理说明