模态对应理论述评

作者：马明辉; 刘新文

来源：哲学动态, 2012, (01): 97-101.

• 模态词
• 可定义性
• 关系语义
• 特姆
• 一阶公式
• 模态逻辑
• 哲理逻辑
• 经典逻辑
• 标准逻辑
• 命题字母
• 自由变元
• 对应理论

<正>模态逻辑的关系语义(也称克里普克语义)起源于20世纪60年代左右关于模态词的解释,其主要特征是,与之前的模态代数理论[1]相比,作为一种塔尔斯基式的语义,使模态句法对象与语义结构

• 单位
  中国社会科学院