基于广义量词理论的直言三段论推理规则的形式化辨析

发布时间：2017-09-13 15:39

  本文关键词：基于广义量词理论的直言三段论推理规则的形式化辨析

  更多相关文章： 广义量词理论 亚里斯多德量词 三段论 推理规则

【摘要】：在国内外新近研究成果的基础上,作者通过对作为广义量词特例的四个亚里斯多德量词的普遍语义性质和推理特征的研究,形式化地揭示了如何从广义量词理论的角度来解释直言三段论的推理规则。此研究对一阶逻辑和广义量词理论的发展、自然语言信息处理以及计算机科学中的知识表示和知识推理,都具有重要的理论意义和实践价值。
【作者单位】： 四川师范大学政教学院;四川逻辑学学会;
【关键词】： 广义量词理论 亚里斯多德量词 三段论 推理规则
【基金】：国家社科基金重大招标项目(10&ZD073) 教育部人文社科规划基金项目(12XJA740007)
【分类号】：B812.23
【正文快照】： 通过深人研究,笔者发现:利用广义量词理论(generalized quantifier theory),就可以清晰明了且形式化地说明直言三段论的推理规则,并可以为有效的直言三段论给出直观简洁的形式化证明。这是因为:直言三段论实际上就,关于all,some,no,not all这四个亚里斯多德量词的三段论,其中

【参考文献】

中国期刊全文数据库 前5条

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

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

3 张晓君;;广义量词的相关性质研究[J];逻辑学研究;2010年03期

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

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

【共引文献】

中国期刊全文数据库 前10条

1 张炯;;包含非连续成分的句子的语义计算[J];重庆工学院学报(社会科学版);2008年06期

2 朱小美,张明;当代国外有关模糊语言学的主要研究简评[J];当代语言学;2005年03期

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

4 张晓君;;广义量词的各种单调性之间的关系[J];安徽大学学报(哲学社会科学版);2012年05期

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

6 张晓君;黄朝阳;;广义量词的单调性与其三种否定量词的单调性之间的关系[J];安徽师范大学学报(人文社会科学版);2012年06期

7 戴春勤;;传统三段论的一个简明体系——基于直言命题语义与性质[J];毕节学院学报;2013年03期

8 李飞;;从马克思的辩证唯物主义实践观谈模糊语言问题[J];重庆交通大学学报(社会科学版);2013年04期

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

10 贺川生;潘海华;;平均句中的分数名词短语及其指称[J];当代语言学;2014年02期

中国重要会议论文全文数据库 前1条

1 张乔;;自然语言模糊量词的蕴涵问题研讨[A];2001年逻辑研究专辑[C];2001年

中国博士学位论文全文数据库 前10条

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

2 陈宗利;限定性关系结构的句法研究[D];广东外语外贸大学;2005年

3 王广成;汉语无定名词短语的语义特征：指称和量化[D];北京语言大学;2007年

4 徐尔清;基于中心语驱动短语结构文法的句法和语义分析[D];上海外国语大学;2007年

5 张炯;汉语量化结构的形式分析[D];浙江大学;2009年

6 吴庄;汉语基数词语义和语用的实验研究[D];北京语言大学;2009年

7 薛小英;汉语疑问词的句法与语义不对称现象探究[D];中南大学;2012年

8 张旭红;回指的DRT形式方案的问题及其解决[D];上海外国语大学;2012年

9 陈冰飞;级差含义实验研究[D];东北师范大学;2012年

10 王丽香;现代汉语“全都”类总括副词研究[D];浙江大学;2013年

中国硕士学位论文全文数据库 前10条

1 徐正科;汉语“一量名”结构的句法语义解读[D];湘潭大学;2010年

2 李颖;基于空间参照框架理论的英汉存在构式对比研究[D];山东农业大学;2011年

3 王城镇;“Every+名词”和“每+名词”的句法语义研究[D];湘潭大学;2011年

4 曾旭;基于语言量词模糊积分语义的近似推理研究[D];宁波大学;2011年

5 谢丁;基于MMTD的模糊语义量化研究[D];南京邮电大学;2012年

6 祝娟;论汉语中强弱量化词的语义解读差异[D];湖南大学;2011年

7 Qiao Zhengwei;[D];广东外语外贸大学;2001年

8 高泽峰;[D];北京语言文化大学;2002年

9 麦涛;汉语“都”量化的句法、语义研究[D];湖南大学;2003年

10 赵莉;There构块形式与用法之间的映射[D];西南师范大学;2005年

【二级参考文献】

中国期刊全文数据库 前4条

1 张晓君;郝一江;;广义量词的单调性与数字三角形[J];重庆理工大学学报(社会科学);2010年03期

2 张晓君;;广义量词的相关性质研究[J];逻辑学研究;2010年03期

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

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

【相似文献】

中国期刊全文数据库 前10条

1 罗伯特·杰·克奈奇;李衍华;;直言三段论(续二)——规则、式、格[J];逻辑与语言学习;1987年03期

2 苏越;;弟弟的推理错在哪里?——谈直言三段论的格及其规则[J];新闻与写作;1988年06期

3 张照明;直言三段论第三格特殊规则刍议[J];社会科学辑刊;1992年03期

4 黄顺基;;直言三段论逻辑的修正意见[J];教学与研究;1961年01期

5 段轩如;直言三段论模式变形推理机制及应用[J];济南大学学报(综合版);1995年04期

6 吕正春;三种直言三段论的公理判定方法──对三段论的全面具体统一性的思考[J];齐齐哈尔师范学院学报(哲学社会科学版);1997年06期

7 徐庆轩,王根虎;对直言三段论推理规则表述方法的商榷和思考[J];警学研究;1998年04期

8 王元汉;;直言三段论的化归——三段论研究之二[J];湖北师范学院学报(哲学社会科学版);2010年05期

9 倪荫林;;关于直言三段论规则4及相关问题的探讨[J];武警学院学报;2012年05期

10 戴春勤;;论替换中项法下的直言三段论自然推理系统[J];毕节学院学报;2009年02期

中国重要会议论文全文数据库 前1条

1 戴宁东;;直言三段论规则证明[A];逻辑教学·知识创新·素质教育研讨会论文集[C];2001年

中国重要报纸全文数据库 前2条

1 李庆年;解差发问之联想[N];青岛日报;2007年

2 弋洋;普通工人刘润泽受聘大学教授[N];光明日报;2002年

，

本文编号：844579