古典命题逻辑与模态命题逻辑

发布时间：2017-12-18 22:29

  本文关键词：古典命题逻辑与模态命题逻辑

  更多相关文章： 古典逻辑 模态逻辑 语形 语义

【摘要】：模态逻辑作为一种非古典逻辑是与古典逻辑不同类型的逻辑。现代逻辑的研究大体上有两个目的:一是解决数学推理及理论体系建立中的逻辑问题,即给出数学的逻辑基础;另一是以一般的推理为对象,由此而涉及一些特定领域里的推理,解决其中的逻辑问题。关于前者的逻辑即狭义的数理逻辑,通常也称为数理逻辑,可以看成关于数学的逻辑;关于后者的逻辑在现代广泛应用数学的思想和方法的情况下,可以看成应用数学的逻辑,即广义的数理逻辑,也称为符号逻辑。古典逻辑是狭义的数理逻辑,是为建立数学基础而提出。现代逻辑在特定的历史条件下首先建立的是这种关于数学的逻辑。而现代模态逻辑是在现代逻辑中首先出于后一目的而建立的逻辑,分为语形和语义两方面。本文从语形、语义两方面,比较现代模态命题逻辑和古典命题逻辑。 全文分六部分。 第一部分,即本文的导言。导言简单介绍了模态逻辑的历史。 第二部分,即本文的第一章。本章追溯了古典命题逻辑和模态命题逻辑的理论渊源,产生的必要性和可能性,产生的思维过程。 第三部分,即本文的第二章。本章比较了模态函项与真值函项之异:不能仅根据真值联结词来确定模态函项的真值。 第四部分,即本文的第三章。本文先论述了形式化公理系统的组成部分及其异与同,然后比较了古典命题逻辑形式化公理系统与模态命题逻辑形式化公理系统的同与异。这个比较分两类来进行的。第一类是形式语言的比较,其中主要对初始符号、形成规则、合式公式、原子公式进行了比较,同时还对元语言进行了比较。LPM与 Lp 相比:由于□的引入,导致了初始符号与形成规则的扩张;从而引起了 LPM的合式公式、原子公式、元语言变项和常项的取值范围,比 Lp 中相应部分的取值范围大大扩张。故从形式语言来说,LPM是 Lp 的真扩张。第二类是演绎基础的比较,作者选择了一些重要的模态命题逻辑系统 K、D、T、B、S4、S5,其中主要对它们与古典命题逻辑系统 P 的公理、变形规则、定理集及推理能力进
【学位授予单位】：河南大学
【学位级别】：硕士
【学位授予年份】：2005
【分类号】：B812

【相似文献】

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

1 姚从军;;古典命题逻辑与模态命题逻辑的形式系统之比较[J];毕节学院学报;2009年10期

2 R.希尔卑伦;扬世武;;模态逻辑的某些认知解释[J];世界哲学;1987年01期

3 王云龙;古代社会向近代世界转型的多维整合研究简论[J];北方论丛;2000年01期

4 张力锋;模态逻辑的哲学归宿[J];四川大学学报(哲学社会科学版);2004年02期

5 张力锋;;论模态逻辑的合法性——对蒯因式模态词解读的批判考察[J];学术研究;2006年09期

6 裘江杰;;基础认知词模态逻辑[J];湖南科技大学学报(社会科学版);2009年04期

7 刘奋荣;;概念分析的奠基与发展[J];自然辩证法研究;2011年04期

8 沈洁;;现代模态逻辑对必然性的刻画[J];东南大学学报(哲学社会科学版);2006年S1期

9 姚从军;;走进模态逻辑的互模拟[J];科学技术哲学研究;2010年03期

10 董英东;;模态逻辑发展历史概述[J];燕山大学学报(哲学社会科学版);2010年02期

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

1 张石麟;;言语形成机制和言语表达能力[A];外语语言教学研究——黑龙江省外国语学会第十次学术年会论文集[C];1996年

2 李文江;陈图云;;基于模糊测度的模态逻辑[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

3 陈克守;;三大古典逻辑概念论比较[A];1997年逻辑研究专辑[C];1997年

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

5 周训伟;;新古典逻辑——简繁复合、归纳复合与分解[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

6 陈国勋;闫家杰;;Fuzzy模态公式的归约[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

7 陈克守;;墨辩、因明与亚里士多德演绎逻辑比较[A];1996年逻辑研究专辑[C];1996年

8 陈文华;;论手语的基本要素——语形的内涵及相关类型[A];江苏省教育学会2006年年会论文集（综合一专辑）[C];2006年

9 周训伟;;从实质蕴涵谈起[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

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

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

1 杜永道;言语形态的语用场合[N];语言文字周报;2005年

2 本报记者 王晓坤;析三个女人一台戏[N];保健时报;2005年

3 许红洲　王郢;北京：簋街何以醉食客[N];经济日报;2003年

4 记者 聂传清;京台合作前景美好[N];人民日报海外版;2005年

5 潘巳申;一心为民袁月全[N];人民法院报;2003年

6 丽莎;ＭＰ３“星运儿” 音乐幸运儿[N];中国经营报;2005年

7 黄再生 王晋;平凡岗位一颗星[N];西南电力报;2005年

8 陈岸瑛;文字和数字创造的世界[N];中华读书报;2003年

9 苏琳 王继富;公益广告传播文明[N];中华新闻报;2002年

10 沈润发;正月十五话灯节[N];兰州日报;2005年

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

1 李文江;基于格蕴涵代数的广义格值模态逻辑及其归结自动推理的研究[D];西南交通大学;2002年

2 史t，

本文编号：1305882