模态哲思逻辑 |
| |
引用本文: | 李娜.模态哲思逻辑[J].重庆工商大学学报(自然科学版),2008(11). |
| |
作者姓名: | 李娜 |
| |
作者单位: | 南京大学哲学系; |
| |
摘 要: | 仿照哲思逻辑的方法,在传统模态逻辑的系统内,增加一个一元算子*,再通过定义引入两个一元算子△和▽,同样可以建立一个经典模态逻辑的扩充系统——模态哲思逻辑系统。但与哲思逻辑不同的是,在模态哲思逻辑中,分别与△A和▽A形成下反对和反对关系的不是A,而是□A。这样就突破了从必然与可能间的关系入手的传统方法,找到了与必然形成相应对当关系的新算子。
|
关 键 词: | 哲思逻辑 模态哲思逻辑 对当关系 |
本文献已被 CNKI 等数据库收录! |
|