| 开本：16开 |
| 纸张：胶版纸 |
| 包装：平装 |
| 是否套装：否 |
| 国际标准书号ISBN：9787300284392 |
| 所属分类：图书>历史>史家名著 |
商品详情
书名数理逻辑
定
作者余俊伟
出版社中国人民大学出版社
出版日期
用纸胶版纸
装帧平装
开本
《数理逻辑（新编世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）》是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，章为基础内容，第章为高阶内容。具体来看，章从思想史角度讲述哲学之于逻辑的动机催发，第章讲述命题逻辑的早期简史、语法语义、性、紧致性等，第章讲述一阶逻辑的早期简史、语法语义、性、紧致性及应用、哲学的应用等，第章讲述一阶理论的基本性质、几种形式等，第章讲述哥德尔两个不性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第章以模态逻辑为例说明逻辑之于哲学的实际应用。
章 哲学缘起． 哲学之求真． 从哲学到逻辑．． 亚里士多德的逻辑与哲学．． 弗雷格的逻辑与哲学
第章 命题逻辑． 导言．． 什么是命题逻辑．． 命题逻辑发展简史．． 本章的基本脉络． 语言． 语义．． 真与真值．． 组合性．． 联词与真值表．． 形式语义．． 常见重言式． 公理系统．． 命题演算．． 证明和内定理．． 演绎规则．． 演绎定理．． 公理的独立性． 可靠性和性．． 可靠性证明．． 性证明．． 广义性定理．． 公理的独立性．． 紧致性和可判定性
第章 一阶逻辑． 导言．． 问题引入．． 早期简史． 语法．． 基本语法．． 无歧义性．． 递归定义．． 归纳证明．． 自由变元． 语义．． 结构与赋值．． 塔斯基语义．． 合同与代入．． 重要有效式．． 公式的范式． 公理系统．． 公理系统．． 证明与演绎．． 重要元定理．． 演绎规则．． 逻辑与理论． 性定理．． 可靠性定理．． 可满足定理．． 可扩张定理．． 性定理……第章 一阶理论第章 不性第章 模态逻辑参考文献符号索引名称索引术语索引
余俊伟，中国人民大学哲学院教授，主要研究方向为逻辑和形而上学。
赵晓玉，中国人民大学哲学院讲师，主要研究方向为数理逻辑、数学基础和数学哲学。
裘江杰，中国人民大学哲学院副教授，主要研究方向为集合论、分析哲学和科学哲学。
张立英，中央财经大学文化与传媒学院教授，主要研究方向为哲学逻辑。
书名数理逻辑
定
作者余俊伟
出版社中国人民大学出版社
出版日期
用纸胶版纸
装帧平装
开本
《数理逻辑（新编世纪哲学系列教材；中国人民大学“十三五”规划教材—特色教材）》是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，章为基础内容，第章为高阶内容。具体来看，章从思想史角度讲述哲学之于逻辑的动机催发，第章讲述命题逻辑的早期简史、语法语义、性、紧致性等，第章讲述一阶逻辑的早期简史、语法语义、性、紧致性及应用、哲学的应用等，第章讲述一阶理论的基本性质、几种形式等，第章讲述哥德尔两个不性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第章以模态逻辑为例说明逻辑之于哲学的实际应用。
章 哲学缘起． 哲学之求真． 从哲学到逻辑．． 亚里士多德的逻辑与哲学．． 弗雷格的逻辑与哲学
第章 命题逻辑． 导言．． 什么是命题逻辑．． 命题逻辑发展简史．． 本章的基本脉络． 语言． 语义．． 真与真值．． 组合性．． 联词与真值表．． 形式语义．． 常见重言式． 公理系统．． 命题演算．． 证明和内定理．． 演绎规则．． 演绎定理．． 公理的独立性． 可靠性和性．． 可靠性证明．． 性证明．． 广义性定理．． 公理的独立性．． 紧致性和可判定性
第章 一阶逻辑． 导言．． 问题引入．． 早期简史． 语法．． 基本语法．． 无歧义性．． 递归定义．． 归纳证明．． 自由变元． 语义．． 结构与赋值．． 塔斯基语义．． 合同与代入．． 重要有效式．． 公式的范式． 公理系统．． 公理系统．． 证明与演绎．． 重要元定理．． 演绎规则．． 逻辑与理论． 性定理．． 可靠性定理．． 可满足定理．． 可扩张定理．． 性定理……第章 一阶理论第章 不性第章 模态逻辑参考文献符号索引名称索引术语索引
余俊伟，中国人民大学哲学院教授，主要研究方向为逻辑和形而上学。
赵晓玉，中国人民大学哲学院讲师，主要研究方向为数理逻辑、数学基础和数学哲学。
裘江杰，中国人民大学哲学院副教授，主要研究方向为集合论、分析哲学和科学哲学。
张立英，中央财经大学文化与传媒学院教授，主要研究方向为哲学逻辑。