搜索
高级检索
高级搜索
书       名 :
著       者 :
出  版  社 :
I  S  B  N:
文献来源:
出版时间 :
哲学逻辑研究
0.00    
图书来源: 浙江图书馆(由图书馆配书)
  • 配送范围:
    全国(除港澳台地区)
  • ISBN:
    9787802303997
  • 作      者:
    张清宇,郭世铭,李小五著
  • 出 版 社 :
    社会科学文献出版社
  • 出版日期:
    2007
收藏
内容介绍
  《哲学逻辑研究》是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节 哥德尔不完全性定理
展开
加入书架成功!
收藏图书成功!
我知道了(3)
发表书评
读者登录

请选择您读者所在的图书馆

选择图书馆
浙江图书馆
点击获取验证码
登录
没有读者证?在线办证