否定的邻域语义分析

使用普遍适用的邻域语义学对否定进行分析。首先找出否定的刻画条件──反单调性,然后在该条件的基础上探讨其它的性质(如单纯性、证据对立、强弱否定性质等),从而得以审视逆否律、德摩根律、双重否定律、排中律、矛盾律等与否定有关的一系列逻辑定律,以及由此产生的各种不同的否定。这一过程促进我们对否定联结词更深刻的理解与把握。