普通高等教育“十·五”国家级规划教材——数理逻辑
点此进入淘宝搜索页搜索 特别声明：本站仅为商品信息简介，并不出售商品，您可点击文中链接进入淘宝网搜索页搜索该商品，有任何问题请与具体淘宝商家联系。
參考價格: 点此进入淘宝搜索页搜索分類: 图书,自然科学,数学,数学理论,
作者： 邢滔滔著
出 版 社： 北京大学出版社
出版时间： 2008-8-1字数： 282000版次： 1页数： 273印刷时间： 2008/08/01开本： 16开印次： 1纸张： 胶版纸I S B N ： 9787301112557包装： 平装内容简介
该书分演绎及其证成，真理与悖论，意义与指称，存在、量化和本体论，休谟问题与归纳逻辑，共五个部分，对逻辑哲学进行了全面系统的概论，同时吸收了近几年国际逻辑哲学方面的最新进展，每一章后面的思考题和推荐阅读文献更是大大方便了教学和阅读。作者在国内长期教授逻辑课程，也曾经写作过逻辑学和逻辑哲学方面的著作，具有深厚的功底和丰富的经验。
本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义，针对逻辑学的初学者，尤其是初学逻辑的学生，介绍一阶逻辑的最基本的知识和技术，包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。
目录
第一章绪论：从直观到形式
1从“矛盾”说起
2直观上的推理
3正确推理
4一阶语言
5推演系统
第二章集合
1集合（不）是什么？
2关系
3函数
4可数集与不可数集
第三章一阶语言的语形
1字母表
2归纳定义
3 项
4公式
5递归定义
6 自由和约束代入
第四章经典语义学
1结构与解释
2等词、量词和联结词
3满足真
4语义后承
5可满足性有效性语义等值
6代入引理
7模型举例
第五章 自然推演系统
1推理规则概说
2联结词规则
3命题推演语形后承
4量词和等词规则
5一阶推演
6经典与直觉主义逻辑的关系
第六章可靠性与完全性
1经典可靠性
2一致性
3经典命题完全性
4Henkin定理
5可满足性定理
6经典完全性
7 紧致性定理与Lowenheim-Skolem定理
8直觉主义完全性
参考文献
