Logic and Structure - 图1

    关键字：命题逻辑，谓词逻辑，二阶逻辑，直觉主义逻辑，证明论，模型论，递归论，哥德尔定理

    推荐：★★★
    难度：★★★★

    豆瓣链接：https://book.douban.com/subject/20866280/

    类型理论是程序语言理论的组成部分，
    学好它并不容易，
    因为它包含了很多逻辑学的知识。

    为了对逻辑学有个整体认识，
    我找到了这本书。

    它列举了逻辑学常见的几个分支，
    命题逻辑，谓词逻辑，二阶逻辑，
    直觉主义逻辑。

    其中又穿插了集合论，证明论，
    模型论，递归论。

    它们联系了形式证明和模型检验，
    对理解数学理论的结构，非常有帮助。

    如果把逻辑学看做研究符号和符号的解释，
    会非常有趣，
    符号之间的不同推导规则，建立了不同的逻辑系统。
    正如，不同的关系结构，构成了不同的代数系统一样。

    回到类型理论上来，
    逻辑学与类型理论相互促进，
    因为类型看成了附加在语言语法上的属性，
    对表达式的类型进行推导，相当于对属性进行逻辑推理。

    当然，以上认识可能有不太准确的地方，
    仅当做读完此书的阶段性认识吧。

    如果想对逻辑学进行概括性学习，
    这本书很有帮助。