非偶然逻辑研究

发布时间：2021-03-03 18:43

　　非偶然算子在逻辑史上一直未能得到充分的研究,相关方面文献比较稀少,而国内有关方面的研究更是一片空白。通过参考I.L Humberstone对以非偶然算子为唯一算子的逻辑系统NCK的构建过程,本文得到很多相关的定理和有效性的框架。在此基础上本人给出系统NCK的可靠性和完全性的结论。系统NCK是极小的。本文从非偶然算子的语义定义出发,得到“分歧”的语义定义并在此基础上建立信念分歧逻辑系统BD,并对它的元性质（可靠性和完全性）进行了分析,全文共分为五个部分：在引论中,笔者简要介绍了非偶然模态研究的现状和意义,在此基础上交代了本文的研究所想要达到的目标。第一章研究了非偶然模态的逻辑性质,主要分为两个方面：一方面,从对偶然模态逻辑含义的简要梳理得到非偶然模态的逻辑含义；另一方面,从前文得到的非偶然模态的语形含义入手,通过语义研究来探讨非偶然算子和必然算子在语形上是否能够交互定义的问题。第二章基于前文得到的结论,研究“必然p或者必然非p”这类非偶然算子的逻辑系统。基于对I.L Humberstone等人工作本文重构出非偶然逻辑系统NCKo通过其可靠性和完全性的证明,论证所架构的系统是极小的。第三章... 

【文章来源】：南京大学江苏省 211工程院校 985工程院校 教育部直属院校

【文章页数】：59 页

【学位级别】：硕士

【文章目录】：
中文摘要
Abstract
目录
引言
第一章 非偶然模态的逻辑性质研究
    第一节 非偶然模态的逻辑含义
    第二节 非偶然算子和必然算子的交互定义
第二章 极小非偶然模态逻辑系统研究
    第一节 极小非偶然逻辑系统NCK
    第二节 NCK的可靠性和完全性研究
第三章 非偶然模态逻辑的应用：分歧逻辑系统的构建
    第一节 信念分歧逻辑系统BD
    第二节 BD元性质的分析
结语
参考文献
后记


【参考文献】：
期刊论文
[1]基于亚里士多德偶然性概念的逻辑系统[J]. 潘天群.  湖南科技大学学报(社会科学版). 2012(06)
[2]论逻辑系统的波斯特完全性[J]. 马明辉.  自然辩证法研究. 2012(11)
[3]偶然命题的逻辑分析[J]. 刘天喜.  江汉论坛. 1998(04)



本文编号：3061747