论文部分内容阅读
在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定。我首先给定了两个逻辑,一个是信息的基础相干逻辑L_1,另一个是与L_1联系紧密的逻辑系L_2。其中,L_2被同时包含世界和情境两者的类模型所刻画。当我们只考虑某个L_2模型中包含情境的部分(连同可达关系,不相容关系,以及可分辨情境的集合)时,我们将得到一个L_1的模型结构。在给定了一些关联L_1的模型结构与可能世界的直觉条件后,我们得到了一类特殊的模型——被这类模型刻画的逻辑可以合理地将相干否定与经典否定关联,并且允许我们认为此二者是相容的。在这篇文章中,我首先给定了一个简单的信息逻辑——一个非常弱的相干逻辑。然后,我尝试对其中的命题联结词的真值条件使用经典的处理。以上处理我分两步完成。首先,使用Routley-Meyer的语义以及相关的信息解释。然后,我给出了另一个能够整合环境(或情境)与可能世界之间关系的逻辑。这一关系,可以理解为信息与真之间的形而上的关联。在文章的最后,我将指出在在相干逻辑中整合经典否定的好处。
The negation used in context is coherent negation; the negation used in the world is a classic negation. I first give two logics, one is the basic coherent logic of information L_1, and the other is the logic system L_2 that is closely related to L_1. Among them, L 2 is characterized by a class model that contains both the world and the situation. When we consider only the parts of a L_2 model that contain contexts (along with reachability relationships, incompatibilities, and sets of discernable situations), we get a model structure of L_1. Given some intuition for the model structure and the possible world associated L_1, we obtain a special kind of model-the logic portrayed by such models can reasonably associate coherent negation with classical negation and allow us to think The two are compatible. In this article, I first give a simple information logic - a very weak coherent logic. Then, I try to use the classical treatment of the truth conditions of propositional connectives. The above process I completed in two steps. First, use the semantics of Routley-Meyer and the related information to explain. Then I gave another logic that could integrate the environment (or context) with the possible world. This relationship can be understood as the metaphysical relationship between information and reality. At the end of the article, I’ll point out the benefits of incorporating classic negation in coherent logic.