基本命题逻辑的模态扩张

发布时间：2017-04-06 09:01

  本文关键词：基本命题逻辑的模态扩张，由笔耕文化传播整理发布。

【摘要】：基本命题逻辑是不同于经典命题逻辑的命题逻辑,属于非经典逻辑,与它最类似的非经典逻辑是直觉主义命题逻辑。相比于经典命题逻辑,基本命题逻辑引入了一个恒假概念(记为⊥),并在否定和蕴含的定义上均与经典命题逻辑不同。基本命题逻辑中蕴含的意义在于一个特定的传递关系的后继上,蕴含式的真值也由该关系的后继上前件和后件的真值确定。否定式也不再是经典命题逻辑中那样的真值变换,一个命题的否定被定义为该命题蕴含恒假。在基本命题逻辑中加入公式p∧(p→q)→q作为公理,可以将该逻辑扩张为直觉主义逻辑；再在此直觉主义逻辑的基础上加入公式p∨-p作为公理,则可以将其扩张为经典命题逻辑。与经典命题逻辑和直觉主义命题逻辑一样,基本命题逻辑也可以进行模态扩张,以此来研究必然、可能及其相关概念。以上设定与直觉主义命题逻辑基本相同,区别在于蕴含的定义上,在基本命题逻辑中,与蕴含对应的特定关系是一个传递关系,而在直觉主义命题逻辑中,与蕴含对应的特定关系是一个自返且传递的关系。基本命题逻辑和直觉主义命题逻辑之间的区别也是由于这个关系的自返与否带来的。由于基本命题逻辑和经典命题逻辑、直觉主义命题逻辑之间关系密切,因而在对其进行模态扩张的时候,可以借鉴经典模态逻辑和直觉主义模态逻辑,参考二者中对模态部分的定义与描述来获取对基本命题逻辑进行模态扩张的思路,以及获取扩张之后得到的逻辑的具体性质。 在对基本命题逻辑进行模态扩张时,经过检验得出必然算子与可能算子之间并不像经典模态逻辑中那样具有对偶关系,因此需要分别扩张出只含有必然算子的模态逻辑与只含有可能算子的模态逻辑,再考虑将这两种模态逻辑进行合并,进而得到同时含有必然算子与可能算子的模态逻辑。在引入必然算子时,与经典模态逻辑一样需要引入新的可及关系,但由于基本命题逻辑本身带有的单调性,使得如果仅仅使用这个新的关系定义出必然算子,那么将出现在扩张后的模态逻辑系统下带有必然算子的蕴含式不能保持单调性这个问题。解决这个问题需要对得到的模态逻辑的模型进行关系上的限制。为了避免进行这样的限制,本文将蕴含式对应的关系与模态扩张时引入的新关系结合在一起,同时使用这两个关系来重新定义了必然算子。以这样的方式引入必然算子之后,在基本命题逻辑系统的基础上加入两条带有必然算子的公理与一条带有必然算子的推理规则,即可以得到该系统的带有必然算子的模态扩张。在引入可能算子时同样由于单调性而遇到了问题,而将蕴含式对应的关系与模态扩张时引入的新关系结合在一起来重新定义可能算子的方式并没有得到好的结果,因此为了解决这个问题,本文在扩张后得到的模态逻辑系统上进行了这两个关系之间的限制。以这样的方式引入可能算子之后,在基本命题逻辑系统的基础上加入两条带有可能算子的公理与一条带有可能算子的推理规则,即可以得到该系统的带有可能算子的模态扩张。而同时按文中的方式引入必然算子与可能算子之后,将以上四条公理与两条推理规则同时加入基本命题逻辑的系统,则可以得到该系统的既带有必然算子又带有可能算子的模态扩张MPL,而这也是本文希望得到的结果。 以这样方式对基本命题逻辑进行模态扩张之后,得到的模态逻辑类似于直觉主义模态逻辑,但两者在公理上有很大区别。本文选择了最有影响力的直觉主义模态逻辑系统——费舍尔·舍维的FS系统——来与MPL的系统进行对比,发现两者除了共有的公理及推理规则之外,包括K公理在内的三条FS系统的公理在MPL的系统中均存在反模型,以此来说明这三条公理都不能作为MPL系统的公理或定理。除了这样的不同点,从模型论的理论进行考虑可以发现,在经典命题逻辑系统、基本命题逻辑系统与直觉主义模态逻辑系统中,一些模型和框架上的定理在MPL中同样适用,只需要注意将对应的模态部分转化为适用于MPL的形式。 考虑到除了K公理之外的另外两条公理是同时含有必然算子与可能算子的公式,而这两条公理均被证明在MPL中无效,因而本文尝试将引入必然算子与可能算子所使用的与模态相对应的可及关系区分开来的方式,以一种偏向代数的方式重新对基本命题逻辑进行了模态扩张。这样进行的模态扩张得到的模态逻辑同时含有必然算子与可能算子,其模型可以对应到一个特定的海廷代数上,同时一个符合这样形式的海汀代数也可以对应到某个这样的模态逻辑模型上。由于存在这样的双向对应,因而本文尝试将模型论与代数上的一些概念与性质对应到基本命题逻辑的模态扩张上,包括归约、嵌入、同构等概念均可以与该模态逻辑的模型结合起来。
【关键词】：基本命题逻辑 模态扩张 模态系统差异 代数
【学位授予单位】：西南大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：O141.1
【目录】：

