文档介绍：研 究 生 毕 业 论 文
申 请硕士学位 ）
论 文 题 目 非偶 然逻辑 研 究
作 者 姓 名 宋倾
学 科 、 专 业 逻 ”
研 宄 方 向 现代逻辑
指 导 教 师 潘球
年 月 日
学 号 ：
论文答辩 日 期 ： 加 吒 巧 、 巧
指 导 教 师 ： 签字
南京 大学研究生毕业论文 中 女摘要首页 用纸
毕业论文题 目 ： 非偶然逻辑研 究
逻辑学 专业 级 硕士生 姓 名 ： 宋传新
指导 教师 （ 姓名 、 职称 ： 潘天群 教授
中文摘要
非 偶然 算子在逻辑史上 一直 未能 得到 充分 的研 宄 相 关方面文献 比较稀少 ，
而 国 内 有关方面 的 研究 更是一片空 白 。 通过参考 对 以 非 偶然算
子为唯 一算子 的 逻辑系 统 的构建过程 本文得 到 很 多相 关的 定 理和有 效性 的
框架 。 在此基础 上本 人给 出 系 统 的 可靠性和完全性 的 结论 。 系 统 是极小
的 。 本文 从非偶 然算子 的 语义定义 出发 ， 得到 “ 分歧 ” 的语义定义 并在此基础 上
建立信 念分歧逻辑系 统 ， 并对它 的 元性质 （ 可靠性和 完全性 ） 进 行 了 分 析 ，
全文共 分为五个 部分 ：
在 引 论 中 ， 笔者 简 要介 绍 了 非偶然模态研 究 的 现状和 意义 ， 在此基 础上交代
了 本文的 研究 所想要达到 的 目 标 。
第 一章 研宄 了 非偶然模态的 逻辑性质 ， 主 要分为两个方面 ： 一方面 ， 从对 偶
然模态 逻辑含 义 的 简 要梳理得到 非偶 然模态的 逻辑含义 ； 另 一方面 ， 从前文得 到
的 非偶 然模态 的 语形含义入手 ， 通过语义研宄来探讨 非偶然算子和 必然算子在 语
形上是否能够交互定 义 的 问 题 。
第 二章基于 前文得到 的结 论 ， 研究 “ 必 然 或者必 然非 ” 这类 非偶然算子
的 逻辑 系 统 。 基于对 等人工作本 文重 构 出 非偶然逻辑 系统 。
通过其可靠性和完全性 的 证 明 ， 论证所架构 的 系 统是极小 的 。
第 三章 从非偶然算子 的语义定义 出 发 ， 得 到 分歧算子 的 语 义定 义 。 基 于此定
义 ， 建立起信 念分歧逻辑系 统 。 进而研究 该系 统 的可 靠性和 完全性 。
结 语对前文所得 的结论进行 了