Logic and Structure
- External Link:
- Rank: ★★★
- Hard: ★★★★
- Tag: 命题逻辑，谓词逻辑，二阶逻辑，直觉主义逻辑，证明论，模型论，递归论，哥德尔定理
- Reviews:
类型理论是程序语言理论的组成部分，
学好它并不容易，
因为它包含了很多逻辑学的知识。
为了对逻辑学有个整体认识，
我找到了这本书。
它列举了逻辑学常见的几个分支，
命题逻辑，谓词逻辑，二阶逻辑，
直觉主义逻辑。
其中又穿插了集合论，证明论，
模型论，递归论。
它们联系了形式证明和模型检验，
对理解数学理论的结构，非常有帮助。
如果把逻辑学看做研究符号和符号的解释，
会非常有趣，
符号之间的不同推导规则，建立了不同的逻辑系统。
正如，不同的关系结构，构成了不同的代数系统一样。
回到类型理论上来，
逻辑学与类型理论相互促进，
因为类型看成了附加在语言语法上的属性，
对表达式的类型进行推导，相当于对属性进行逻辑推理。
当然，以上认识可能有不太准确的地方，
仅当做读完此书的阶段性认识吧。
如果想对逻辑学进行概括性学习，
这本书很有帮助。