首页
期刊介绍
编委会
投稿须知
期刊订阅
广告合作
联系我们
文章摘要
弗完全模态逻辑及其逻辑特性
DOI:
中文关键词
:
弗完全
排中律
模态逻辑
真矛盾
悖论
英文关键词
:
基金项目
:
国家社会科学基金重大项目(18ZDA031)
作者
单位
郝旭东
华东师范大学 哲学系
,
上海 200241
摘要点击次数
:
204
全文下载次数
:
47
中文摘要
:
P1是一个基本的弗完全逻辑系统,其重要特征是排中律在一般意义上无效,并且有些会导致矛盾扩散的逻辑原则在其中失效,从而使得弗完全逻辑具有可以容纳矛盾冲突,但不会导致整个系统无意义的逻辑特性。在系统P1的基础上,通过直接的逻辑扩充可以建立一系列弗完全模态逻辑系统,即P1K, P1D, P1T, P14, P1G,并可证明它们的可靠性和完全性。这些具有弗完全性质的模态逻辑系统,都具有容忍“真矛盾”的能力。
英文摘要
:
查看全文
查看/发表评论
下载PDF阅读器
关闭