模态逻辑的历史发展与哲学问题探究

发布时间：2017-12-08 03:07

  本文关键词：模态逻辑的历史发展与哲学问题探究

  更多相关文章： 模态逻辑 可能世界 模态哲学 狭义函数相对论

【摘要】：在逻辑学中，模态逻辑是一门重要的学科，主要是对偶然、可能、必然等相关概念的探讨和研究。 亚里士多德是第一个对逻辑思想中的必然性、可能性、偶然性、模态命题、必然命题与可能命题之间的关系、模态三段论等模态问题思考的哲学家。麦加拉、斯多亚学派在继承亚里士多德的思想的基础上，对模态概念做了进一步的思考和探讨，对“必然与可能”、“条件语句”提出了更加深刻的认识。 中世纪的模态逻辑思想，学界一致认为主要有两部分，一部分是阿拉伯时期的模态逻辑，，提出了具有时间性质的模态谓词逻辑；另一部分是经院时期的模态逻辑，提出了关于推导和模态三段论的理论。莱布尼茨是一个伟大的逻辑学家，对矛盾律和充足理由律，可能世界与现实世界，必然真理与事实真理，可能性、必然性与偶然性等有着更加深刻的认识。弗雷格把数学里面的函数概念和方法引进逻辑学和哲学，对约束变元和量词等做了定义，初步建立了第一个谓词演算公理化系统。 在模态逻辑真正进入正规发展时，形成了三个比较明显的阶段：语形时期、经典时期、和现代时期。只注重语形是语形时期比较显著的特征。关系语义的研究是经典时期的显著特征，关系语义指的是有效性，可满足性，模型和框架等概念，以及将程式安排到可能世界中。现代时期主要关注：研究出了框架不完全结论和模态语言在理论计算机科学中的科学应用。 在模态逻辑的发展方面，模态逻辑逐渐向广义模态逻辑推广，模态逻辑不断的细分和衍生。在模态逻辑的哲学问题上，主要是可能世界的本体论问题，同一性问题和存在在抽象实体中的问题本质主义等。最后，我们团队对模态逻辑与经典逻辑的关系做了进一步的研究，万小龙老师提出了狭义函数相对论，并对相关逻辑学问题提出了自己的初步看法。
【学位授予单位】：华中科技大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：B815.1

【相似文献】

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

1 郝一江;张晓君;;动态逻辑:关于程序的模态逻辑[J];哲学动态;2009年11期

2 宋伟;;《模态逻辑指南》中的若干错误[J];毕节学院学报;2010年03期

3 朱建平;;布尔和赛格贝格论模态逻辑的三大传统[J];山东理工大学学报(社会科学版);2010年04期

4 张晓君;;论模态逻辑中的嵌入问题[J];西南大学学报(社会科学版);2011年01期

5 李娜;王湘云;;共代数模态逻辑研究述评[J];哲学动态;2011年01期

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

7 裘江杰;;模态逻辑典范框架几个侧面[J];重庆理工大学学报(社会科学版);2013年09期

8 董英东;;组合模态逻辑[J];毕节学院学报;2013年08期

9 王凤琴;《模态逻辑》简介[J];国外社会科学;1982年09期

10 郑文辉,梁庆寅;谈谈模态逻辑[J];现代哲学;1986年01期

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

1 孙卫民;;模态逻辑中几个概念的发展[A];1994年逻辑研究专辑[C];1994年

2 何庸;;《广义模态逻辑》值得细读[A];1995年逻辑研究专辑[C];1995年

3 冯棉;;模态逻辑研究中的若干问题[A];1993年逻辑研究专辑[C];1993年

4 孙希文;;模态逻辑模型的嵌入定理[A];1994年逻辑研究专辑[C];1994年

5 李娜;;认识论模态逻辑E-系统的布尔值模型[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

6 楚白;;有穷深度的模态逻辑[A];2005年逻辑研究专辑[C];2005年

7 王阳;;模态逻辑·形式语义·文本符号[A];2003年逻辑研究专辑[C];2003年

8 裘江杰;;一类认知词模态逻辑Ⅰ:基础逻辑[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

9 刘邦凡;;一个知识表示的广义模态逻辑方案[A];2007年全国现代逻辑学术研讨会论文集[C];2007年

10 刘邦凡;何向东;;一个“知识”定义的逻辑解释[A];2007年现代逻辑与逻辑史研讨会论文集[C];2007年

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

1 史t

本文编号：1264796