硕士毕业论文，朱宏辉，华东师范大学哲学系，2021 年。
DOI：10.27149/d.cnki.ghdsu.2021.000246
摘要
对否定词(negation)的刻画一直都是逻辑学家关注的焦点。“否定"与日常推理中出现的"矛盾"或"不一致"现象密切相关。许多常见的逻辑规律也都与该词相关，譬如矛盾律、排中律、双重否定律等等。然而，逻辑学对否定词的认知并不是一成不变的，也并不是毫无争议的。从亚里士多德的传统词项逻辑到弗雷格—罗素的现代经典逻辑，代表了逻辑学的一种革命性发展；随后从现代经典逻辑到许多当代的非经典逻辑，又代表了逻辑研究范围的拓展(变异或者扩充)。在此历史进程中，不同的逻辑理论对于否定词的刻画，有共识也有分歧。特别地，在如今的"逻辑多元化"时代，否定词在逻辑理论中所扮演的角色及其逻辑行为仍处于热议中。尤其值得关注的一种现象是:现代经典逻辑与大多数广为熟知的非经典逻辑将"假"处理为"真"的否定。这种举措将"真"及其否定视为一组"不一致"的概念，并总是预设了"真"先于其否定出现，即，二者在认识论上是不对称的。与之不同，由于尼尔森四值逻辑(N4)在直觉主义逻辑构造"真"的基础上，进一步构造了"假”，它的新型否定词使得构造性的"真"和"假"在认识论上具有对称地位。本文以自然语言否定词的一些特征作为出发点，由此勾勒从古至今逻辑理论的发展脉络；同时把 N4 系统作为一个特别个案加以考察，评析 N4 系统相比当前主流逻辑系统在否定词刻画上所具有的新意以及可能引起的一些哲学问题。如此阐明否定词在不同逻辑理论中所扮演的角色，将有助于我们理解逻辑的本性。