| 怀疑逻辑的弗协调方案探赜 |
| |
| 引用本文： | 周龙生.怀疑逻辑的弗协调方案探赜[J].重庆理工大学学报(社会科学版),2016(3):25-30. |
| |
| 作者姓名： | 周龙生 |
| |
| 作者单位： | 北京大学 哲学系,北京,100871 |
| |
| 基金项目： | 国家社会科学基金重大项目“应用逻辑与逻辑应用研究”(14ZDB014) |
| |
| 摘 要： | 目的：提供一个建立在弗协调认知逻辑基础上的包含三分认知世界思想的怀疑逻辑构造方案。方法在系统 SPN 内定义相关的认知模态算子。结果怀疑逻辑三分认知世界的设想得以实现，同时由于弗协调认知逻辑的原因，一些怀疑逻辑公式的有效性发生了变化。
|
| 关 键 词： | 怀疑逻辑 三分认知世界 弗协调认知逻辑 |
Preliminary Analysis of Paraconsistent Doubting Logic |
| |
| Abstract: | Objective This paper aimed to provide a formalization of doubting logic with tri-partitioning of epistemic worlds based on paraconsistent epistemic logic. Method We defined the related epistemic modal operator in SPN. Result The idea of tri-partitioning of epistemic worlds was achieved. Mean-while,the validity of some formulas about doubting logic was changed for the paraconsistent epistemic logic reasons. |
| |
| Keywords: | doubting logic tri-partitioning of epistemic world paraconsistent epistemic logic |
| 本文献已被 万方数据 等数据库收录！ |
