论可能世界的名字 |
| |
引用本文: | 刘新文.论可能世界的名字[J].哲学研究,2005(9). |
| |
作者姓名: | 刘新文 |
| |
作者单位: | 中国社会科学院哲学所 中央财经大学现代逻辑研究所 |
| |
摘 要: | “可能世界”是模态逻辑语义学的核心概念,一般也可以称为“世界”、“点”、“状态”、“时间”以及“情境”等。模态语言本质上是研究通常一阶模型论意义上的关系结构的简单、且具有丰富表达力的形式语言,但是,传统的模态语言没有一种机制来指称关系结构中的个体并对其进行推理。以传统模态逻辑为基础,在句法中引入“可能世界的名字”作为第二类原子命题、引入相应的算子和约束词而得到的语言称为混合语言,这一语言既发扬了模态语言积极的一面,同时又克服了模态语言前述的重大缺陷。本文首先介绍“可能世界的名字”引入的逻辑背景和主要思…
|
本文献已被 CNKI 等数据库收录! |
|