| 词条 | 现代逻辑学讲义 |
| 释义 | 版权信息书 名: 现代逻辑学讲义 作 者：李小五 出版社： 中山大学 出版时间： 2006 ISBN: 9787306025883 开本： 16 定价: 35.00 元 内容简介《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。 本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。 《数理逻辑》：数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业最重要的基础课。 数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。 本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。 作者简介李小五，男，1955年1月生于浙江湖州。 1980-1984年在北京大学哲学系念哲学本科，1986-1989年在北京大学哲学系攻读逻辑学硕士学位，1989年获硕士学位。 1992年从国防大学调入中国社会科学院所逻辑研究室，2000年10月在中国社会科学院聘为研究员。2002年8月作为引进人才调入中山大学哲学系逻辑与认知研究所。 主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上、下卷）、《条件句逻辑》。还发表多篇论文、多部合著和一部译著。 现任中山大学教授和博士生导师、北京中心客座研究员。 目录现代逻辑学讲义：模态逻辑 第1章公理化系统 1公理化系统协调性和谐性 2初等系统 3基本系统 4退化系统 5其他一些重要的系统 第2章强推演、一致性与极大一致性 1强推演 2S-一致性与极大性 第3章关系语义与可靠性定理 1关系语义 2对应定理 3可靠性定理 4反模型方法 第4章典范模型与完全性定理 1完全性概念 2典范模型及其基本定理 3完全性定理 4刻画定理 5KG（mn）/（jk）的刻画定理 第5章有穷模型性与可判定性 1有穷模型性与穷框架性 2过滤有穷模型性 3极小典范模型与有穷模型性 4有模型性与可判定性 5没有有穷模型性的系统 第6章邻域语义 1领域语义 2刻画定理 3过滤与有穷模型性 4与关系主义的关系 参考文献 后记 现代逻辑学讲义：数理逻辑 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。