否定词研究PDF电子书下载

电子书积分：9 积分如何计算积分？
作者：余俊伟著
出版社：北京：中国社会科学出版社
出版年份：2014
ISBN：9787516143155
页数：190 页

图书介绍：本书系统地论述了各种形态否定词的特征，包括直觉主义逻辑、相干逻辑以及弗协调逻辑等三种非经典逻辑中的否定，以及比直觉主义更弱的一些系统中的否定。作者从多种角度、多个方面来阐释其中的否定词，特别是对一些抽象的理论结果与繁琐的证明作了较为直观的说明，让读者更容易领会抽象定理背后的思想。作者还使用邻域语义学对各种弱否定进行了系统的研究，得到了更为一般的结果，并进一步阐述了弗协调逻辑等非经典逻辑的哲学思想。作者构造了一个极小的弗协调逻辑系统，研究了其元性质，并指出当前文献中广泛使用的弗协调逻辑判定方法存在错误，给出了修改方案。

查看图书目录点击购买PDF全本电子书

上一篇：中华文库青少年导读本孝经的故事下一篇：坏习惯改不掉怎么办

《否定词研究》目录

标签：否定研究

第一章直觉主义逻辑 1

第一节经典否定简述 1

第二节直觉主义逻辑中的否定 2

第二章其他弱否定系统 16

第一节模态角度与极小逻辑 16

第二节经典命题逻辑、直觉主义逻辑及极小逻辑间的关系 34

第三节初基演算 36

第四节一个极小的弗协调逻辑系统 44

第三章相干逻辑 54

第四章弗协调逻辑 73

第一节弗协调逻辑史概述 73

第二节弗协调命题逻辑 79

第三节C1的代数特征 110

第四节弗协调逻辑的哲学含义 114

第五节弗协调模态命题逻辑 121

第五章从代数的观点看否定 133

第一节从邻域语义学的观点看否定 133

第二节星语义与正交语义 148

第三节语义间的比较及相关问题 167

第四节基于经典逻辑上的弱否定 170

参考文献 183

相关图书

作者其它书籍

出版社其它书籍

本类热门