广义量词的各种单调性之间的关系

发布时间：2018-06-05 02:33

  本文选题：一阶逻辑 + 集合论　； 参考：《安徽大学学报(哲学社会科学版)》2012年05期

【摘要】：广义量词理论在集合论的基础上得到发展,提升了一阶逻辑处理现实世界的能力,有助于计算机更好地处理自然语言。单调性是广义量词最为重要的语义性质。1类型广义量词的单调性与其亲缘量词的单调性之间具有可转换关系,同一个1,1类型广义量词的不同单调性之间也具有可转换关系,这些转换关系可以用数字三角形简图进行直观验证。
[Abstract]:The theory of generalized classifiers is developed on the basis of set theory, which improves the ability of first-order logic to deal with the real world and helps computers to deal with natural languages better. Monotonicity is the most important semantic property of the generalized classifier. The monotonicity of the generalized classifier of type .1 has a transferable relationship with the monotonicity of its relative quantifier, and the different monotonicity of the same type of generalized quantifier is also convertible. These transformation relationships can be directly verified by the diagram of digital triangles.
【作者单位】： 厦门大学哲学系;
【基金】：教育部人文社科研究规划基金项目(12YJA72040001)
【分类号】：B815

【相似文献】

相关期刊论文 前10条

1 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期

2 刘卫花;;论蒯因“本体论承诺”及其价值[J];重庆理工大学学报(社会科学);2011年07期

3 刘新文;;现代模态逻辑探源[J];哲学动态;2011年05期

4 刘明元;陈治龙;;从谓词逻辑的观点看传统词项逻辑推理中的空词项[J];毕节学院学报;2011年06期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

相关会议论文 前10条

1 ;书讯[A];2001年逻辑研究专辑[C];2001年

2 陈波;;蒯因的逻辑哲学[A];1993年逻辑研究专辑[C];1993年

3 李小五;;无穷逻辑与LS定理[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

4 张锦文;;一种弗晰逻辑的形式系统[A];全国逻辑讨论会论文选集[C];1979年

5 李小五;;BF-方法与无穷逻辑[A];1996年逻辑研究专辑[C];1996年

6 刘壮虎;;复合谓词的逻辑系统[A];2000年逻辑研究专辑[C];2000年

7 刘新文;;一阶逻辑函数完备性和逻辑常项问题[A];科学发展：社会管理与社会和谐——2011学术前沿论丛（上）[C];2011年

8 张维真;;试论“基数量词”[A];1993年逻辑研究专辑[C];1993年

9 黄华新;胡龙彪;;逻辑的内在机制与研究对象——兼评《逻辑的观念》[A];2001年逻辑研究专辑[C];2001年

10 孟晓青;;Topos理论的哲学意义以及辩证法的形式化[A];1994年逻辑研究专辑[C];1994年

相关重要报纸文章 前1条

1 戈莱格·莱斯特尔 墨尔本大学哲学、人类学和社会研究学院，，焦兵编译，熊明辉校;《澳洲逻辑学杂志》简介[N];中国社会科学报;2009年

相关博士学位论文 前3条

1 张立娜;个体词的逻辑语义[D];清华大学;2007年

2 史t

本文编号：1980054