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