一直对逻辑的东西很感兴趣,尤其最近做的东西和AI相关,因此下定决心系统地学习数理逻辑。这些笔记并不是严谨的描述,只是作为一些概念的快速参考,以及加入一些个人认为好玩的公式、定理和推导。
简单来说,数理逻辑系统是由一串“符号”组成的系统,基本元素是那一堆“符号”,由“符号”组成“式子”。逻辑系统并不关心“式子”是否对错,只关心“式子”是否存在,也即是假定存在某些“式子“,再确定”推导规则“(Rule of Inference),然后按照这些规则看能推导出哪些式子,那些假定存在的式子就称为“公理”(Axiom)。换句话说,逻辑系统关心的是给定公理和推导规则后,判断某个式子是否存在。
“存在性”这个概念很重要,它无关对错。一般我们说到“公理”,“定理”,总会产生一个概念,即公理、定理是“对的”,或者某个公式是“对的”,某个公式是“错的”。如果是自然语言,则总习惯于说“某某表述是错的”,“某某表述是不全面的”。这些常识中的“对”与“错”,“全面”与“片面”翻译成逻辑系统的语言就是“存在与否”,即是给定公理与推导规则后,某某式子若存在,就可大致理解成它是“对”的。所谓的“公理”并不说是那些式子是对的,而是在某个逻辑系统中,假定那堆式子是存在的。所以,在学习逻辑系统的过程中,首先要摒弃“是非对错”观念,而谨记“存在与否”观念。
本笔记用的教材是Elliott Mendelson教授编写的Introduction to Mathematical Logic(第四版)。这本书写得非常好,内容丰富,结构紧密,例题足够多,认真啃完的话能对一阶逻辑、集合论等理论有个清晰的了解。全书分为