Fluted逻辑与自然语言

发布时间：2017-10-06 03:47

  本文关键词：Fluted逻辑与自然语言

  更多相关文章： 自然语言 命题变元 形式语言 形式结构 谓词逻辑 一阶逻辑 谓词演算 函子 表达力 组合算子

【摘要】：正尽管自然语言没有形式语言那样严格,在某些情况下甚至会造成歧义,但日常生活中,我们不可能放弃自然语言而采取形式语言作为人际交流的媒介。事实上,形式语义学的研究表明,自然语言本身也存在着多种值得研究的形式结构。自然语言有很多吸引人的特点,例如其中不含形式语言中那样的变
【作者单位】： 中国社会科学院哲学研究所;
【关键词】： 自然语言 命题变元 形式语言 形式结构 谓词逻辑 一阶逻辑 谓词演算 函子 表达力 组合算子
【基金】：国家社会科学基金青年项目“一阶逻辑片段研究”(08CZX021) 2009年度教育部人文社会科学研究青年基金项目“自然逻辑研究”(09YJC72040004)的资助
【分类号】：B812
【正文快照】： 尽管自然语言没有形式语言那样严格,在某些情况下甚至会造成歧义,但日常生活中,我们不可能放弃自然语言而采取形式语言作为人际交流的媒介。事实上,形式语义学的研究表明,自然语言本身也存在着多种值得研究的形式结构。自然语言有很多吸引人的特点,例如其中不含形式语言中那

【相似文献】

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

1 崔文芊;;写真法、写假法探析[J];华北水利水电学院学报(社科版);2011年04期

2 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期

3 高芸;何向东;;从量化和时间表达的角度看DRT[J];重庆理工大学学报(社会科学);2011年08期

4 冯棉;;一类命题逻辑的一般弱框架择类语义[J];逻辑学研究;2011年02期

5 余炳元;;从教学实践看高师院校文科逻辑学教学改革[J];毕节学院学报;2011年07期

6 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期

7 李泽敏;;在现代教育中开展逻辑教育的意义[J];三峡大学学报(人文社会科学版);2011年S1期

8 梁义民;;一个不固定的指示符:非形式逻辑的学科品性[J];浙江社会科学;2011年07期

9 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期

10 魏燕侠;;论弗雷格的残篇《论逻辑的普遍性》[J];福建农林大学学报(哲学社会科学版);2011年04期

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

1 王柏鹤;;普通逻辑教学亟待加强自然语言的逻辑分析[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

2 徐阳春;;从汉语特点看中国古代逻辑[A];1995年逻辑研究专辑[C];1995年

3 邹崇理;;信息时代的自然语言逻辑研究特色[A];2000年逻辑研究专辑[C];2000年

4 邹崇理;;逻辑研究自然语言的得失利弊[A];小康社会：创新与发展——2002·学术前沿论坛文集[C];2002年

5 邹崇理;;MG及其发展的评价[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

6 周祯祥;;现代自然语言逻辑研究的若干路径[A];2000年逻辑研究专辑[C];2000年

7 邹崇理;;广义量词理论对自然语言量化结构的研究[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

8 邹崇理;;MG与GQ理论对自然语言限定词的研究[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年

9 陈宗明;黄华新;;从符号学看周礼全先生的自然语言逻辑思想[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

10 邹崇理;;一个运用蒙太格语法与广义量词方法分析汉语量化词组的部分语句系统[A];1993年逻辑研究专辑[C];1993年

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

1 张春泉;法典理解与语用逻辑[N];光明日报;2005年

2 陈波;人工智能 当代逻辑发展的动力[N];光明日报;2000年

3 黑龙江大学 宁莉娜;论逻辑方法拐点上的哲学动因[N];光明日报;2007年

4 马雷;传统逻辑研究要有创新思想[N];光明日报;2003年

5 沙青;“意义”的追问与探求[N];光明日报;2006年

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

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

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

1 饶萍;情境语义学的逻辑应用研究[D];河南大学;2009年

2 倪国强;广义量词理论对自然语言限定词的研究[D];内蒙古师范大学;2009年

3 顾锋强;蒙太格语法研究述评[D];西南大学;2006年

4 王娟;预设理论及其应用研究[D];西南大学;2006年

5 史t，

本文编号：980546