相干否定与经典否定     

埃德温·马莱斯 《中山大学学报论丛》2010,3(1)

在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定.我首先给定了两个逻辑,一个是信息的基础相干逻辑L1,另一个是与L1联系紧密的逻辑系L2.其中,L2被同时包含世界和情境两者的类模型所刻画.当我们只考虑某个L2模型中包含情境的部分(连同可达关系,不相容关系,以及可分辨情境的集合)时,我们将得到一个L1的模型结构.在给定了一些关联L1的模型结构与可能世界的直觉条件后,我们得到了一类特殊的模型--被这类模型刻画的逻辑可以合理地将相干否定与经典否定关联,并且允许我们认为此二者是相容的.在这篇文章中,我首先给定了一个简单的信息逻辑--一个非常弱的相干逻辑.然后,我尝试对其中的命题联结词的真值条件使用经典的处理.以上处理我分两步完成.首先,使用Routley-Meyer的语义以及相关的信息解释.然后,我给出了另一个能够整合环境(或情境)与可能世界之间关系的逻辑.这一关系,可以理解为信息与真之间的形而上的关联.在文章的最后,我将指出在在相干逻辑中整合经典否定的好处.  相似文献