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