哲学逻辑研究
哲学逻辑研究
《哲学逻辑研究》是一本由李小五和张清宇合著的图书,于2007年由社会科学文献出版社出版。本书全面、系统地论述了哲学逻辑领域的重要分支,并阐述了作者近年取得的一些新研究成果,构建了若干新的逻辑系统。
版权信息
书 名: 哲学逻辑研究
作 者:李小五张清宇
出版社:社会科学文献出版社
出版时间: 2007
开本: 16
定价: 59.00 元
内容简介
本书是1993年国家社会科学基金项目《哲学逻辑研究》的最后成果,内容包括一阶逻辑,模态逻辑,时态逻辑,条件句逻辑,多值逻辑,相干逻辑,直觉主义逻辑,弗协调逻辑和哥德尔不完全性定理。本书全面、系统、准确地论述了哲学逻辑领域的重要分支,同时也阐述了作者近年取得的一些新的研究成果,构建了若干新的逻辑系统,如不用联结词和量词的一阶逻辑系统,弗协调逻辑的一些系统,这些成果达到了国际逻辑研究水平。它将有助于国内读者对于哲学逻辑基本理论的掌握和加深对新理论、新成果的了解,也将有助于推动我国深入开展现代逻辑基本理论研究。
目录
前言
第1节命题逻辑的证明方法
第2节不用联结词和量词的一阶逻辑系统
第3节一阶逻辑的公理系统
第2章模态逻辑
第1节模态系统
第2节正规模态系统
第3节模态谓词逻辑
第3章时态逻辑
第1节语言
第2节解释
第3节形式系统
第4节时态逻辑的完全性
第5节禁对称性和完全性
第6节判定问题
第7节带量词的时态逻辑
第8节时态逻辑与模态逻辑
第9节其他时态词
第4章条件句逻辑
第1节形式系统
第2节邻域模型论
第3节关系模型论
第4节球形系统模型论
第5节择类函数模型论
第6节诸语义之比较
第7节量化条件句逻辑
第5章多值逻辑
第1节卢卡西维茨的三值逻辑
第2节布奇瓦尔的三值逻辑
第3节克利尼的三值逻辑
第4节卢卡西维茨的m+1值逻辑
第5节卢卡西维茨的无穷值逻辑
第6节后承关系
第7节演算
第8节多值谓词逻辑
第9节波斯特代数
第6章相干逻辑
第1节纯相干蕴涵部分
第2节相干命题逻辑
第3节相干命题逻辑的关系语义
第1节直觉主义命题逻辑
第2节直觉主义谓词逻辑
第3节克里普克语义
第4节完全性
第8章弗协调逻辑
第1节弗协调命题逻辑
第2节弗协调模态命题逻辑
第3节弗协调时态命题逻辑
第9章哥德尔不完全性定理
第1节形式算术
第3节算术化
第4节数字可表示性
第5节哥德尔不完全性定理
……
参考资料

Warning: Invalid argument supplied for foreach() in /www/wwwroot/newbaike1.com/id.php on line 362
目录
概述
版权信息
内容简介
目录
参考资料