【摘 要】
：
数理逻辑出现之前,亚氏三段论历经2000多年都没有什么重大的突破。正文的第一部分用简洁的语言勾画了亚氏三段论的主要内容,包括三段论的内涵、表述、分类,以及不同三段论模
论文部分内容阅读
数理逻辑出现之前,亚氏三段论历经2000多年都没有什么重大的突破。正文的第一部分用简洁的语言勾画了亚氏三段论的主要内容,包括三段论的内涵、表述、分类,以及不同三段论模式之间的转化关系。随着逻辑与数学思想的联系越来越紧密,三段论理论也发展出了新的内容。第二部分从自然语言的量化现象说起,用模型论的方法解释量词的逻辑涵义,给出了量词的形式定义,借用数学化的语言研究了量词的各种性质??单调性、对称性等等。这些性质与三段论推理之间存在密切的联系。利用量词的某些性质,再结合量词与其否定之间的运算关系,可以证明所有的亚氏三段论都为有效式。不仅如此,事实上,满足特定性质的量词都适用于这些推理模式。最后一部分则是从及物动词的角度,借用了Hartmann的研究成果,从自然语言中截取了关系三段论片段R,以p、l、r、t、c等字符为初始符号,结合全称量词和存在量词形成合式公式。之后以模型论的内容为基础,给出了对应的语义解释,也给出了系统的推理规则,最后讨论了片段R的完全性问题。
其他文献
随着时代的发展,教育水平也在与时俱进。在“测量平差”的课程教学中,教师越来越注重与案例相结合的教学方式,实现在数学、测绘与信息技术相结合的教学方式。探讨如何在“测
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
在患过敏性皮肤病患者的皮肤组织中,嗜硷细胞增多。嗜硷细胞中,有相当量的组织胺。有些人认为,过敏性皮肤病(风团、水泡等)的发生,与嗜硷细胞的颗粒溶解释放出组织胺有关。
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
主要阐述了树脂传递模塑工艺特点及其发展现状,并且介绍了计算机数值模拟技术在树脂传递模塑工艺中的应用.
本文研究的是荀子的身体思想，从这一论题出发，试图阐明三层含义：第一、中国古代哲学视野中的“身体”在其本质意义上区别于西方哲学中的相关认识，它既不同于西方传统哲学中身心对
从整体上讲，海德格尔对技术、特别是对现代技术的理解，不同于科技哲学或后现代主义哲学的理解，也不同于西方马克思主义对技术的批判。他的技术批判理论是针对技术“本质”的批判
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
The powders of NiCrW and NiCrWRE alloys were flame sprayed on a medium-carbon steel substrate by thermal spray welding. The microstructure and tribological beha
A porous cerium-containing hydroxyapatite coating on commercially pure titanium was prepared by micro-arc oxidation (MAO) in an electrolytic solution containing