否定的邻域语义分析.pdfVIP

否定的邻域语义分析* 1 2 王轶 许涤非 （1. 北京大学哲学系，北京，100871；2. 中国人民大学哲学系，北京，100872） 摘 要：本文使用普遍适用的邻域语义学对否定进行分析。首先找出否定的刻画条件──反 单调性，然后在该条件的基础上探讨其它的性质（如单纯性、证据对立、强弱否定性质等）， 从而得以审视逆否律、德摩根律、双重否定律、排中律、矛盾律等与否定有关的一系列逻辑 定律，以及由此产生的各种不同的否定。这一过程加深了我们对否定联结词的理解与把握。 关键词：否定 邻域语义 反单调性 单纯性 证据对立 强否定 弱否定 否定是逻辑的基本概念之一，大多数的逻辑都将否定作为初始概念。然而不同逻辑中的 否定却可以有不同的定义，比如经典逻辑、直觉主义逻辑、相干逻辑、弗协调逻辑等对否定 ¬ ¬ 的理解就不尽相同，而模态逻辑中的模态词“ □”和“ ◇”等也可以看作某种意义上的 否定联结词。我们说这些否