检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:杨洋[1]
出 处:《贵州工程应用技术学院学报》2015年第4期70-74,共5页Journal of Guizhou University Of Engineering Science
摘 要:实质蕴涵理论是逻辑学的一种基础理论,但它长期面临着蕴涵怪论的质疑,尤其是一些反例成为实质蕴涵理论的严峻考验。针对它所面临的"严峻反例",国内目前主要有两种不同的化解路径:以程仲棠为代表的命题逻辑方案和以张建军为代表的形式蕴涵方案。这两种方案有着本质差别,究竟哪一种更合理,这需要立足于具体的分析来进行抉择。The theory of the material implication is basic in logic. But it has been called into question from the paradoxes of implication for a long time, and some counterexamples have been a severe challenge to it. For the critical counterexamples, there are two different kinds of approaches at home. One is the propositional logic scheme represented by Cheng Zhongtang, and the other is the formal implication scheme represented by Zhang Jianjun. These two kinds of approaches are different in essence, so we should make a concrete analysis before picking out the more reasonable one.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38