非经典逻辑中'否定'的含义澄清——以亚相容、直觉主义、量子逻辑为例

摘要

在命题逻辑的范围之内,否定作为各类逻辑系统中必不可少的一元连接词,其确定的意义和适用范围一直存在争议,也因此,构建于否定基础之上的各类逻辑系统之间的关系也不甚明了。当非经典逻辑系统选择不承认经典逻辑中的矛盾律或是排中律等定理时,并未切中其更为本质的区别,即对否定词及其涉及的定理在认识上的区别。因而在阐释不同系统所具有的性质时,真正核心的问题,应着眼于澄清经典否定与其他非经典逻辑系统中否定的关系,并在此基础上,进一步澄清经典逻辑系统与其他逻辑系统之间的关系。