道义逻辑标准化及其对悖论的消解

• 作者: 曾永志
• 来源期刊: 心智与计算
• 学科: 哲学
• 关键词: 道义逻辑 模态逻辑 悖论 语义学
• 年，卷（期）: 2009,（2）
• 页码范围: 111-117
• 页数: 7页
• 分类号: B815.4

摘要

道义逻辑,(即关于义务的逻辑,可允许性,等等)在二十世纪五、六十年代经历了一个发展的高峰,结出了丰硕的成果。芬兰人冯莱特开辟了现代规范逻辑研究的新途径,安德逊在冯莱特的基础上使真值模态逻辑的树根、树干上,生长出规范逻辑的树枝、树叶。这种再生成包含了通过引入代表"制裁"的命题项S,然后借助S和真值算子"L"(必然)、"M"(可能)来定义特殊的模态算子"O"(必须)、"P"(允许)和"F"(禁止),并且在标准模态逻辑系统的框架内引进了一些恰当的规范定理。本文旨在说明规范逻辑的标准系统的一些衍生以及其标准系统过程中所面对的悖论的消解。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	曾永志	厦门大学哲学系	9	28	3.0	5.0