充分条件关系的本质属性.pdfVIP

东岳论丛 Jan．，2010Vo1．31No．12010年1月(g31卷／第l期) (DongYueTribune) 充 分 条 件 关 系 的 本 质 属 ，陡 朱 霖 (贵州大学人文学院，贵州 贵阳550025) [摘 要]充分条件关系的定义历来是逻辑学关注的焦点。传统形式逻辑的界说可归结为 “朦胧的正确”；正 统数理逻辑的规定可归结为 “清晰的荒谬”。“事件A是B的充分条件”的逻辑含义是，“可独立于A、B的有无确 定(这称为 “第一独立性”)不会是有A而无B”，其间的 “前件A为有可独立于后件 B的有无确定”(称为 “第二独 立性”)。包含在充分备件关系中的这两个逻辑独立性质是人类能以有限把握无限、从 已知进入新知的逻辑依据， 是逻辑科学这座大厦两块坚实的基石。 [关键词]充分条件关系的两个独立性；必然联系；实质蕴涵的两个依赖性；以有限把握无限；从已知进入新知 [中圈分类号]B81 [文献标识码]A [文章编号]1003—8353(2010)01—0030—05 一 、 “充分条件”研 究的历史和现状 在逻辑史上，“充分条件”作为重要的联结关系，历来都是研究者关注的焦点。那是因为 任何有效的推 理格式的前、后件之间一定存在普遍有效的充分条件关系；对事实上可得出新知的推理来说在其前件 中也一 定含有充分条件关系。因此，人们很早就开始探讨充分条件关系的逻辑含义了。早在二千四百年前，《墨经 · 经说上》对 “大故”与 “小故”(充分条件与必要条件关系)就 曾作出过如下规定：“有之必然”，“无之必不 然”④。在古希腊，斯多噶学派的第奥多罗斯将充分条件关系的含义界说为：“不可能前件真而后件假”②，而 十四世纪法国巴黎大学校长布利丹则将之规定为：“一个命题称作另一个命题的前件，如果当这两个命题给 定时，不管这两个命题的意义是什么，不可能第一个是真的，而第二个是假的。” 《墨经》中的 “有、无”指的是 客观事件的有、无，因此，墨子所说的 “充分条件”(即 “大故”)理应是客观事件问的客观联结关系。而客观事 件又是作为思想命题的思考对象，因此，命题的 “真、假”与其所思考的事件的 “有、无”同义：事件为有，命题 为真；事件为无，命题为假。第奥多罗斯和布利丹所提出的界说可同义地译释为：“不可能有前件而无后件” (当然，这里 “前、后件”均指客观事件)，而这又与将墨子的话译成现代汉语 “有前件必然有后件”等价，因为， “不可能不”与 “必然”等价 。 但是，虽说充分条件关系是传统形式逻辑的主要研究对象，却对此至今 尚无严格准确、一致的定义。国 内一些形式逻辑书(如金岳霖的 《形式逻辑简明读本》)就仍采用与两千多年前在 《墨经》中提出的 “有之必 然”相应的 “有 甲必然有乙”这种素朴的界说。但这种素朴的界说却经不起当代形式逻辑的严格考核。譬 如说，当后件乙本身就是必然事件(如乙为 “下雨或不下雨”)时，对于任意的前件 甲(如甲为 “我姓朱名霖”) 来说，似乎就满足 “有甲必然有乙”(似乎是其乙必然因此甲任意时的特殊情况)，可是，任意的甲决非本身就 是与甲毫无内在联系的乙的充分条件。又譬如，“甲，必然，乙必然甲且乙”是否成立?在这种出现两次 (甚至 [基金项 目]教育部人文社会科学基金项 目“当代形式逻辑及其在人工智能中的应用研究”(编号：07JA720006)阶段性成 果之一。 [作者简介 ]朱霖(1958一)，男，贵州大学人文学院副教授。 30 充分条件关系的本质属性 更多次)“必然”的较为复杂的情况下，用这种素朴的界说就很难担负起鉴别其成立与否的逻辑标准了。 其实，“…是…的充分条件”、“…必然…”作为二元联结关系，其严格的逻辑含义在传统形式逻辑中始终 未曾被清晰地揭露，前者的逻辑含义始终是朦胧的，后者亦然，因此，想用后者来界说前者，依 旧摆脱不了朦 胧。但是 ，尽管如此 ，在二千四百多年的发展过程中，传统形式逻辑始终坚持充分条件关系的前 、后件之 间必 须具有内在的必然联系这一点，无疑是难能可贵、殊堪珍惜的历史遗产 ，它向后继者指明了正确的探索方 向。 综观上