布尔和赛格贝格论模态逻辑的三大传统 |
| |
引用本文: | 朱建平.布尔和赛格贝格论模态逻辑的三大传统[J].山东理工大学学报(社会科学版),2010,26(4):43-48. |
| |
作者姓名: | 朱建平 |
| |
作者单位: | 苏州大学,政治与公共管理学院,江苏,苏州,215123 |
| |
摘 要: | 布尔和赛格贝格采用理性重组模式重建现代模态逻辑发展历史,把现代模态逻辑的起源归结为三个传统:句法学传统、代数传统和语义学传统,并对这三大传统的发展脉络和各自的技术风格给予了清晰刻画。文中凸显的主题是,技术发展是当代模态逻辑理论嬗变的主要动因,正是这些如同酵母般的技术要素,使模态逻辑走上永无止息的自我更新之路。
|
关 键 词: | 模态逻辑 句法学传统 代数传统 语义学传统 |
本文献已被 维普 万方数据 等数据库收录! |
|