论一门两千年的哲学学科如何在一个世纪内变成数学中最具自我意识的分支——以及在此过程中保留了什么，改变了什么，又遗弃了什么。
“逻辑”与“数理逻辑”这两个术语指向的是同一个智识传统，只是观察角度不同。广义的逻辑是正确推理的研究——系统地考察结论何时从前提中得出。数理逻辑则是用数学方法研究逻辑，其初衷是为数学奠基。二者之间的关系类似于几何与解析几何：同一个主题，因新的技术装置而发生了转变，打开了旧有方法无法触及的疆域。
要恰切理解这种关系，需要沿着历史的弧线追溯——因为数理逻辑并非简单地取代了传统逻辑；它从传统逻辑中生长出来，吸收了部分内容，改造了另一些部分，并将某些问题留给了哲学——那些它从未打算回答的问题。
大约两千年间，“逻辑”基本上就是亚里士多德在《工具论》（约公元前350年）中奠定的那套东西。亚里士多德逻辑的核心是三段论——涉及“所有人都会死”“苏格拉底是人”等直言命题的推理模式，从而推出“苏格拉底会死”。亚里士多德对有效的三段论形式（Barbara、Celarent、Darii、Ferio 等）进行了分类，通过对当方阵研究了全称命题与特称命题之间的关系，并确立了传统的思维三定律：同一律、不矛盾律和排中律。
斯多葛学派，尤其是克利西波斯，发展了一条更接近现代命题逻辑的平行传统，研究条件句和析取句。中世纪逻辑学家——彼得·阿伯拉尔、奥卡姆的威廉、约翰·布里丹——通过精致的指代理论、推论理论和模态推理，对这些体系进行了深化。到中世纪晚期，逻辑学已成为高度发达的学科，与语法和修辞一同作为三艺（trivium）的组成部分。
然而，这整个传统都是在自然语言中运作的，只是披上了技术术语的外衣。推理的可靠性依赖直觉和分类的引导。至关重要的是，这种逻辑无法处理数学中实际出现的推理。像“对每个素数 p，存在一个大于 p 的素数 q”这样的陈述混合了全称量词与存在量词，三段论无法捕捉。康德在1781年写道——
他即将被证明是惊人的错误。
三项大致依次出现的发展将逻辑转变为数理逻辑。
第一项是代数化。乔治·布尔在《逻辑的数学分析》（1847年）和《思维定律》（1854年）中证明，命题上的逻辑运算遵循与数上代数运算结构相同的定律。合取类似于乘法，析取类似于加法，整套装置可以通过符号推演来操作。奥古斯都·德摩根、查尔斯·桑德斯·皮尔士和恩斯特·施罗德扩展了这一计划。逻辑第一次看起来像是数学的一个分支。
第二项是量词的发现。戈特洛布·弗雷格的《概念文字》（1879年）引入了“对所有”和“存在”的记法，可以任意嵌套，从而能够形式化任意复杂度的数学陈述。弗雷格的记法视觉上糟糕（使用了二维树形图），但概念上具有革命性。他终于能够表达现代意义上的连续性定义：
$$\forall \varepsilon > 0 \;\, \exists \delta > 0 \;\, \forall x \;\bigl(|x - a| < \delta \;\to\; |f(x) - f(a)| < \varepsilon\bigr)$$
——这个句子在三段论逻辑中是无法处理的。
第三项是基础危机。1902年，伯特兰·罗素在弗雷格的体系中发现了悖论：所有不包含自身的集合构成的集合，它既包含自身又不包含自身。类似的悖论——布拉利-福尔蒂悖论、康托尔悖论、理查德悖论——表明，对无穷集合的朴素推理会导致矛盾。接下来的三十年里，人们付出了巨大的努力，试图将数学置于严格的逻辑基础之上：罗素和怀特海的《数学原理》、希尔伯特的公理化形式化计划、策梅洛的集合论公理化。其副产品便是现代数理逻辑。
数理逻辑从传统逻辑那里继承了核心关怀：对有效推理的分析。它保留了基本词汇——前提、结论、有效性、可靠性、矛盾——以及许多实质性原则：不矛盾律、modus ponens、概括了亚里士多德三段论的那些量词推理模式。
它所增添的部分则是决定性的。
这些在传统逻辑中即便在原则上也是不可用的。
由此产生的学科是双向的，这与旧逻辑不同。数学为数理逻辑提供方法；数理逻辑反过来分析数学的结构和限制。这种自指循环——数学通过逻辑工具来研究自身——是现代学科的定义性特征，也是其最深奥成果的源泉。
尽管存在深厚的连续性，但今天“逻辑”与“数理逻辑”并非同义词，这一区别至关重要。
数理逻辑是数学的一个分支。它有标准的子领域——模型论、证明论、集合论、可计算性理论——每个子领域都有自己的技术装置、自己的开放问题、自己的学术共同体。研究可数结构分类的模型论者，或研究大基数的集合论者，他们所从事的数学工作与代数几何学家本质上并无不同。
广义的逻辑同时也是哲学的一个分支。哲学逻辑关注的是数理逻辑通常搁置一旁的问题：什么是真理？什么是逻辑推论的本质？排中律应当成立吗？像“我”和“现在”这样的索引词如何发挥逻辑功能？模糊性、道德义务、信念的逻辑是什么？这些问题当然可以用形式工具来处理——尤其是自20世纪中叶卡尔纳普、奎因、克里普克和刘易斯等人的工作以来——但问题本身是哲学的，答案无法通过数学证明来一劳永逸地确定。
非形式逻辑与批判性思维构成了第三条脉络，关注的是在论证、辩论和日常话语中实际发生的推理。对论证理论、谬误、修辞模式以及证据评估的研究属于这一领域。这条脉络与古老的亚里士多德传统具有最直接的连续性，并且基本不受数学工具的影响。
模型论·证明论·集合论·可计算性。标准：严格性、可定义性、带证明的定理。问题：能否推导？是否有模型？
哲学逻辑·非形式推理·论证理论。标准：清晰性、可辩护性、概念阐明。问题：它意味着什么？这是好论证吗？
因此，“逻辑”是总括；数理逻辑是它的一个分支——技术最发达的分支，但绝非唯一的分支，也并非为回答总括下的所有问题而设计。
数理逻辑与其余逻辑分支之间的互动是持续且富有成效的。
数理逻辑澄清哲学问题，为它们提供精确的表述。“什么是逻辑推论？”这一问题变成了“什么是正确的形式定义——证明论的、模型论的，还是两者兼顾？”“是否存在无法证明的真实数学陈述？”变成了哥德尔定理。“推理能否机械化？”变成了可计算性理论。在每种情形下，形式化都不会消解哲学问题，而是将模糊的争论转化为具体的、通常可回答的技术问题。
数理逻辑也生成哲学问题。哥德尔不完备性定理引发了关于数学实在论、数学真理的本性以及形式化之界限的持续数十年的辩论。连续统假设的独立性提出了这样的问题：集合论陈述是否具有确定的真值？柯里-霍华德对应（证明与程序之间的对应）复兴了关于数学对象“真正是什么”的构造主义追问。
反过来，哲学关怀也塑造着数理逻辑。布劳威尔的直觉主义——一种关于数学存在之本性的哲学立场——产生了直觉主义逻辑，它如今本身就是一个丰富的数学领域。对模态主张之意义的关切推动了克里普克可能世界语义学的发展，后者随后成为标准的数学工具。对资源敏感推理的关切促使吉拉德创立了线性逻辑。
可以把这种关系类比为物理学与数学物理之间的关系。物理学是对自然世界的研究；数学物理是将严格的数学方法应用于物理理论。在现代实践中二者不可分离——没有严肃的物理学家会忽视数学，也没有严肃的数学物理学家会忽视经验内容——但它们在侧重点、成功标准以及主要处理的问题类型上仍然可以区分。物理学中的哲学问题（“波函数是真实的吗？”）无法单靠数学解决，尽管数学约束了可能的答案。
逻辑也是如此。数学方法并不能回答关于推理、真理或意义的每一个问题。但它们已经如此深刻地改变了我们能够提出和证明的问题，以至于今天对更广泛问题的任何严肃工作，都必须将数学结果作为哲学反思必须绕行的固定点。
在2026年，如果不涉及哥德尔，就不可能严肃地研究数学真理的本性；如果不涉及图灵，就不可能严肃地研究计算的基础；如果不涉及克里普克语义学，就不可能严肃地研究可能性与必然性。
对于学习者而言，实际启示如下：数理逻辑是技术核心，也是今天大多数活跃的逻辑学家实际从事的工作。但它镶嵌在一个更宏大的智识计划之中，这个计划包括传统逻辑、哲学逻辑和非形式推理，而且这些边界是相互渗透的。当问题可以被完全精确地表述时，数学结果最为锋利；而更广泛的问题之所以依然重要，恰恰是因为数学无法单独解决它们。
最富有成果的态度是：透彻地学习数学装置——这是二十世纪逻辑学的伟大成就——同时记住它最初被构造出来是为了照亮什么。形式系统是工具，常常也是优美的工具，但它们之所以存在，是因为人类始终想要理解什么使一个论证有效、数学真理意味着什么、以及推理如何与世界相关联。
这些问题在布尔之前就已存在，也将在任何特定的形式主义之后继续存在。数理逻辑是我们迄今为止最深奥的回答——但它是针对属于更古老、更宽泛意义上的逻辑的问题的回答。