哲学逻辑研究

出版时间：2007-2  出版社：社会科学文献出版社  作者：张清宇 郭世铭 李小五  页数：435  
Tag标签：无  

内容概要

　　《哲学逻辑研究》是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节  哥德尔不完全性定理

编辑推荐

《哲学逻辑研究》有助于国内读者对于哲学逻辑基本理论的掌握和加深对新理论、新成果的了解，也将有助于推动我国深入开展现代逻辑基本理论研究。逻辑学是研究推理的一门基础学科，它描述推理实践，也编制推理系统，伴随科学、技术和生产的发展，现代逻辑科学发展极其迅速，在科学技术和哲学学科的洪流中不断革新内容，开拓领域。