全部
图书
期刊论文
会议论文
学位论文
图片
视频
资料
-
蕴涵理论研究——从《墨经》到《制约逻辑》
-
作者:
盛作国 来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 推理 蕴涵理论 现代逻辑
-
描述:科学尤其是现代逻辑发展的历史。不同的逻辑系统尽管在形式上有某种可对译性,但仍可依据其所奠基的“蕴涵”理论的不同而体现其实质的特异性。如海丁(Heyting)的直觉主义命题逻辑系统H通过所谓的“哥德尔转换
-
墨家认识论
-
作者:
张红飞 来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 认识论 墨家 知识 逻辑 体验
-
描述:认识与知识是不可分割的统一体,认识的目的就是为了获取未知之知,若不以此为目的,那么认识对于人类来讲,就毫无价值,而讨论认识论的问题,同样也没有了意义。所以,知识的获得与人的认识时紧密相关的,而知