数理逻辑
正版新书 新华官方库房直发 可开电子发票
￥ 45.24 7.8折 ￥ 58 全新
库存25件
作者余俊伟 等
出版社中国人民大学出版社
ISBN9787300284392
出版时间2020-08
版次1
装帧平装
开本16开
纸张胶版纸
页数384页
字数516千字
定价58元
货号SC:9787300284392
上书时间2024-10-31
- 在售商品 暂无
- 平均发货时间 16小时
- 好评率 暂无
商品详情
- 品相描述：全新
- 全新正版 提供发票
- 商品描述
-
作者简介:
张立英,中央财经大学现代逻辑研究所教授，哲学博士，北京大学逻辑学专业本、硕、博毕业，荷兰阿姆斯特丹大学访问学者。主要研究方向为哲学逻辑。曾获“金岳霖学术奖一等奖”(2010年)、“北京大学优秀博士论文二等奖”，入选“北京高等学校英才计划”(2013年)。
内容简介:
《数理逻辑》是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲，第1-4章为基础内容，第5-6章为高阶内容。具体来看，第1章从思想史角度讲述哲学之于逻辑的动机催发，第2章讲述命题逻辑的早期简史、语法语义、接近性、紧致性等，第3章讲述一阶逻辑的早期简史、语法语义、接近性、紧致性及应用、哲学的应用等，第4章讲述一阶理论的基本性质、几种形式等，第5章讲述哥德尔两个不接近性定理的数学哲学动机、详细证明过程、一些相关推论、数学哲学影响等，第6章以模态逻辑为例说明逻辑之于哲学的实际应用。
目录:
第1章 哲学缘起
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 公理系统<
...
— 没有更多了 —
以下为对购买帮助不大的评价