成功加入购物车
正版 详情咨询
李小五 著 / 社会科学文献出版社 / 2007-02 / 平装
售价 ¥ 89.00
品相 九品
优惠 满包邮
延迟发货说明
上书时间2023-06-15
卖家超过10天未登录
中国社会科学院文库·哲学宗教研究系列:哲学逻辑研究
《哲学逻辑研究》是1993年国家社会科学基金项目《哲学逻辑研究》的最后成果,内容包括一阶逻辑,模态逻辑,时态逻辑,条件句逻辑,多值逻辑,相干逻辑,直觉主义逻辑,弗协调逻辑和哥德尔不完全性定理。《哲学逻辑研究》全面、系统、准确地论述了哲学逻辑领域的重要分支,同时也阐述了作者近年取得的一些新的研究成果,构建了若干新的逻辑系统,如不用联结词和量词的一阶逻辑系统,弗协调逻辑的一些系统,这些成果达到了国际逻辑研究水平。它将有助于国内读者对于哲学逻辑基本理论的掌握和加深对新理论、新成果的了解,也将有助于推动我国深入开展现代逻辑基本理论研究。
前言第1章一阶逻辑第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节相干命题逻辑的关系语义第7章直觉主义逻辑第1节直觉主义命题逻辑第2节直觉主义谓词逻辑第3节克里普克语义第4节完全性第8章弗协调逻辑第1节弗协调命题逻辑第2节弗协调模态命题逻辑第3节弗协调时态命题逻辑第9章哥德尔不完全性定理第1节形式算术第2节递归函数第3节算术化第4节数字可表示性第5节哥德尔不完全性定理
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30