亚里士多德的三段论及其扩展

发布时间：2019-07-25 10:12

【摘要】：数理逻辑出现之前,亚氏三段论历经2000多年都没有什么重大的突破。正文的第一部分用简洁的语言勾画了亚氏三段论的主要内容,包括三段论的内涵、表述、分类,以及不同三段论模式之间的转化关系。随着逻辑与数学思想的联系越来越紧密,三段论理论也发展出了新的内容。第二部分从自然语言的量化现象说起,用模型论的方法解释量词的逻辑涵义,给出了量词的形式定义,借用数学化的语言研究了量词的各种性质??单调性、对称性等等。这些性质与三段论推理之间存在密切的联系。利用量词的某些性质,再结合量词与其否定之间的运算关系,可以证明所有的亚氏三段论都为有效式。不仅如此,事实上,满足特定性质的量词都适用于这些推理模式。最后一部分则是从及物动词的角度,借用了Hartmann的研究成果,从自然语言中截取了关系三段论片段R,以p、l、r、t、c等字符为初始符号,结合全称量词和存在量词形成合式公式。之后以模型论的内容为基础,给出了对应的语义解释,也给出了系统的推理规则,最后讨论了片段R的完全性问题。
【学位授予单位】：四川师范大学
【学位级别】：硕士
【学位授予年份】：2017
【分类号】：B502.233

【参考文献】

相关期刊论文 前10条

1 郝旭东;;亚里士多德三段论理论的第四格问题[J];西北大学学报(哲学社会科学版);2015年06期

2 张晓君;林胜强;;基于广义量词理论的直言三段论推理规则的形式化辨析[J];中国社会科学院研究生院学报;2015年01期

3 林胜强;张晓君;;广义量词的推理模式研究[J];湖南科技大学学报(社会科学版);2014年06期

4 戴春勤;;基于量词语义与性质的扩展三段论[J];毕节学院学报;2014年10期

5 张晓君;林胜强;;如何利用广义量词的语义性质判断扩展三段论的有效性[J];逻辑学研究;2013年02期

6 张晓君;黄朝阳;;基于广义量词理论的亚氏三段论[J];重庆理工大学学报(社会科学);2012年10期

7 张晓君;黄朝阳;;广义量词理论的渊源及其发展趋势[J];重庆与世界(学术版);2012年07期

8 张晓君;;扩展三段论的可化归性与广义量词的语义性质之间的关系[J];逻辑学研究;2012年02期

9 曹飞;;从关系逻辑的观点看三段论[J];延安大学学报(社会科学版);2006年01期

10 丁国旗;广义量词及其单调性[J];山东外语教学;2001年03期

相关博士学位论文 前1条

1 张世宁;广义量词理论研究[D];南开大学;2010年

相关硕士学位论文 前2条

1 张欢;基于广义量词理论的自然语言限定词研究[D];燕山大学;2014年

2 郑伟;亚里士多德三段论系统研究[D];河南大学;2011年

，

本文编号：2519019