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

发布时间：2021-02-12 08:58

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

【文章来源】：贵州工程应用技术学院学报. 2019,37(06)

【文章页数】：6 页

【部分图文】：

“否定风筝”图

在冯艳的文章《论经典否定、直觉主义否定和弗协调否定》中，她认为经典否定，直觉主义否定和亚相容否定满足图2[8]:以集合论的方式解读该图，经典否定的性质作为全集，直觉主义否定的性质和亚相容否定的性质分别为经典否定性质的非空真子集，并且前二者的对称差运算和交运算均不为空。

直觉主义否定、经典否定、亚相容否定性质的关系

【参考文献】：
期刊论文
[1]量子逻辑与量子计算逻辑——语境视角下的“量子逻辑”辨析[J]. 郭贵春,王凯宁.  山西大学学报(哲学社会科学版). 2012(03)
[2]论经典否定、直觉主义否定和弗协调否定[J]. 冯艳.  自然辩证法研究. 2005(02)



本文编号：3030595