论文部分内容阅读
本文主要从历史发展的角度对逻辑系统最重要的联结词之一“否定”加以考察。亚里士多德是最早提出“否定”概念的逻辑学家,他还明确提出了思维的两大基本规律——矛盾律和排中律,反映了肯定与否定之间的相互制约关系。文中指出了经典否定由真值语义学所刻画的语义特征和由经典命题逻辑系统所刻画的语形特征,说明了经典否定的重要作用。非经典否定在20世纪初出现并获得了蓬勃发展,向经典否定提出了挑战。本文重点讨论了多值否定、直觉主义否定、弗协调否定和相干否定这几种非经典否定,对它们的考察也主要建立在语形和语义的基础之上,并将每一种非经典否定与经典否定进行了比较,指出了其相异与相同(或相似)之处,并进一步讨论了其所在系统之间的关系。本文表明,由于逻辑系统内的重言式与指导逻辑系统建立的元逻辑法则是处于不同层次的,所以不能将两者视为等同;含有否定词的不同逻辑系统之间的差别归根结底是否定词之间的差别,这反映在各逻辑系统含有否定词的不同特征公理或定理上;尽管对“否定”的理解多种多样,但经典否定是最根本的,大多数非经典否定只是对经典否定的“局部修正”,它们并没有从根本上改变经典否定的含义,也没有动摇经典否定的基础地位。在此基础上,本文讨论了国内外逻辑哲学界对各种非经典否定的不同态度,并试图对一些比较流行的错误观点加以纠正。