湖南科技大学学报（社会科学版）

文章摘要

弗完全模态逻辑及其逻辑特性

DOI：

英文关键词:

基金项目:国家社会科学基金重大项目（18ZDA031）

作者	单位
郝旭东	华东师范大学哲学系，上海 200241

摘要点击次数: 204

全文下载次数: 47

中文摘要:

P1是一个基本的弗完全逻辑系统，其重要特征是排中律在一般意义上无效，并且有些会导致矛盾扩散的逻辑原则在其中失效，从而使得弗完全逻辑具有可以容纳矛盾冲突，但不会导致整个系统无意义的逻辑特性。在系统P1的基础上，通过直接的逻辑扩充可以建立一系列弗完全模态逻辑系统，即P1K, P1D, P1T, P14, P1G，并可证明它们的可靠性和完全性。这些具有弗完全性质的模态逻辑系统，都具有容忍“真矛盾”的能力。

英文摘要:

查看全文查看/发表评论下载PDF阅读器

关闭