模态逻辑典范框架的几个侧面

• 作者: 裘江杰
• 来源期刊: 中国哲学年鉴
• 学科: 哲学
• 关键词: 典范框架 模态逻辑 侧面 逻辑性质 经典逻辑 数学对象 包含关系 完全性
• 年，卷（期）: 2014,（1）
• 页码范围: 369-369
• 页数: 1页
• 分类号: B815.3

摘要

典范框架的思想来自于Henkin对经典逻辑完全性的证明，它依赖于语法对象。同样，模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架，典范框架包含着相对应逻辑的性质信息；另外，典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成，因此，典范框架的构成以语言为参数。对于同一个逻辑，它的基于不同语言的典范框架之间有着非常密切的关系，逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的，对每个正规逻辑，其典范框架也都是足够“宽”的。