充分条件关系及其两个特异性

逻辑学与科学论 重庆理工大学学报 (社会科学 ) � � 2010年第 24卷第 2期Journa l o f Chongqing University of Techno logy( Soc ial Science) Vo l� 24 No. 2 2010 � � 收稿日期: 2009- 11- 02 基金项目: 教育部人文社会科学 �当代形式逻辑及其在人工智能中的应用理论研究 ( 07JA720006)成果之一。 作者简介: 龚启荣 ( 1942! ), 男,江西景德镇人, 逻辑学教授,研究方向: 逻辑学、数学、人工智能学、语言学。 充分条件关系及其两个特异性 龚启荣 ( 贵州大学,贵阳 � 550025 ) 摘要:充分条件关系的定义历来是逻辑学关注的焦点, 传统形式逻辑的界说是 �朦胧的正确 , 而正统数理逻辑的规定实为�清晰的荒谬 。�事件 A是 B 的充分条件 的逻辑含义是 �可独于 A、B的有无确定 (这称为�第一独立性 )不会是有 A而无 B 。这便是非纯真值函数的复合事 件 ! ! ! 充分条件事件�若 A则 B 。其间的�前件 A为有可独立于后件 B的有无确定 称为 �第 二独立性 。包含在充分条件关系中的逻辑性质两个独立性是人类能以有限把握无限、从已知 进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石。 关键词:充分条件关系;必然关系;实质蕴涵;两个独立性;从已知进入新知 中图分类号: B81� � � � 文献标识码: A 文章编号: 1674- 8425( 2010) 02- 0025- 05 � � 在逻辑史上, �充分条件 作为重要的联结关 系,向来都是逻辑学家关注的焦点。这是因为,任 何推理式的前提和结论之间一定存在普遍有效的 充分条件关系;对事实上可得出新知的推理来说, 在其前提中一定含有充分条件关系。人们对充分 条件关系的逻辑含义的研究, 从古希腊的亚里士 多德、费罗 ( Philo) ,以及我国先秦的墨翟以来, 迄 今两千多年,始终是众说纷纭, 莫衷一是。尽管如 此,然而有一点却是十分明确的: 充分条件事件 �若 A,则 B ,不是正统数理逻辑所研究的纯真值 函数的复合事件,而是非纯真值函数的复合事件。 一、充分条件关系与必然关系同义 在流行的形式逻辑著作中,往往喜欢用 � A 必 然 B 来界说充分条件关系的�若 A,则 B 。例如, 在我国著名的逻辑学家金岳霖等著的∀逻辑通俗 读本#中,就是用 �有 A必然有 B 来定义 A是 B的 充分条件的 �若 A, 则 B 的。这就是说, 一种相当 有代表性的传统形式逻辑观点是: 必然关系就是 二元的非纯真值函数的充分条件关系, 就是二元 的非纯真值函数的联结词 �若, 则 的逻辑语义。 可是,令人遗憾的是,鉴于本身也可以作为联结词 的必然的逻辑含义一直不曾被规定清楚, 故此, 由 之界说的充分条件关系迄今未获严格准确、一致 公认的定义。不过, 非常幸运的是, 尽管上述二者 的逻辑含义都还不曾清晰地揭举, 然而对于那种 用必然来界说充分条件关系的颇有影响的传统逻 辑观点来说,有一点却是明确的: 从逻辑学意义上 说,此二者完全同义。 我们以符号表达式 A � B表示 � A 必然 B 或 � A是 B的充分条件 , 其中表意的人工符号� 称 为�充分条件号 , A� B就念做�若 A则 B (这称 为�符号式的念法 ), 而 � A 必然 B 或 � A是 B 的 充分条件 则是符号式的逻辑语义。以 A、B为前、 后件的非纯真值函数的复合事件 A� B就称为 �充 分条件事件 。这样一来,至少可用两个不同语句 �事物必然处于运动之中 、� x是事物 (A ( x ) ), 必 然, x处于运动变化之中 (B ( x ) ) 同义地陈述的 事件,用我们的符号就表示成为 A ( x ) � B ( x ), 其中的逻辑符号 x称为个体变元。自然语言是讲 究精练的,因此,命 A ( x ) � B ( x )通常不采用 � x是事物,必然, x处于运动变化之中 这种啰嗦 的说法,而是简洁地陈述为�事物必然处于运动变 化之中 。由于省略个体变元不提,而把其中出现 的语词 �必然 前后的两个语句紧缩成两个名词, 从而将 �必然 连接起来的两个语句压缩成一个包 含 �必然 的语句。正是自然语言的这种习惯, 有 时使人觉得, 非纯真值函数的复合事件中的二元 联结关系�必然 非常像是一元联结关系。 究竟有没有 �必然 B 这样的事件呢? 也就是 说, �必然 是不是也可以是一元联结关系呢? 从 自然语言表述的习惯看, �必然 B 这种语句表达 方式确实是经常碰到的。譬如, 在以实数为论域 的实数数学中,就有下述用来陈述数学定理的语 句 �必然 x2∃ 0 。通常,为了更符合约定俗成的语 言习惯,这个定理往往同义地说成 � x的平方必然 不小于零 。这里, 用上述语句表达的事件, 乍一 看,使人觉得似乎具有 NB ( x )形, 其中, N 表示 �必然 , B ( x )表示 � x2∃ 0 。不过, 经过仔细考 察,我们发现,上述语句只不过是对充分条件事件 U ( x ) � B (x )的一种简练的表述方式,其中, U 表示论域�实数 , U ( x )表示 � x在论域实数中 或 者 � x是实数 , 显然, 这是个恒真的开事件 (或恒 取值真的个体 -事件函数 )。充分条件事件 U (x ) � B ( x )也可以陈述为 � x是实数, 必然, x的平方 不小于零 , 而� x的平方必然不小于零 则为其同 义的简练陈述方式: 省去恒真的 � x 是实数 (因 为,原本以实数为论域, 个体变元 x当然在论域实 数中变 )不提, 为了符合语言习惯, 把陈述二元联 结关系的语词 �必然 移至剩下的那个语句中间, 从而把一个冗长的复合句提炼为一个简短的简单 句。这就是说,从语言表述上看起来仿佛具有 NB ( x )形的事件,其实却是 U ( x ) � B ( x )形, 是 A ( x ) � B ( x )形的充分条件当 A ( x )为 U ( x )时的 特殊情况。 这里,我们贯彻了在分析逻辑理论问题时的 一条重要主导思想: 为语句所表述的命题的逻辑 结构取决于被语境 (上下文或客观环境 )所决定的 该语句所指谓的客观的逻辑结构 (也可称为该语 句所表述命题的逻辑内容 ) ,而不取决于游离于语 境的、在很大程度上被民族的或个人的语言习惯 所左右的语句的语言表述方式。显然, 被语境单 义化了的语句的指谓只有一个, 以此指谓为内容 的命题也只有一个;然而,同时可用来承载这唯一 的命题而具有不同语言表述方式的语句, 却有成 千上万 (如今世界上至少有 2 500种不同民族语 言,而在每一种民族语言中又存在广泛的同义现 象 )。这就是说, 事实是: 被语境单义化了的语句 具有一个指谓,陈述一个命题, 而同时又可以有与 之同义的成千上万个具有不同的语言表述方式的 不同语句。由此可见, 命题与表述命题的语句的 指谓 (即客体 )一一对应, 而命题与承载命题的语 句却是多对多关系。正由于此, 命题的逻辑结构 取决于语句指谓的客观的逻辑结构, 而不取决于 语言的表述形态。要想通过语句的语言表述形态 来分析出为其所承载的命题的逻辑结构, 这就好 比是沙里淘金、隔靴挠痒。 至此,我们仍然不曾清楚地规定充分条件或 者必然关系的逻辑含义。尽管如此, 我们还是明 确了:从逻辑学意义上说, 此二者完全同义。下面 将要讨论的是: 这充分条件和必然关系的完全同 义的逻辑学意义上的 �义 究竟是什么? 二、充分条件事件的定义及充分条件 关系的第一独立性 � � 物理学确定了: 电磁波的传播速度是光 速! ! ! 每秒 30万公里。月亮与地球之间的精确 距离是通过电磁波往返于月地之间的时间测算 的。这时,要用到下述必然关系: 若电磁波往返于 月地间的时间为 x秒 (A ( x ) ),则月地距离为 x /2 % 30万公里 (B ( x ) )! ! ! 也可表述为: 电磁波往 返于月地间的时间为 x秒 (A ( x ) ),必然, 月地距 离为 x /2 % 30万公里 (B ( x ) )。物理学在实际测 出电磁波往返于月地间的时间之前, 早就确定上 述非纯真值函数的复合事件 �若 A ( x )则 B ( x ) 为有 (即存在 ), 这是由于存在下述 3个事实 ( x表 示个体变元,在论域中变; e表示 x可能取得的值, 为论域中的某一个体 ): ( 1)对于人的历史来说, 不管 x取得的值 e为 几许,有 A ( e)而无 B ( e)这样的事情,过去、现在和 将来都不会发生; ( 2)人已经确定了事实 (1); ( 3)人在确定事实 ( 1)时, 勿需依据 A ( e)、 B ( e)本身的有无。 这里,事实 ( 1 )可简称为 �不会是有 A 而无 B , 而这其实就是电磁波的传播速度为 30万公 里 /秒这个物理规律; 事实 ( 2 )就是人在利用上述 物理规律来测算月地距离之前早已在物理学中将 其确定的这个历史事实; 事实 ( 3)可简称 �勿需依 据 A、B本身的真假确定 ,这个事实的存在明如观 火! ! ! 既然人们还未动手测得电磁波的往返时 间,连 x所实际取得的值 e究竟何许尚且一无所 知,怎么可能在确定事实 ( 1)时去依据 A ( e)、B ( e) 本身的真假呢? 我们用这 3个事实组成一个综合 26 重庆理工大学学报 (社会科学 ) http: / / cqlg. jourserv. com 的重要事实:无需依据 A、B本身的有无确定不会 是有 A 而无 B。这个重要事实也可陈述为: 可独 立于 A、B本身的有无确定不会是有 A而无 B。我 们把包含在这重要事实中的 �可独立于 A、B本身 的有无确定 这个性质称为 �第一独立性 ,并简称 为 �一独 [1] 34。于是, 对于上述重要事实的陈述可 紧缩为: 具有一独的不会是有 A 而无 B。人们依 据早已确定的 � A ( x )必然 B ( x ) 为有 (这个在 先 ),并在其指导下,设计了一套测定的器械,通过 实测, 获得了 x的实际取值 e为 2. 6秒 (这个在 后 ),在确定上述二者之后, 才能据此二者推得论 断 B ( e)即 B ( 2. 6) (月球与地球之间的距离为 2. 6 /2 % 30万公里 = 39万公里 )。人们要在并不 知道 x取值 e为何许的情况下去确定存在 �不会 是有 A而无 B 这个事实时, 只可能通过具有一独 的方法。这就是说, 人们不仅实际上是而且也只 可能是具有一独地去得知不会是有 A 而无 B。我 们就只要将要而尚未实测电磁波往返于月地间的 时间的时候就具有一独地得知不会是有 A 而无 B 这个事实,并从这个事实出发进行探讨, 而把关于 人们究竟何以能够和怎样实现具有一独地去得知 不会是有 A 而无 B, 人们在认识客观世界的过程 中究竟用什么样的方法导致一独的这种认识论、 方法论上的问题, 留给哲学家去从长计议。尽管 我们暂且说不清这导致一独的方法究竟是什么样 的,但是,我们却知道确实有暂且说不清的方法能 导致显而易见的一独。人们就是凭借这显而易见 的一独从已知 (前提 A (x )� B ( x )、A ( e)为有 )进 入新知 (结论 B ( e)为有 )。 非常明显, �雪是黑的 跟 � 2加 2等于 4 、� C 且非 C 跟 � D 之间, 没有充分条件关系, 这是因 为,这二例尽管满足 �不会是有前而无后 (前例 是,无前而有后; 后例是, 前恒无而后有无不定 ), 然而, 人们却是依据确定无前或者依据确定有后 来确定 �不会是有前而无后 的, 亦即, 这种确定 �不会是有前而无后 的方法不具有一独。是否具 有一独,这就是与必然关系同义的非纯真值函数 的充分条件关系跟纯真值函数关系实质蕴涵的本 质分野。是否具有一独, 是 A、B间是否具有充分 条件 (必然 )关系的关键。一独是在为传统形式逻 辑所研究的能获得新知的推理格式中出现的充分 条件关系的逻辑精髓和理论核心, 因此, 一独对于 以完备而又无误地研究作为从已知进入新知的工 具的推理格式为主要使命的充分发展了的当代形 式逻辑来说是至关重要的。 三、充分条件关系的第二独立性 与一独相辅相成, 对于一系列逻辑的充分条 件关系和任意逻辑外的经验的充分条件关系来 说,另外还有一个十分重要的逻辑性质,叫第二独 立性。 还是让我们结合上述利用电磁波测算月地距 离这个实例来探讨这个重要的逻辑性质。人们在 此之前早已确定了�若 A ( x )则 B ( x ) 为有 (即存 在 ), 亦即, 早已获得了 �具有一独的不会是有 A ( e)而无 B ( e) 。在这里出现的 e称为 �新知个 体常项 , 简称为 �新知个体 [2] 163。尽管明明知道 电磁波往返于月地之间的时间 e是唯一的,然而, 在实际测定之前却并不清楚究竟这 e是多少。所 谓�新知个体 ,就是实际上唯一确定然而暂且还 不为人所知的个体 。显然, 新知个体 e与个体变 元 x在逻辑含义上有重大区别: 后者是已知而不 确定的, 亦即,已知个体变元 x在论域中变, 然而, 究竟为哪个个体却是不明确的。与之相应的, 具 有确定含义和真值 (物理学已确定为有 )的闭复合 事件 �若 A ( x )则 B ( x ) 的前、后件 A ( x )、B ( x )都 是个体 -真值函数, 其本身无所谓有无,只有当个 体变元 x取得确定的个体后,才是闭事件,才有确 定的含义和真值; 而用来定义 �若 A ( x )则 B ( x ) 的�具有一独的不会是有 A ( e)而无 B ( e ) 中的 A ( e)、B ( e)都是闭事件, 都不是个体 -真值函数。 A ( e)、B ( e)分别是个体 -真值函数 A (x )、B ( x )当 x取值为 e时的值, 它们事实上具有确定的含义和 真值,只是暂且还不为人所知。现在,请注意下述 重要事实:人们在实测电磁波往返于月地间的时 间 (即知道 A ( e)中的新知个体 e并同时证实 A ( e) 为有 )时, 是根本不必事先知道月地间的距离究竟 是多少的 (即事先无需知道 B ( e )的真值 )。事情 甚至是,只有在知道了电磁波往返于月地间的时 间为 2. 6秒, 亦即, 确定了A ( e)为有之后, 才能由 之推断月地间的距离为 39万公里, 亦即, 确定结 论B ( e)为有。这个事实至关重要。这里所揭举的 重要事实可以简要地表述为:可在未确定 B ( e)的 有无的情况下去确定 A ( e)为有。这也可以说成: 可独立于 B ( e)的真值确定 A ( e)为有。我们称这 个事实为�第二独立性 , 并简称为�二独 [ 1] 35。这 就是说,经验的 �若 A (x )则 B ( x ) 不仅具有一独, 而且具有二独。像一独一样, 这二独对于以获得 新知为主要使命的逻辑科学来说, 也具有决定性 的重要意义。 27龚启荣:充分条件关系及其两个特异性 上述包含在 �若 A ( x )则 B ( x ) 中的一独和二 独由于跟前、后件的全部具体内容 (由逻辑内容和 此外的经验内容组成 )有关,因而称为经验的一独 和二独。这种 �若 A ( x )则 B ( x ) 称为经验的充 分条件事件,其中的�若,则 称为经验的充分条件 联结关系。 下面, 我们来探讨只与前、后件的逻辑内容有 关的逻辑的一独和二独。为了方便, 我们用符号 & (念作 �合取 )表示 �并且 。我们来分析 A ( e)& ∋A ( x )� B ( x )(跟 B ( e)之间是否满足充 分条件即必然关系 (相应地, 是否具有一独 ), 以 及,是否具有二独。为了方便,我们用 C、D分别表 示A ( e)& ∋A ( x ) � B ( x )(、B ( e )。显然有下述 事实: ( 1)对于人的历史来说,有 C而无 D这样的 事情, 过去、现在和将来都不会发生; ( 2)人早已确定了事实 ( 1); ( 3)人在确定事实 ( 1)时,并未依据 C、D本身 的有无。 事实 (1),即不会是有 C而无 D,真可说是久 经考验,颠扑不破的了; 事实 ( 2)的建立至少可追 溯到两千多年前的亚里士多德和斯多噶学派 (推 理式 A ( e)& ∋A (x )� B ( x )(� B ( e)分别类似于 三段论第一格 AAA式和充分条件假言推理肯定 式 ); 事实 ( 3)依然明如观火: 人们只依据 C、D的 逻辑结构便可确定事实 ( 1), 而仅仅依据 C、D的 逻辑结构是不足以确定 C、D本身的有无。这 3个 事实确定了非纯真值函数的复合事件 A ( e) & ∋A ( x )� B ( x )(� B ( e) (为便于讨论,以 C� D表 示 )为有。我们称 C、D的逻辑结构的指谓为 C、D 的逻辑内容,此外的内容称为 C、D的逻辑外的经 验内容,并简称为经验内容。这里,仅据 C、D的逻 辑内容,不管 C、D的经验内容, 便可独立于 C、D 的有无值确定不会是有 C而无 D,亦即, 确定 C� D为有。这种仅据逻辑内容确定的 C� D为有的 有称为逻辑真,也叫做恒真、有效, C� D就称为恒 真的充分条件事件或者有效的充分条件事件, 其 中的 �若, 则 就称为恒真的 �若, 则 或有效的 �若,则 。有效�若, 则 的一独仅由前、后件的逻 辑内容提供, 称为 �逻辑一独 [1] 36, 以区别于需由 全部具体内容 (逻辑内容加经验内容 )提供的经验 一独。 鉴于 A ( x )� B (x )具有经验的一独和二独,于 是: A (x )� B ( x )为有的可独立 B ( e)的有无值确 定 (A ( x )� B (x )的经验一独转化为 C中的右合取 支对 D的二独 ); A ( e)为有可独立于 B ( e)的有无 值确定 (A (x )� B ( x )的经验二独转化为 C中的左 合取支对 D的二独 ); 故而, C (即 A ( e)& [A ( x )� B ( x ) ] )为有可独立于 D (即 B ( e ) )的有无值确 定,亦即, C对 D具有二独。由于 C对 D的二独是 仅由 C、D的逻辑内容提供,亦即,仅据 C、D 的逻 辑结构便可得出 C对 D的二独,因此,这里的二独 称为 �逻辑二独 [1] 36。这样, 我们阐明了 C、D 间 不仅具有逻辑一独, 而且还具有逻辑二独, 并分析 了 C � D的逻辑一独、二独如何由 A ( x )� B ( x ) 的经验一独、二独转化而来。至此, 我们顺便给出 推理式和新知的定义, 并据此阐明推理式必然导 至新知。若 C� D有效且具有二独, 则称 C� D为 推理式。亦即,所谓推理式,就是具有二独的有效 充分条件推理式。以� C� D表示 C� D 为有效 式, � 号中的一个短横就表示逻辑一独;以 � C � D表示 C� D 为推理式, C称为假设或前提, D 称为推断或结论, � 号中的第一、第二两个短横就 表示逻辑一独和逻辑二独。D对 C来说是新知, 当且仅当, 可独立于 D的真值确定 C为真。若仅 据 C、D的逻辑结构即可确定可独立于 D的真值 确定 C为真, 则称 D是 C的逻辑新知。任一推理 式的结论对前提来说是逻辑新知,因为,前提对结 论具有逻辑二独。包含在推理式中的逻辑的一 独、二独为人们开拓了仅据前提、结论的逻辑结构 即可由已有知识 (已知 )进入逻辑新知识 (新知 ) 的途径。 推理式就是对客观推理律的刻画, 表达了人 对客观推理律的认识、反映。 一独和二独合称两个独立性并简称为两独。 两独可分经验的和逻辑的, 前者是后者的渊源和 归宿。两独是充分条件 (必然 )关系的逻辑精髓, 是作为从已知进入新知的工具的逻辑科学的两块 基石。如果说,逻辑科学如今已成为根深叶茂、硕 果盈枝的大树,那么,人们早先对事实上包含在充 分条件 (必然 )关系中的两独的朦胧认识则是那大 树萌芽时的两片子叶。 可以严格证明: 作为正统数理逻辑重要研究 对象的蕴涵重言式的前后件之间不满足两独, 因 此,与作为从已知进入新知的工具的推理式殊异。 蕴涵重言式只表达了二值的离散数学真理,可应 用于获取新知之外的需要这种二值的数量关系规 律的场合 (比如接点电路、计算机门电路等 )。 鉴于充分条件事件 A� B含有一独 (大都还有 二独 ), 其本身的有无不取决于其前、后件 A、B 的 有无,故而不是有无函数 (或称真值函数 ),因此, 充分条件事件称为非纯真值函数的复合事件, 充 28 重庆理工大学学报 (社会科学 ) http: / / cqlg. jourserv. com 分条件关系称为非纯真值函数的联结关系。开事 件是个体 -有无函数, 其本身的有无取决于在其 中出现的个体变元在个体域中的取值, 这时,个体 变元的这个出现称为自由的。开事件就是个体变 元的自由出现的事件。而闭事件则或者不出现个 体变元,或者虽出现个体变元, 但其本身的有无却 不取决于个体变元的取值, 这时, 个体变元的这个 出现就称为约束的。闭事件就是不出现个体变 元,或只有个体变元的约束出现的事件。闭事件 的有无不取决于个体变元的取值, 故而不是个体 -有无函数。当 A (x )、B ( x ) (A、B表示事件, 括弧 中的 x表示在其中出现的个体变元 )均为 1元开 事件 (即 1元个体 -有无函数 )时, A (x )� B ( x )却 为闭事件。一般地,当 A ( x1) xn )、B ( x1) xn )均为 n元事件时, A ( x1) xn )� B (x1) xn ), 却是闭事件。 这是因为, 非纯真值函数的充分条件关系含有一 独,故而在事实上 (不管人是否认识 )能约束同时 在其前、后件中自由出现的个体变元。这是非纯 真值函数的充分条件关系的从一独派生的又一个 重要的、客观的逻辑性质。自发而又朦胧地感受 到充分条件关系的这个重要客观性质的人们从来 在事实上不借助于什么莫须有的施加于个体变元 的�量词 来约束个体变元 (例如: �凡兰皆虫 媒 ! ! ! � x是兰,则, x虫媒 ; �相邻的自然数必互 素 ! ! ! � x 与 y是相邻的自然数, 则, x 与 y 互 素 )。只有到了 20世纪, 为了在逻辑中全面采用 数学方法 (这从方法论上说无疑是正确的 ), 从而 彻底抛弃了充分条件关系中的一独及其派生的重 要性质的草创正统数理逻辑的数学家 (以提出 �复 合命题的真值是其支命题的真值的真值函数 [ 2] 149 这个所谓 �弗雷格原理 的弗雷格为代表 ),才不得 不在理论上求助于对无限域来说根本无法实施 (因此在事实上人类从来不曾使用过 )的竟然要求 �无限合取 的�量词 。 参考文献: [ 1] � 龚启荣. 当代形式逻辑引论 [ M ]. 北京: 电子工业出 版社, 2009. [ 2] � 龚启荣. 形式逻辑客体说导论 [M ]. 香港: 天马出版 有限公司, 2008. (责任编辑 � 张佑法 ) Relation of Sufficient Condition and Its Two Peculiarity GONG Q i rong ( Gu izhou Un iversity, Gu iyang 550025, Ch ina) Abstract: The de fin ition of the relat ion of suffic ient cond ition is alw ays the focus ofLog ic. The defin i t ion for traditiona l form al log ic is � b lurred prec iseness , wh ile that for orthodoxm athemat ical log ic is � c lear absurdness . The log ica lmean ing o f � the eventA is B ∗ s su ff icient cond ition is to ascertain independentlyw he therA orB ex ists or no ,t wh ich can be named the f irst independence, but the situa t ion thatA ex ists yetB doesn∗ t is non ex isten.t Th is is the compound event o f non pure truth va lue function, name ly the fact o f suffic ient condition even t � ifA , then B . No m atter the latter eventB ex ists or no,t if we can ensure independent ly that the formerA ex ists, w e can call it the second inde pendence. The tw o kinds of independence included in the re lation o f su ff icient cond ition is the basis on wh ich human be ings can ho ld the un lim ited from the lim ited, acqu ire the unknown from the known, wh ich are the two solid foo tstones for the log ic mansion. KeyW ords: re lation of suffic ient condit ion; enta ilmental relation; materia l implication; tw o k inds of independence; acqu iring the unknown from the known 29龚启荣:充分条件关系及其两个特异性