全称肯定命题相关论文
词项周延性的一阶语言定义陈慕泽(中国人民大学哲学系)本文尝试在一阶逻辑中给出词项(一元谓词)周延性的一个形式定义,以克服传统逻辑在......
本文总结出判断动词“是”具有12种逻辑含义,并指出传统逻辑的缺陷和数理逻辑的不足,提出关键之一是量词问题,应当引入表示空集的......
本文旨在探讨《墨经》说“悖”。通过对悖论之“悖”还是“二难”之“言孛”的分析,指出“罗素悖论”等若干悖论并不是悖论。笔者......
文[1]从谓词逻辑公理系统(Q—PM系统)的角度解析了p(x)→q(x)的否定,其理论根据无须考证,几乎有关数理逻辑学的著作都采用联结词完......
逻辑学是研究思维形式及其规律的一门基础学科,学习一些简单逻辑学知识对于正确理解数学概念,正确的进行表述,推理和判断很有实际......
本问题共收到评析稿件6篇,比较一致的看法是:学生提供的证法是不正确的,并没有在假设结论不成立时推得合理的矛盾,实际上没有完成......
张怀斌同志在《南阳师专学报》及《逻辑科学》上连续发表文章,对我参加编写的几本逻辑书中关于周延问题的说明,有所批评。因之我想......
<正>双珠式图示是直观显示命题形式间真值关系的一种图示.命题形式间的真值关系可区分为十种:等值、矛盾、上反对、下反对、正从属......
【正】 为他(梵文Parrtha)和为自((Svrtha)是因明学中极为重要的思想。在因明家的著述中,能直接看出这点的就是他们在论述比量(anu......