摘要
使用普遍适用的邻域语义学对否定进行分析。首先找出否定的刻画条件──反单调性,然后在该条件的基础上探讨其它的性质(如单纯性、证据对立、强弱否定性质等),从而得以审视逆否律、德摩根律、双重否定律、排中律、矛盾律等与否定有关的一系列逻辑定律,以及由此产生的各种不同的否定。这一过程促进我们对否定联结词更深刻的理解与把握。
We analyze negation with the widely applicable neighborhood semantics. Anti - monotonocity is supposed to be the very, property that is demanded by negation. When added other properties, such as oneness of connectives, witness - conflict or strong/weak negation property, the resulted negations can be of great difference. We have learned more about negation while dealing with these problems.
出处
《湖南科技大学学报（社会科学版）》
2007年第4期41-45,共5页
Journal of Hunan University of Science and Technology(Social Science Edition)
基金
教育部文科基地重大研究项目资助(05JJD720190)
关键词
否定
邻域语义
反单调性
单纯性
证据对立
强否定
弱否定
negation
neighborhood semantics
anti-monotonocity
oneness of connectives
witness-conflict
strong negation
weak negation
