中国社会科学院文库·哲学宗教研究系列：哲学逻辑研究
出版时间:
2007-02
版次:
1
ISBN:
9787802303997
定价:
59.00
装帧:
平装
开本:
16开
纸张:
其他
页数:
435页
正文语种:
简体中文
35人买过
-
《哲学逻辑研究》是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节哥德尔不完全性定理
-
内容简介:
《哲学逻辑研究》是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节哥德尔不完全性定理
查看详情
-
九品
北京市朝阳区
平均发货14小时
成功完成率94.22%
-
九品
北京市海淀区
平均发货23小时
成功完成率89.35%
-
九品
北京市昌平区
平均发货23小时
成功完成率88.81%
-
九品
广东省广州市
平均发货8小时
成功完成率97.08%
-
全新
广东省广州市
平均发货7小时
成功完成率91.74%
-
全新
广东省广州市
平均发货9小时
成功完成率89.6%
-
2007-02 印刷
印次: 2
九品
内蒙古呼和浩特市
平均发货5小时
成功完成率90.24%
-
九五品
北京市朝阳区
平均发货13小时
成功完成率96.36%
-
九五品
河北省廊坊市
平均发货3小时
成功完成率94.01%
-
九五品
河南省商丘市
平均发货15小时
成功完成率92.18%
-
九品
安徽省淮南市
平均发货13小时
成功完成率95.38%
-
八五品
山东省青岛市
平均发货13小时
成功完成率90.65%
-
九品
河南省郑州市
平均发货38小时
成功完成率73.54%
-
九品
河南省郑州市
平均发货41小时
成功完成率69.11%
-
九品
湖北省武汉市
平均发货11小时
成功完成率94.52%
-
九五品
河北省保定市
平均发货26小时
成功完成率96.25%
-
九五品
广西桂林市
平均发货58小时
成功完成率62.5%
-
九品
浙江省杭州市
平均发货21小时
成功完成率42.86%
-
九五品
浙江省湖州市
平均发货10小时
成功完成率94.07%
-
九五品
北京市朝阳区
平均发货12小时
成功完成率96.61%
占位居中
