【数理逻辑初步】.pdf
数理逻辑初步 莫绍著 上海人古版社
目 第一章数理逻辑的由来 S1传统逻辑的不足 .2 数理逻辑的兴起 .3 非欧几何带来的问题 S4 微积分基础的争论 .5 集合论悸论 第二章 数理逻辑的主要内容 S1 公理集合论与证明论 .2 能行性理论与模型论 .3 命题演算 .4 谓词演算 .5 有关传统逻辑与模态逻辑 .6 蕴涵词及其怪论 第三章 关于数理逻辑的三大派 .1 逻辑主义派 .2 直觉主义派 .3 形式主义派 第四章 数理逻辑中一些基本概念 S1 记号与符号 .2 变元 .3 函数与约束词
第一章数理逻辑的由来 到了今天,数理逻辑可以说已经是一门成熟的科学,它的 内容十分丰富,与别的许多门学科都有牵连,互相影响．要介 绍它的内容,或者描绘它与别的学科有所不同的特征,都是非 常困难的,最好的办法是先从它的发展过程来考察.因为一个事物,无论它所包含的内容如何丰富,它的特性如何复杂,如果能够从它的发展来看,先看它是如何产生的,如何一步步 地成长,逐渐地由小而大、由简单而复杂的,这样我们便能比 较容易地掌握其主要内容、找出它的基本特征,数理逻辑也是一样.它绝不是从天而降的,而是应生产 实践的需要萌发而生,再按人类的认识规律逐渐发展起来的,这是一般学科发展史的共同特征.