当代内涵逻辑的理论发展

发布时间：2017-10-02 17:28

  本文关键词：当代内涵逻辑的理论发展

  更多相关文章： 内涵逻辑 经典逻辑 逻辑语义学

【摘要】：内涵逻辑是经典逻辑的一种重要的扩展类型。内涵逻辑是关于必然、可能、时间、空间、行动、知识、信念、义务和其他内涵概念的逻辑研究。内涵逻辑研究的主要目的是分析内涵概念,围绕内涵概念给出相应的形式系统,形式系统的语义模型解释及关于系统的可靠性和完全性证明等问题。内涵逻辑在哲学问题的分析和自然语言语义学及人工智能等领域都有极为重要的应用。本文概述当代内涵逻辑发展的主要类型以及它们之间的内在关联。结论部分给出了关于内涵逻辑与经典逻辑关系的两种观点,有助于人们更深刻地理解内涵逻辑。
【作者单位】： 苏州大学政治与公共管理学院;
【关键词】： 内涵逻辑 经典逻辑 逻辑语义学
【分类号】：B81-06
【正文快照】： 一、弗雷格的内涵语义学思想弗雷格(G.Frege)不仅是现代逻辑的奠基者,也是内涵逻辑语义学思想的奠基者。Frege为了解释形式为“a=b”和“a=a”这类陈述的不同提出了涵义和指称相区别的思想。这一思想的提出对于以下问题提供了精致的直觉上富有吸引力的解决:(1)等值陈述的认识

【相似文献】

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

1 程仲棠;;关于“蕴涵怪论”及其反例[J];学术研究;2011年08期

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

3 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期

4 罗翊重;;对哥德尔定理的辩证逻辑形式化解读[J];昆明学院学报;2011年04期

5 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期

6 丁春晓;张兴芳;;模糊逻辑系统公理真度分析[J];模糊系统与数学;2011年03期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

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

1 聂文龙;;内涵逻辑的对象理论建构[A];逻辑学及其应用研究——第四届全国逻辑系统、智能科学与信息科学学术会议论文集[C];2008年

2 高峰;陆汝占;;限定领域中汉语语义求解的方法——类型逻辑语义学应用初探[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年

3 陆汝占;高峰;陈玉泉;靳光瑾;;汉语内涵逻辑及其应用[A];辉煌二十年——中国中文信息学会二十周年学术会议论文集[C];2001年

4 赵总宽;;三个异于实质蕴涵的条件词[A];1993年逻辑研究专辑[C];1993年

5 陆汝占;靳光瑾;;“是”的内涵逻辑语义解释[A];自然语言理解与机器翻译——全国第六届计算语言学联合学术会议论文集[C];2001年

6 弓肇祥;季冠芳;;哲学逻辑的几个理论问题[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

7 张金成;;变换经典逻辑的时空——《数理辩证逻辑导论》读后[A];1996年逻辑研究专辑[C];1996年

8 朱水林;;从外延逻辑到内涵逻辑——现代逻辑发展的一个重要转向[A];1994年逻辑研究专辑[C];1994年

9 聂文龙;;法律逻辑中的内涵逻辑方法[A];第十四届全国法律逻辑学术讨论会论文集[C];2006年

10 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年

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

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

2 华南师范大学政治与行政学院 胡泽洪;哲学逻辑的发展趋势及其对我们的启示[N];光明日报;2008年

3 贾春华;《伤寒论》反事实条件句分析[N];中国中医药报;2007年

4 陈波;逻辑学与理性精神[N];光明日报;2003年

5 沈跃春;繁荣和发展逻辑科学[N];安徽日报;2007年

6 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年

7 ;1988年世界上第一个英汉机器翻译产品商品化[N];中国计算机报;2009年

8 本报记者 花馨;钟山的难题[N];21世纪经济报道;2010年

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

1 宋春阳;面向信息处理的现代汉语“名+名”逻辑语义研究[D];上海师范大学;2003年

2 方向红;基于内涵逻辑的现代汉语连接词及关联句式语义研究[D];上海师范大学;2004年

3 田忠锋;形式逻辑前提批判[D];吉林大学;2008年

4 刘雄伟;历史的客观性研究[D];吉林大学;2012年

5 马亮;论卡尔纳普的意义理论[D];中国社会科学院研究生院;2003年

6 王为全;建构中国道德建设的理想图景[D];吉林大学;2006年

7 周平;基于格蕴涵代数的格值逻辑中的近似推理研究[D];西南交通大学;2007年

8 陈冬火;超协调时序逻辑及其模型检测方法[D];中国科学院研究生院（成都计算机应用研究所）;2006年

9 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年

10 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

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

1 刘晓婷;逻辑语义分析方法及应用[D];黑龙江大学;2009年

2 张冬冬;现代逻辑语义学中的真之概念[D];山西大学;2004年

3 于宇;试析蒙太格语法[D];西南大学;2007年

4 任燕;命题集的相容性、根及发散性[D];陕西师范大学;2004年

5 宋丽;塔尔斯基的真理语义论研究[D];燕山大学;2009年

6 范微微;动态蒙太格语法对经典驴子句处理的发展[D];西南大学;2008年

7 卢延鑫;逻辑学在计算机科学中的应用[D];上海社会科学院;2008年

8 章衡;中间逻辑中的范式研究[D];贵州大学;2007年

9 尹鹏;基于多值逻辑状态机的需求分歧研究[D];西安理工大学;2007年

10 徐畅;基于经典逻辑的安全协议模型检测研究[D];吉林大学;2008年

，

本文编号：960916