山西大同大学图书馆书目检索系统

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章以模态逻辑为例说明逻辑之于哲学的实际应用。

豆瓣简介：