首页
> 万方期刊分类 > 社会科学 > 大学学报(社会科学)
> 期刊 : 贵阳学院学报(社会科学版)
论 "两独" 与 "两依"——兼评《制约逻辑元思想剖析》一文
论 "两独" 与 "两依"——兼评《制约逻辑元思想剖析》一文
Two Independences and Two Dependences——A Review of the Paper of An Analysis of the Metalogic Thinking of Entailment Logic
|
|
<<贵阳学院学报(社会科学版)>>2008年 第3卷 第01期 作者: 盛作国, 期刊 ISSN : 1673-6133(2008)01-0054-04
真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性".离散数学正统数理逻辑不研究真正的充分条件关系.二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象".即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵.希望进行立足原文原意的纯学术讨论.
|
|
|