摘要
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
Negation is one of the central concepts of logic, Intitionists have characterized a strong negation by relation semantics, and in this study we also characterize a strong negation by relation semantics. There is however a difference between these two negations, i.e., our negation is the complement of the intuitionistic negation, so the semantics and the corresponding system for our strong negation have some properties which the semantics and the corresponding system for intuitionistic negation do not have, such as irreflexivity, which is modally definable with respect to the semantics we give.
出处
《厦门大学学报（哲学社会科学版）》
CSSCI
北大核心
2009年第1期98-105,共8页
Journal of Xiamen University(A Bimonthly for Studies in Arts & Social Sciences)
基金
国家社科基金项目“更新语义与动态认知逻辑研究”(08BZX050)
关键词
否定
强否定
关系语义
禁自返
negation, strong negation, relation semantics, irreflexivity
