Sets, Logic, Computation: An Open Introduction to Metalogic

Richard Zach (remixer); Open Logic Project

英文原名: Sets, Logic, Computation: An Open Introduction to Metalogic

免费的元逻辑教材，在形式逻辑入门之后，从集合与一阶逻辑进入完备性、可计算性及不可判定性，适合愿意逐步阅读证明的哲学学生。

需要的基础: 需要命题逻辑和一阶逻辑入门，例如forall x的内容。愿意阅读证明并学习归纳法，不要求编程语言。

哲学logicspecialist reading

适合谁

适合从使用逻辑系统转向研究系统能力的哲学及计算机学生。重点由符号运算转为语言、推导系统及模型的性质，需要耐心辨析定义和证明的层次。

需要命题逻辑和一阶逻辑入门，例如forall x的内容。愿意阅读证明并学习归纳法，不要求编程语言。

以集合基础支撑语法、结构与推导的精确定义，用完备性等结果联系证明和模型，再通过计算部分追问机械程序能解决哪些问题。对象语言与讨论它的元语言必须持续区分。

每个定理先为假设造一个小例子。注明命题谈的是公式、推导还是模型，再独立重做一段归纳证明，单查基础步骤。学习机器构造时先手算短输入，再进入不可判定性的一般论证。

本页采用有明确前置日期的官方Fall2025归档屏幕版。项目页另供其他版本；持续更新的稿件不套用纸本ISBN。正文采用CC BY4.0，封面美术另有条件。