基于开放世界预设的3-值命题演算系统

发布时间：2018-12-11 16:32

【摘要】：本文致力于研究定义在满足开放世界预设的可能世界集合上的命题的逻辑结构。在文献（鞠实儿，，１９９６和１９９７）的基础上，本文发展出一种基于开放世界预设的３－值语句逻辑系统（简称ＳＬＯ），给出ＳＬＯ的语义理论，构造相应的形式公理系统，并证明该形式系统具有一致性和恰当性。
[Abstract]:This paper is devoted to the study of the logical structure of propositions defined on the set of possible worlds that satisfy the presupposition of the open world. Based on the literature (Ju Shier, 1996 and 1997), this paper develops a 3-valued logic system based on open world presupposition (SLO), for short) gives the semantic theory of SLO. The corresponding formal axioms are constructed, and the consistency and appropriateness of the formal systems are proved.
【分类号】：B81

【参考文献】

相关期刊论文 前1条

1 鞠实儿;论可能世界集合的封闭性与否定联结词的关系[J];自然辩证法研究;1997年11期

【共引文献】

相关期刊论文 前5条

1 熊明;休谟问题的逻辑正解[J];华南师范大学学报(社会科学版);2001年05期

2 倪荫林;推理形式问题辨正──兼与龚启荣先生商榷[J];锦州师范学院学报(哲学社会科学版);1999年01期

3 鞠实儿;三种信念悖论的消除[J];自然辩证法通讯;1995年02期

4 鞠实儿;论可能世界集合的封闭性与否定联结词的关系[J];自然辩证法研究;1997年11期

5 郭佳宏,鞠实儿;基于开放世界预设的3—值逻辑的列表证明系统[J];中山大学学报(社会科学版);2004年05期

相关博士学位论文 前1条

1 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

【相似文献】

相关期刊论文 前10条

1 郭佳宏,鞠实儿;基于开放世界预设的3—值逻辑的列表证明系统[J];中山大学学报(社会科学版);2004年05期

2 鞠实儿;开放类逻辑的哲学基础——一种非规范三值内涵语义理论[J];中国社会科学;2004年03期

3 徐明;;不伦不类开放类 评鞠实儿的开放类逻辑[J];科学文化评论;2006年04期

4 康宏逵;;又不忍沉默[J];科学文化评论;2006年04期

5 ;[J];;年期

6 ;[J];;年期

7 ;[J];;年期

8 ;[J];;年期

9 ;[J];;年期

10 ;[J];;年期

本文编号：2372868