Open Logic Project
一句话定位
它是一本自己拼的逻辑教材：内容被拆成许多小块，用的人自己挑要哪些、按什么顺序、讲到多深。
它瞄准的是学过一门入门逻辑课之后的读者，尤其写给哲学与计算机方向的学生，但要求仍然严格。
它按开源软件的方式来维护
它不只把成品免费放出来，还把源文件按开放授权一起给出，允许任何人下载、使用、修改、重排、转换与再分发，只要注明来源。
它的正文托管在公开的代码仓库里，用户可以提交自己的讲解与习题、报告错漏、要求补内容，协作方式与写软件类似。
项目由一支固定的团队推进，成员来自多所院校；早期得到过一所大学文学院与一个开放教育资源计划的支持。
它把一本教材拆成了积木
它不提供一本固定顺序的书，而是提供一批章节大小的模块，由用户自己组合。
按需取用
用户挑要哪些模块、按什么顺序、讲到多深，可以拼出深浅不同的版本。
记号可换
同一个符号能在几种写法之间切换，公式用大写还是小写字母也能选，不必改正文。
讲法可换
同一主题若有不同讲法，可以互相替换，专门用来适配不同基础与先修课的班级。
众人共建
正文托管在公开代码仓库，用户可以提交讲解与习题、报告错漏、要求补内容。
这种排法让它更像一套可配置的工具，而不是一本读完就算的书。
它覆盖的是「严格的底子课」
它从集合与逻辑的基础讲起，接着是命题逻辑与一阶逻辑的语法与语义，再往下是几套常见的证明系统。
元层面的结果也在里面：可靠性与完备性定理、模型论、可计算性，一路排到哥德尔不完备定理。
延伸方向另有模态逻辑、直觉主义逻辑、反事实条件句与二阶逻辑等专题，供只关心某个方向的人取用。
它对「严谨」不松口
它明说面向的是非数学专业的读者，但内容本身完全严格：该证的地方要证，不靠显然带过。
这决定了它的用法偏一学期一门课，而不是随手翻的科普。想拿它自学的人，得先有一门入门逻辑课打底。
除了主线教材，它还整理了若干单独选题的小册子，方便按需取用，不必把整本书都拖下水。
一句话总结
一本按开源软件思路维护的形式逻辑教材，内容拆成可自由组合的模块，源文件也开放给所有人改与搬。想给一门逻辑课找料、或按自己的口味拼一本教材，可以从这里进。
想按自己的需要拼一本逻辑教材，或者拿它当课程的参考底本，可以从这里进。