• 摘要4-6
• Abstract6-8
• 文献综述8-10
• 第1章 绪论10-12
• 1.1 研究的目的和意义10
• 1.2 主要研究方法10-12
• 第2章 模态词的引入12-23
• 2.1 基本命题逻辑12-14
• 2.2 公理化的模态扩张14-22
• 2.3 本章小结22-23
• 第3章 MPL的性质23-31
• 3.1 MPL与直觉主义模态逻辑的区别23-26
• 3.2 MPL的性质26-30
• 3.3 本章小结30-31
• 第4章 代数与模态化31-34
• 4.1 模态化31
• 4.2 代数上的性质31-34
• 结论34-35
• 参考文献35-36
• 致谢36-37
• 发表论文37

【相似文献】

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

1 刘益;闵兰;;确定有限自动机的逻辑形式定义[J];西南师范大学学报(自然科学版);2008年05期

2 闵兰;刘益;;奇偶校验自动机的逻辑形式描述[J];西南师范大学学报(自然科学版);2009年03期

3 杨晓斌,薛贤铭;连续值逻辑系统中的代换定理[J];山东理工大学学报(自然科学版);2003年01期

4 张广学;;命题逻辑中代数学的影子[J];现代电子技术;2008年04期

5 王静;;离散数学教学中关于命题符号化问题的讨论[J];科技信息(科学教研);2008年25期

6 苏岐芳,苏雅春;命题逻辑中的可表性[J];松辽学刊(自然科学版);1997年04期

7 左卫兵;;一种非均匀概率空间下二值命题逻辑中命题的真度理论[J];河北师范大学学报(自然科学版);2008年01期

8 邓春燕;郑涵;林芳;;离散数学中数理逻辑的教学探讨[J];河池学院学报;2010年S1期

9 邓少波;;粒及粒命题逻辑[J];科技广场;2011年03期

10 阿特罗·萨加利,聂建中;从思维规律到计算机逻辑[J];科学技术与辩证法;1990年02期

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

1 徐扬;;格值命题逻辑公式及其L真(假)性[A];中国系统工程学会模糊数学与模糊系统委员会第五届年会论文选集[C];1990年

2 张清宇;;古典命题逻辑的证伪系统[A];1996年逻辑研究专辑[C];1996年

3 李丹菁;陶振麟;;在预测控制中使用命题逻辑及其应用[A];2001中国控制与决策学术年会论文集[C];2001年

4 刘社军;;命题逻辑之判定层次及其判定方法[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年

5 李娜;;我讲《数理逻辑》课程的方法[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年

6 陈国勋;陈斌;;F-时态命题逻辑中的归结原理[A];模糊数学和系统成果会论文集[C];1991年

7 夏梦;;逻辑真理的特点[A];逻辑研究文集——中国逻辑学会第六次代表大会暨学术讨论会论文集[C];2000年

8 孙炳哲;;《肇论》对时空真假的认识——以《物不迁论》与《不真空论》为中心的探讨[A];诠释与建构——汤一介先生75周年华诞暨从教50周年纪念文集[C];2001年

9 陆秋君;吴望名;;Post代数的Fuzzy滤子和Fuzzy同余[A];模糊集理论与应用——98年中国模糊数学与模糊系统委员会第九届年会论文选集[C];1998年

10 刘壮虎;;相干逻辑的邻域语义学[A];1995年逻辑研究专辑[C];1995年

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

1 佟芳;首届生命基因高峰论坛举行[N];科技日报;2009年

2 佟佳芳;奋斗攻关四十载 自主创新结硕果[N];科技日报;2009年

3 高南生（作者单位：秦安县教师进修学校）;中学数学学习指南[N];甘肃日报;2005年

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

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

6 贾春华 王永炎;“方证论治系统”原理论思考[N];中国中医药报;2006年

7 哲科;哲学所举办第二届青年学术论坛[N];中国社会科学院院报;2008年

8 中国科学院计算技术研究所 常亮邋史忠植;语义Web的逻辑基础[N];计算机世界;2007年

9 林圭;固有不然必无不至[N];人民日报海外版;2001年

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

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

1 王伟;格值命题逻辑系统LP（X）中基于α-归结原理的自动推理方法的研究[D];西南交通大学;2002年

2 贾春华;基于命题逻辑的《伤寒论》方证理论体系研究[D];北京中医药大学;2006年

3 吴瑕;基于扩展规则的定理证明的研究[D];吉林大学;2006年

4 殷明浩;自动推理和智能规划中若干问题研究[D];吉林大学;2008年

5 郭远华;若干逻辑自动推理方法研究[D];华东师范大学;2010年

6 时慧娴;模态逻辑的计量化研究及其在模型检验中的应用[D];陕西师范大学;2013年

7 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年

8 斐峥;基于神经网络的自动推理理论及方法的研究[D];西南交通大学;2002年

9 胡斌;可信的自治式服务协同系统验证[D];浙江大学;2009年

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

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

1 刘小山;基本命题逻辑的模态扩张[D];西南大学;2014年

2 杨状;命题逻辑假说扩充生成算法及其应用研究[D];大连海事大学;2014年

3 黄拙;一阶逻辑模型搜索问题研究[D];中国科学院研究生院（软件研究所）;2004年

4 李彩红;命题逻辑中广义MP问题的合理解及新型反向三I算法[D];兰州理工大学;2011年

5 唐仕辉;命题逻辑中子句集的冗余性研究[D];西南交通大学;2014年

6 邓富喜;n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性[D];兰州理工大学;2011年

7 黄冲;组合优化中的命题逻辑[D];华中科技大学;2011年

8 刘加昆;转折句“p∧q”的逻辑分析[D];广西师范大学;2007年

9 宋庆燕;命题逻辑公式集上的正则相似关系和一种新型的三I算法[D];陕西师范大学;2003年

10 姚从军;古典命题逻辑与模态命题逻辑[D];河南大学;2005年

  本文关键词：基本命题逻辑的模态扩张，，由笔耕文化传播整理发布。

本文编号：288578