论“两独”与“两依”——兼评《制约逻辑元思想剖析》一文  

Two Independences and Two Dependences——A Review of the Paper of An Analysis of the Metalogic Thinking of Entailment Logic

作　　者：盛作国[1] 

机构地区：[1]贵阳学院图书馆,贵州贵阳550005

出　　处：《贵阳学院学报（社会科学版）》2008年第1期54-57,共4页Journal of Guiyang University:Social Sciences

摘　　要：真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性"。离散数学正统数理逻辑不研究真正的充分条件关系。二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象"。即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵。希望进行立足原文原意的纯学术讨论。Regulative relationship is the genuine relationship of sufficient condition which includes two independences. As the base of discrete mathematics, orthodox mathematical logic does not research actually the genuine relationship of sufficient condition. Material implication, worked as one kind of two-value function, which comprises two dependences, is not the logistic abstract of relationship of sufficient condition. Even though the ＂if, then＂, which used as a logic instrument in orthodox mathematical logic, is really the regulative relationship consists of two independences, not the material implication.

关 键 词：客体逻辑 制约逻辑 制约关系 两个独立性 实质蕴涵 两个依赖性 元逻辑 

分 类 号：B81[哲学宗教—逻辑学] O141[理学—数学]