iLib2 新一代的学术数据库   首页 | 账户 | 充值 | 收藏
www.ilib.cn 找不到?搜一下!
首页 > 万方期刊分类 > 社会科学 > 大学学报(社会科学) > 期刊 : 贵阳学院学报(社会科学版) 论 "两独" 与 "两依"——兼评《制约逻辑元思想剖析》一文

添加收藏 

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

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
真正的充分条件关系刻划清楚后便是制约关系,事实上具有"两个独立性".离散数学正统数理逻辑不研究真正的充分条件关系.二值函数实质蕴涵事实上具有与"两个独立性"相对立的"两个依赖性",从而并非真正的充分条件关系的"逻辑抽象".即使在正统数理逻辑中作为逻辑工具使用的"若,则"乃是事实上具有"两个独立性"的制约,而并非为其所研究的实质蕴涵.希望进行立足原文原意的纯学术讨论.
关键词: 客体逻辑, 制约逻辑, 制约关系, 两个独立性, 实质蕴涵, 两个依赖性, 元逻辑, | 全部关键词

更多相似文献...

版权所有 北京万方数据股份有限公司 京ICP证010071号 关于我们 | 资源合作 | 知识产权声明 | 客户服务 | 万方数据