| 词条 | 哲学逻辑研究 |
| 释义 | 版权信息书 名: 哲学逻辑研究 作 者：李小五 张清宇 出版社： 社会科学文献出版社 出版时间： 2007 开本： 16 定价: 59.00 元 内容简介本书是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节哥德尔不完全性定理 …… |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。