蕴涵理论研究——从《墨经》到《制约逻辑
作者: 盛作国  来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 推理  蕴涵理论  现代逻辑 
描述:科学尤其是现代逻辑发展的历史。不同的逻辑系统尽管在形式上有某种可对译性,但仍可依据其所奠基的“蕴涵”理论的不同而体现其实质的特异性。如海丁(Heyting)的直觉主义命题逻辑系统H通过所谓的“哥德尔转换
墨家认识论
作者: 张红飞  来源:贵州大学 录入时间:2016 文献类型 :学位论文 关键词: 认识论  墨家  知识  逻辑  体验 
描述:识也成了认识论讨论的核心问题。墨家认识论亦不例外,本文就是以知识为线索,在此框架下,论述了墨家认识论中关于知识的确立,知识的分类,知识的逻辑基础以及知识的体验这四部分内容。其中,知识是在认识发生后,依据