现代逻辑学讲义

图书标准信息

• 作者 李小五 著
• 出版社 中山大学出版社
• 出版时间 2006-06
• 版次 1
• ISBN 9787306025883
• 定价 35.00元
• 装帧 平装
• 开本 其他
• 纸张 胶版纸
• 页数 500页
• 字数 410千字

【内容简介】

　　《模态逻辑》：模态逻辑是研究可以用模态语言表述的推理形式的有效性的学问。它是哲学逻辑的基础，作为一门课程，它是逻辑学专业的基础课之一。本讲义介绍了句子层次上（命题型的）模态逻辑最基本的内容。
　　本讲义内容多，知识面广，定理定义表达严谨，例题习题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。
　　《数理逻辑》：数理逻辑是研究可以用数学语言表述的推理形式的有效性的学问。它是全部逻辑的基础，作为一门课程，它是逻辑学专业最重要的基础课。
　　数理逻辑分两大部分：句子逻辑和量化逻辑。本讲义介绍句子逻辑的基本内容和量化逻辑的基础——一阶逻辑的基本内容。
　　本讲义内容丰富，知识面广，表达严谨，习题例题丰富，可作为高等学校逻辑学专业本科生、研究生教材使用。

【作者简介】

　　李小五，男，1955年1月生于浙江湖州。
　　1980-1984年在北京大学哲学系念哲学本科，1986-1989年在北京大学哲学系攻读逻辑学硕士学位，1989年获硕士学位。
　　1992年从国防大学调入中国社会科学院所逻辑研究室，2000年10月在中国社会科学院聘为研究员。2002年8月作为引进人才调入中山大学哲学系逻辑与认知研究所。
　　主要著作有《现代归纳逻辑与概率逻辑》、《无穷逻辑》（上、下卷）、《条件句逻辑》。还发表多篇论文、多部合著和一部译著。
　　现任中山大学教授和博士生导师、北京中心客座研究员。

【目录】

现代逻辑学讲义：模态逻辑

　第1章 公理化系统

　  1 公理化系统 协调性 和谐性

　  2 初等系统

　  3 基本系统

　  4 退化系统

　  5 其他一些重要的系统

　第2章 强推演、一致性与极大一致性

　  1 强推演

　  2 S-一致性与极大性

　第3章 关系语义与可靠性定理

　  1 关系语义

　  2 对应定理

　  3 可靠性定理

　  4 反模型方法

　第4章 典范模型与完全性定理

　  1 完全性概念

　  2 典范模型及其基本定理

　  3 完全性定理

　  4 刻画定理

　  5 KG（mn）/（jk）的刻画定理

　第5章 有穷模型性与可判定性

　  1 有穷模型性与穷框架性

　  2 过滤有穷模型性

　  3 极小典范模型与有穷模型性

　  4 有模型性与可判定性

　  5 没有有穷模型性的系统

　第6章 邻域语义

　  1 领域语义

　  2 刻画定理

　  3 过滤与有穷模型性

　  4 与关系主义的关系

　参考文献

　后记

现代逻辑学讲义：数理逻辑