数理逻辑（新编21世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）

图书标准信息

• 作者 余俊伟 赵晓玉 裘江杰 张立英
• 出版社 中国人民大学出版社
• 出版时间 2020-08
• 版次 1
• ISBN 9787300284392
• 定价 58.00元
• 装帧 其他
• 开本 128开
• 纸张 胶版纸
• 页数 384页
• 字数 1千字

【内容简介】

主要内容涵盖数理逻辑的历史起源、命题逻辑语言、主要系统及其元性质、谓词逻辑语言、主要系统及其元性质、逻辑在数学与哲学中的运用（包括不完全性定理及技术发展过程中衍生的语言分析技术）

【作者简介】

    张立英财经大学现代逻辑研究所教授，哲学博士，北京大学逻辑学专业本、硕、博，荷兰阿姆斯特丹大学访问学者。主要研究方向为哲学逻辑。曾获“金岳霖学术奖”(2010年)、“北京大学博士”，入选“北京高等学校英才计划”(2013年)。

【目录】

章 哲学缘起

1.1 哲学之求真

1.2 从哲学到逻辑

1.2.1 亚里士多德的逻辑与哲学

1.2.2 弗雷格的逻辑与哲学

第2章 命题逻辑

2.1 导言

2.1.1 什么是命题逻辑

2.1.2 命题逻辑发展简史

2.1.3 本章的基本脉络

2.2 语言

2.3 语义

2.3.1 真与真值

2.3.2 组合

2.3.3 联词与真值表

2.3.4 形式语义

2.3.5 常见重言式

2.4 公理系统

2.4.1 命题演算

2.4.2 证明和内定理

2.4.3 演绎规则

2.4.4 演绎定理

2.4.5 公理的独立

2.5 可靠和接近

2.5.1 可靠证明

2.5.2 接近证明

2.5.3 广义接近定理

2.5.4 公理的独立

2.5.5 紧致和可判定

第3章 一阶逻辑

3.1 导言

3.1.1 问题引入

3.1.2 早期简史

3.2 语法

3.2.1 基本语法

3.2.2 无歧义

3.2.3 递归定义

3.2.4 归纳证明

3.2.5 自由变元

3.3 语义

3.3.1 结构与赋值

3.3.2 塔斯基语义

3.3.3 合同与代入

3.3.4 重要有效式

3.3.5 公式的范式

3.4 公理系统

3.4.1 公理系统

3.4.2 证明与演绎

3.4.3 重要元定理

3.4.4 演绎规则

3.4.5 逻辑与理论

3.5 接近定理

3.5.1 可靠定理

3.5.2 可满足定理

3.5.3 可扩张定理

3.5.4 接近定理

……

第4章 一阶理论

第5章 不接近

第6章 模态逻辑

参文献

符号索引

名称索引

术语索引