有限全序语义及广义皮尔斯律.pdfVIP

* 有限全序语义和广义皮尔斯律 刘壮虎 (北京大学外国哲学研究所，北京，100871，liuzh@) 摘要：将二值逻辑中刻画实质蕴涵的保真性推广有限全序中，用这推广的“保真性”给出蕴涵 在有限全序中的语义条件，从而给出了完整的有限全序语义。建立了刻画有限全序的逻辑系统 FO ， 证明 FO 的可靠性、完全性和可判定性。提出了广义的皮尔斯律，证明其能区分不同基数的有限全 序。给出了 FO 的扩充系统 FOn ，证明了FOn 刻画了 n 个元素的全序。 关键词：多值逻辑；有限全序；保真性；真的程度；皮尔斯律 在本体论意义上，命题只有两个值，真和假，但在认知的意义上，命题可能有多个“值”。另外 有些命题根本没有本体论的意义，如规范命题、评价命题、选择策略等，但是它们也可以有某种“值”。 讨论这类命题的逻辑性质，并不需要直接考虑这些“值”的意义，只需要考虑这些“值”的性质及 其它们之间的关系，从而确定命题联结词在这些“值”中的解释就行了。 我们将它们称为一种广义的真值，每个值代表一个不同程度的真。但我们并不像概率逻辑那样， 考虑每个值的绝对的真的程度，而是只考虑它们之间的相对关系，称为（真的程度的）强弱关系。 一个命题是逻辑有效的最一般的意义，是在所涉及的任何情况下，都是“真”的。对于广义的 真值，这样的刻画逻辑有效的“真”，就是真的程度最强的那个值，在本文中称它为“完全真”。 强弱关系一般是偏序关系，但因为以下两个原因，在本文中只考虑全序的强弱关系。 一、不少情况下，这强弱关系本来就是全序关系。 二、在很多情况下，如必需作出选择时、计算机处理广义真值时等，都是将偏序关系扩充成全 序关系的。而偏序理论告诉我们，这样的扩充是可以做到的。 当我们考虑的不是绝对的真的程度，而是相对的强弱关系时，很难给否定一个合理的意义。本 文暂时不考虑否定联结词，只考虑→、∧和∨。 虽然从理论上可以考虑一般的全序，但从广义真值的来源看，有限的全序更为重要。 基数相同的有限全序集都是同构的，我们用 Ns = {0, 1, , …, s-1}作为 s 个元素的有限全序集的代 表。注意，我们用 0 表示完全真，强弱关系和是相反的，a b 表示 a 强于 b ，所以 a ≥b 就是 a 不 强于 b 。 一、有限全序语义 我们使用的形式语言包括： (1) 命题变项 p , p , …, p , ……。用p , q, r 表示一般的命题变项。 1 2 n (2) 联结词 →(蕴涵) 、∧(合取)和∨(析取) 。 公式形成如常，用α, β, γ, ψ, ϕ表示一般的公式。全体公式的集合记为 Form 。 由{p , p , …, p }形成的公式的集合记为 Form ，在Form 上也有结构归纳法。任给公式α，存在 1 2 n n n n ，使得α∈Formn 。 在经典逻辑中，蕴涵式成立与否是用保真性来刻画的，保真性是说：前件真后件也真。用强弱 关系（经典的真值的广义真值的特例，在经典真值中，“真”强于“假”）说，就是前件不能强于后 * 本文得到教育部文科基地重大研究项目《20世纪西方逻辑哲学和数学哲学》（项目编号：05JJD720190 ）的资助。 件。 用“前件不能强于后件”来刻画蕴涵式，可以推广到广义真值中。在广义真值中，“前件不能强 于后件”可以称为真程度的保强性。 当蕴涵式成立时，蕴涵式取最强的完全真。当蕴涵式不成立时，蕴涵式不能取完全真，但还有 其它不同的值可取。我们提出一条等度原则来确定蕴涵式不成立时的值：蕴涵式不成立时，蕴涵式 和后件有同样的真的程度，即它们取相同的值。 合取式和析取式的取值是平凡的：合取式取值与两个合取支中弱的一个相同，析取式取值与两 个析取支中强的一个相同。 定义 1.1 s 赋值 s ≥2 。V ：Form→Ns ，V 称为一个 s 赋值，如果它满足以下条件： (1) 当V(α) ≥V(β)时，V(α→β) = 0 ，当V(α) V(β)时，V(α→β) = V(β) ；