| 相干否定与经典否定 |
| |
| 引用本文： | 埃德温·马莱斯.相干否定与经典否定[J].中山大学学报论丛,2010,3(1). |
| |
| 作者姓名： | 埃德温·马莱斯 |
| |
| 作者单位： | 惠灵顿维多利亚大学逻辑、语言与计算中心 |
| |
| 摘 要： | 在情境中使用的否定,是相干否定;在世界中使用的否定,是经典否定.我首先给定了两个逻辑,一个是信息的基础相干逻辑L1,另一个是与L1联系紧密的逻辑系L2.其中,L2被同时包含世界和情境两者的类模型所刻画.当我们只考虑某个L2模型中包含情境的部分(连同可达关系,不相容关系,以及可分辨情境的集合)时,我们将得到一个L1的模型结构.在给定了一些关联L1的模型结构与可能世界的直觉条件后,我们得到了一类特殊的模型--被这类模型刻画的逻辑可以合理地将相干否定与经典否定关联,并且允许我们认为此二者是相容的.在这篇文章中,我首先给定了一个简单的信息逻辑--一个非常弱的相干逻辑.然后,我尝试对其中的命题联结词的真值条件使用经典的处理.以上处理我分两步完成.首先,使用Routley-Meyer的语义以及相关的信息解释.然后,我给出了另一个能够整合环境(或情境)与可能世界之间关系的逻辑.这一关系,可以理解为信息与真之间的形而上的关联.在文章的最后,我将指出在在相干逻辑中整合经典否定的好处.
|
Relevant Negation and Classical Negation |
| |
| Edwin Mares.Relevant Negation and Classical Negation[J].Supplement to the Journal of Sun Yatsen University,2010,3(1). |
| |
| Authors: | Edwin Mares |
| |
| Abstract: | Negation in situaitons acts relevantly, but in worlds it acts classically. In this paper Ⅰ set out a basic relevant logic of information, L1, and a very closely related logic L2. L2 is the logic that is characterized by the class models that includes both worlds and situations. The situations of one of these models, taken by itself (with its accessibility relation, incompatibility relation, and set of distingushed situations) is an L1 model structure. Given some intuitive conditions relating L1 model structures to possible worlds, we end up with models for a logic that relates relevant negation to classical negation in a reasonable way and allows us to say that the two are compatible. |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
