安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

数理逻辑/余俊伟 ... [等] 著

出版发行项:

北京:中国人民大学出版社,2020

ISBN及定价:

978-7-300-28439-2/CNY58.00

载体形态项:

370页:图, 肖像;26cm

并列正题名:

Mathematical logic

丛编项:

新编21世纪哲学系列教材

个人责任者:

余俊伟 著

个人责任者:

赵晓玉 著

个人责任者:

裘江杰 著

学科主题:

数理逻辑-高等学校-教材

中图法分类号:

O141

题名责任附注:

题名页题: 余俊伟, 赵晓玉, 裘江杰, 张立英著

责任者附注:

余俊伟, 中国人民大学哲学院教授, 主要研究方向为逻辑和形而上学。赵晓玉, 中国人民大学哲学院讲师, 主要研究方向为数理逻辑、数学基础和数学哲学。裘江杰, 中国人民大学哲学院副教授, 主要研究方向为集合论、分析哲学和科学哲学。

书目附注:

有书目 (第329-348页) 和索引

提要文摘附注:

本书是为了给将来致力于数理逻辑研究的读者奠定坚实基础而写的。概括地讲, 第1-4章为基础内容, 第5-6章为高阶内容。具体来看, 第1章从思想史角度讲述哲学之于逻辑的动机催发, 第2章讲述命题逻辑的早期简史、语法语义、完全性、紧致性等, 第3章讲述一阶逻辑的早期简史、语法语义、完全性、紧致性及应用、哲学的应用等, 第4章讲述一阶理论的基本性质、几种形式等, 第5章讲述哥德尔两个不完全性定理的数学哲学动机、详细证明过程、一些相关推论等, 第6章以模态逻辑为例说明逻辑之于哲学的实际应用。

豆瓣简介：