论在不同逻辑系统中的排中律.pdfVIP

第 16 卷第 5 期 中南大学学报(社会科学版) Vol.16 No.5 2010 年 10 月 J. CENT. SOUTH UNIV. (SOCIAL SCIENCE) Oct. 2010 论在不同逻辑系统中的排中律 孙明湘 ( 中南大学公共管理学院哲学系，湖南 长沙，410083) 摘要：作为思维基本规律的排中律是非形式化的，它具有直观普效性；在经典的(一阶)逻辑系统内，排中律作为 系统内的可证公式，具有系统内严格定义的普效性。而在非经典逻辑系统如多值逻辑、直觉主义逻辑系统中，由 于对原经典逻辑中二值性、实无穷性等假定的修正，排中律不再是该类系统中的可证公式，因而丧失其有效性。 作为逻辑真理的排中律同任何真理一样，是普遍性与相对性的对立统一。 关键词：排中律；普效性；逻辑系统；非经典逻辑 中图分类号：B812.1 文献标识码：A 文章编号：1672-3104(2010)05−0027−03 为：该公式是普遍有效的，当且仅当，它在任意解释 下都是真的。排中律公式与系统内其他定理也因此统 一 称为永真式或普遍有效式。定义中的“在任意解释下为 真”是有确定含义的，即在一阶逻辑的语义模型理论中 排中律在传统逻辑中，与同一律、矛盾律、充足 的任意解释下为真。这个语义理论又是建立在下述基 理由律一道被称为思维的基本准则，也称形式逻辑的 本原则或假定基础上的：①外延性(与内涵性相对，只 基本规律或元规律。它的含义是，两个互相对立的思 考虑命题的外延即真值) ；②二值性(与多值性相对， 想不能都是假的，其中必有一个是真的。或者说，两 只考虑命题的真假二值，排中律即排除真假二值以外 个互相对立的思想，不能都加否定，必须肯定其中一 的第三中可能) ；③个体域非空性(与空集相对，只考 个。“两个互相对立的思想”是指两个具有矛盾关系或 虑客观存在的个体) ；④实无穷性(与潜无穷相对，只 下反对关系的命题，例如，“所有自然数都是整数”与 考虑封闭的无穷集) 。在满足这四个假定条件下，我们 “有些自然数不是整数”，这是一对矛盾关系的命题； 说排中律具有直观普效性或经典逻辑内的普效性。当 “有些自然数是偶数”与“有些自然数不是偶数”这是一 取消或修改其中任一假定，经典逻辑则扩张或变异为 对下反对关系的命题。对于它们这两对具有矛盾关系 非经典逻辑，在非经典逻辑的不同系统中，排中律的 和下反对关系的命题，不可能都是假的，每一对命题 普效性受到挑战。 中必有一个是真的。因此，当我们在具体思维中，不 能都加否定，必须肯定其中一个。既是思维的基本准 二 则，自然要求在思维过程中被普遍遵循，不得违反。 因而说它是普遍有效的，或者说，无论任何人，只要 违反排中律，其思维就是混乱的，不合逻辑的，其逻 以下分别给出非经典逻辑中三值逻辑、内涵逻辑、 辑错误称模棱两可或两不可。这种普效性也称直观普 存在逻辑以及直觉主义逻辑几个逻辑系统对经典逻辑 效性。随着现代经典逻辑的诞生，逻辑规律都被公理 四假定之一的修正而导致排中律失效的实例。 化、形式化在一个逻辑系统内，称为系统内定理，具 1