【摘 要】
：
大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念：“在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。”通过利用有效的单称命题三段论
【基金项目】
：
国家社科基金项目“面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究”,项目编号:16BZX081
论文部分内容阅读
大多数逻辑学教科书和逻辑学者长久以来都在传播这样的观念：“在研究涉及单称命题的直言三段论的有效性时,单称命题可以视作全称命题来处理。”通过利用有效的单称命题三段论但其对应的直言三段论却是无效的11个事实,强而有力地否定了这一观念。经过提出的25个事实表明：利用广义量词理论和集合论,不仅可以形式化地表示关于单称命题的三段论,而且还可形式化地判断和证明其有效性及相关语篇推理的有效性。这些形式化的创新研究有利于语言学（包括计算语言学）、认知科学、人工智能、计算机科学中的知识表示和知识推理等相关研究的发展。
其他文献
本文以释契嵩关于儒佛关系、政教关系的思考作为契入点,将佛教真俗关系作为考察重心,结合相关经论以及三论、天台、唯识、华严、禅宗的佛法解义思想,力求显现关于佛法思维、
<正> 至宝丹、紫雪丹、苏合香丸三方均属开窍剂,是治疗重危急症的常用成方,中医大专教材《方剂学》《内科学》及《中医大辞典·方剂分册》等均认为三方来源于《太平惠民和剂
马王堆汉墓位于湖南省长沙市东郊,是西汉初期长沙国丞相、软侯利苍及其家人的坟墓。马王堆汉墓出土的漆器数量大,约占三座汉墓出土文物总数20%以上,而且品种繁多、光亮如新、
本文从界定海事犯罪的定义入手,提出了确定海事犯罪范围的原则,分析了海事犯罪的类型和特征;就国际公约中关于海盗罪的犯罪构成要件提出了修改意见,并呼吁制定惩治海事诈骗罪
20 世纪90 年代我国住宅产业初步建立,历经十几年,住宅产业在国民经济中的主体地位已经确立,与之密切联系的住宅市场在我国已初具规模。我国住宅市场在经历了1993 年的海南泡
中国特色社会主义是中国共产党领导中国人民在社会主义建设的历程中,进 行艰辛探索的结果,是合乎社会发展规律的必然选择。本文深入发掘了马克思主 义经典著作中历史唯物主
各个国家的企业与政府关系,因各国政治、经济、文化、历史不同而不同,并随政治、经济、文化发展而变化,并不存在一个普遍有效的固定模式。改革开放以来,特别是加入WTO、经济
教师对新授内容的导入要精心设计。创设轻松、愉悦、开放的情境导入,能最大限度的激发学生学习数学的能动性、自主性。同时也是教师对教学过程整体把握、精心安排的集中体现
近年来,卷烟生产企业正进行着产业结构和组织结构的调整,本着将企业做大,将品牌做精的发展战略,各企业不断进行调整、整合和合并。卷烟企业的发展对卷烟设备的需求产生了巨大