由余俊伟所著的《否定词研究》系统地论述了各 种形态否定词,包括直觉主义逻辑、相干逻辑及弗协 调逻辑这三种非经典逻辑中的否定,以及比直觉主义 更弱的一些系统中的否定,其中包括作者自己构造的 一个极小的弗协调逻辑系统的否定。作者使用邻域语 义学详细考察了这些弱否定的逻辑特征,得到了更为 一般的结果,并从多种角度、多个方面阐释繁琐的证 明与抽象的理论结果,尽量对其给予直观的说明,以 便读者更容易领会抽象定理背后的思想。
第一章直觉主义逻辑第一节 经典否定简述第二节 直觉主义逻辑中的否定第二章其他弱否定系统第一节 模态角度与极小逻辑第二节 经典命题逻辑、直觉主义逻辑及极小逻辑间的关系第三节 初基演算第四节 一个极小的弗协调逻辑系统第三章相干逻辑第四章弗协调逻辑第一节 弗协调逻辑史概述第二节 弗协调命题逻辑第三节 C1的代数特征第四节 弗协调逻辑的哲学含义第五节 弗协调模态命题逻辑第五章从代数的观点看否定第一节 从邻域语义学的观点看否定第二节 星语义与正交语义第三节 语义间的比较及相关问题第四节 基于经典逻辑上的弱否定参考文献
余俊伟,江西安义人。分别于1995年、1998年在华东师范大学获教育学学士学位、哲学硕士学位,2001年于中国社会科学院研究生院获哲学博士学位。2001年至今任教于中国人民大学,其间赴阿姆斯特丹大学访学一年。现任中国人民大学哲学院副教授、逻辑教研室主任。