充分条件关系的本质属性

充分条件关系的定义历来是逻辑学关注的焦点。传统形式逻辑的界说可归结为"朦胧的正确";正统数理逻辑的规定可归结为"清晰的荒谬"。"事件A是B的充分条件"的逻辑含义是,"可独立于A、B的有无确定(这称为"第一独立性")不会是有A而无B",其间的"前件A为有可独立于后件B的有无确定"(称为"第二独立性")。包含在充分条件关系中的这两个逻辑独立性质是人类能以有限把握无限、从已知进入新知的逻辑依据,是逻辑科学这座大厦两块坚实的基石。