模态哲思逻辑  

作　　者：李娜[1] 

机构地区：[1]南京大学哲学系,南京210093

出　　处：《重庆工学院学报（社会科学版）》2008年第11期35-38,共4页Journal of Chongqing Institute of Technology

摘　　要：仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对和反对关系的不是A,而是□A。这样就突破了从必然与可能间的关系入手的传统方法,找到了与必然形成相应对当关系的新算子。

关 键 词：哲思逻辑 模态哲思逻辑 对当关系 

分 类 号：B81[哲学宗教—逻辑学]