1 定义与范畴
逻辑学（Logic）是一门研究有效推理形式、论证结构以及思辨规则的学科，源自古代哲学（尤其亚里士多德传统），后发展为现代数理逻辑的核心基础。它探讨如何从已知命题正确推导出新命题，鉴别谬误，并构建严谨的思维体系。逻辑学既属于哲学分支，也与数学、计算机科学、语言学及认知科学紧密交叉。
1.1 逻辑学的核心任务
逻辑学的核心任务包括：识别和分类推理的形式，区分有效论证与无效论证，建立推理的规范（即“应当如何推理”），以及分析日常语言中的逻辑结构。此外，逻辑学还致力于系统地揭示谬误，帮助人们避免不自觉的思维陷阱，从而提升批判性思维能力。
1.2 逻辑学与哲学、数学的关系
逻辑学传统上属于哲学的一个分支，与认识论、形而上学并列为哲学三大支柱。哲学为逻辑提供本体论与认识论背景，逻辑则为哲学论证提供工具。从弗雷格开始，逻辑学逐渐数学化，成为数理逻辑这一独立学科，与数学基础、集合论、证明论等深度交织。反过来，数学中的公理化方法也深刻影响了逻辑的形式化。如今，逻辑学被视为连接哲学、数学与计算机科学的桥梁。
2 历史沿革
2.1 古代逻辑
2.1.1 亚里士多德三段论
亚里士多德在《工具论》中系统阐述了三段论（Syllogism），即由两个前提推出一个结论的演绎推理形式。他区分了全称、特称、肯定、否定四种命题类型，并建立了完善的格与式的理论。亚里士多德逻辑统治西方两千余年，被誉为“逻辑学之父”。
2.1.2 斯多葛学派命题逻辑
斯多葛学派（代表人物克吕西波）发展了基于条件句、析取、合取等联结词的命题逻辑，重视蕴含关系与推理模式（如假言三段论）。他们的工作比亚里士多德的三段论更接近现代命题逻辑，但长期被忽视。
2.1.3 印度因明与中古逻辑
印度因明（Hetu-vidyā）以陈那、法称等为代表，发展出“宗、因、喻”三支论式，强调逻辑理由（因）与事例（喻）的结合。其推理形式兼顾演绎与归纳，并探索了“非存在”与“否定”的逻辑性质。同期中国墨家也研究名实关系与推理规则，但未形成系统理论。
2.2 中世纪至近代逻辑
2.2.1 经院逻辑
中世纪经院学者（如阿伯拉尔、奥卡姆）继承并细化了亚里士多德逻辑，发展了指代理论（Supposition Theory），探讨语词在命题中的指称方式，并研究了悖论（如“说谎者悖论”）。经院逻辑为后来的逻辑形式化积累了概念工具。
2.2.2 启蒙时代的逻辑革新
培根和穆勒对归纳法进行了系统化，穆勒《逻辑体系》提出归纳五法（求同、求异、同异并用法、剩余法、共变法）。笛卡尔、莱布尼茨则憧憬建立普遍语言与演算推理，莱布尼茨的“普遍字符”思想是现代数理逻辑的远祖。
2.3 现代逻辑
2.3.1 弗雷格与谓词逻辑
1879年，弗雷格在《概念文字》中首次构建了现代谓词逻辑（一阶逻辑），引入量词与变元，并给出了严格的公理系统。他破解了“所有”与“存在”的形式化难题，使逻辑足以表达数学语言。弗雷格的工作标志着现代逻辑的诞生。
2.3.2 罗素与《数学原理》
罗素与怀特海合著的《数学原理》（1910-1913）试图从逻辑公理出发推演出全部数学，创立类型论以化解罗素悖论。尽管“逻辑主义”计划遭遇哥德尔挑战，但《数学原理》确立了现代数理逻辑的标准框架，并推动了递归论与模型论的发展。
2.3.3 哥德尔不完备定理
1931年，哥德尔证明：任何包含算术的、一致的公理化形式系统，必然存在一个无法在系统内证明或否证的命题（第一不完备定理），且系统自身无法证明自己的一致性（第二不完备定理）。这一定理深刻揭示了形式逻辑的局限，成为逻辑学与数学基础的分水岭。
3 基本概念
3.1 命题与陈述
命题（Proposition）是具有真值（真或假）的陈述性语句。逻辑学关注命题的抽象内容而非具体语句（如“雪是白的”和“Snow is white”表达同一命题）。陈述（Statement）常作为命题的同义词使用，但有时特指被断言出的命题。
3.2 推理与论证
推理（Reasoning）是从一个或多个已知命题（前提）推导出新命题（结论）的心智过程。论证（Argument）则是将这一过程用语言形式呈现出来的序列，一个典型论证包含若干前提和一个结论。
3.2.1 演绎推理
演绎推理（Deductive reasoning）保证：如果前提为真，则结论必为真。其结论隐含于前提中，具有必然性。经典例子：所有人都会死，苏格拉底是人，所以苏格拉底会死。
3.2.2 归纳推理
归纳推理（Inductive reasoning）从个别事例推出一般规律或概率性结论，其结论超出前提所蕴含的信息，不具有保真性。例如：观察到的天鹅都是白色的，所以所有天鹅都是白色的。归纳是科学发现的主要工具。
3.2.3 溯因推理
溯因推理（Abductive reasoning）是从观察结果反推最佳解释的推理形式，常用于诊断与假设形成。例如：地上湿了，如果下雨才会湿，所以可能下过雨。溯因结论只是可能性最大的猜测，并非必然。
3.3 有效性与可靠性
一个论证是有效的（Valid）当且仅当：如果所有前提为真，则结论必然为真（在演绎推理中）。有效性只关乎形式，不关涉前提真假。可靠性（Soundness）则要求论证既有效，且所有前提实际上为真。一个可靠论证确保结论为真。
3.4 必然性与可满足性
必然性（Necessity）指命题在所有可能情况下都为真，逻辑真理（如“P或非P”）具有必然性。可满足性（Satisfiability）指存在某种解释使得一组命题同时为真。在模型论中，可满足性是判定系统一致性的重要工具。
4 逻辑学的主要分支
4.1 形式逻辑
形式逻辑（Formal logic）关注推理的纯形式结构，忽略具体内容，使用人工语言（符号）来刻画推理规则。
4.1.1 命题逻辑
命题逻辑（Propositional logic）以原子命题为最小单位，通过逻辑联结词（¬、∧、∨、→、↔）构成复合命题，研究重言式、推理模式（如MP、MT等）。它足够表达布尔代数与简单决策问题，但无法分析命题内部结构。
4.1.2 一阶谓词逻辑
一阶谓词逻辑（First-order predicate logic）引入个体变元、量词（∀、∃）及谓词符号，能够表达诸如“所有人都喜爱逻辑”这类量化陈述。它是数学中最常用的逻辑系统，具有完备性（哥德尔证明）但不可判定。
4.1.3 高阶逻辑
高阶逻辑（Higher-order logic）允许对谓词本身进行量化和函数抽象（如“存在一种性质，满足……”）。其表达力强于低阶，但丧失了完备性。常用于数学基础与程序验证。
4.2 非形式逻辑
非形式逻辑（Informal logic）研究日常语言中的论证，不依赖符号系统，侧重分析论证的语境、预设与修辞技巧。
4.2.1 谬误与批判性思维
非形式逻辑系统梳理常见谬误（如人身攻击、稻草人），并提供一套批判性思维工具——如把论证拆分为“主张、理由、担保、支撑”——来评估日常推理的质量。
4.2.2 日常论证分析
它关注法庭辩论、政治演说、广告文案中的逻辑结构，帮助识别隐含前提、评估证据强度、检测言辞陷阱。图尔敏模型是其中的典型分析框架。
4.3 数理逻辑
数理逻辑（Mathematical logic）将数学方法注入逻辑，形成严密的形式系统，主要分支如下。
4.3.1 模型论
模型论（Model theory）研究形式语言与数学结构（模型）之间的关系，探讨一个理论（一组公理）的所有可能模型，以及“可定义性”与“范畴性”等问题。
4.3.2 证明论
证明论（Proof theory）将数学证明本身作为对象，研究证明的结构、形式化与标准化，以及一致性证明（如希尔伯特计划）。汉金化和自然演绎是重要成果。
4.3.3 递归论
递归论（Recursion theory）研究可计算性概念，定义递归函数、图灵机与不可判定问题（如停机问题）。它为人工智能与算法复杂性提供了理论基础。
4.3.4 集合论
集合论（Set theory）作为数学的基础，以ZF公理系统形式化，逻辑学中常研究集合论公理与模型之间的关系，以及大基数、力迫法等技术。
4.4 模态逻辑
模态逻辑（Modal logic）在经典逻辑基础上增加模态算子，处理必然性与可能性等概念。
4.4.1 必然性与可能性
基本模态系统（如S4、S5）加入□（必然）与◇（可能），通过克里普克可能世界语义学给出解释。模态逻辑应用于哲学（如模态形而上学）、计算机科学（程序验证）等领域。
4.4.2 道义逻辑与认知逻辑
道义逻辑（Deontic logic）处理义务、允许、禁止等规范概念；认知逻辑（Epistemic logic）处理知道、相信等认知概念。它们在法律、人工智能与博弈论中有广泛应用。
4.5 其他特殊逻辑
4.5.1 多值逻辑
多值逻辑（Many-valued logic）突破二值原则，允许真值取第三值（如“未知”）、甚至无穷多值。卢卡西维奇与克林分别发展了系统，应用于模糊控制与语义悖论。
4.5.2 直觉主义逻辑
直觉主义逻辑（Intuitionistic logic）源于布劳威尔的数学哲学，拒斥排中律与双重否定消除，要求证明必须是构造性的。它在证明论与类型论中有重要地位。
4.5.3 逻辑（非经典逻辑概览）
非经典逻辑涵盖弗协调逻辑（容忍矛盾）、相干逻辑（要求前提与结论相关）、弱逻辑（如子结构逻辑）等。这些系统旨在克服经典逻辑在特定语境中的不足。
5 逻辑谬误
5.1 形式谬误
形式谬误（Formal fallacy）是推理形式本身的错误，即使替换具体内容仍无效。
5.1.1 肯定后件
形式：如果P则Q，Q，所以P。例如：“如果下雨，地会湿；地湿了，所以下雨了。”可能因洒水车等原因而失效。
5.1.2 否定前件
形式：如果P则Q，非P，所以非Q。例如：“如果发烧则体温升高，没发烧，所以体温没升高。”忽略了其他发热情景。
5.2 非形式谬误
非形式谬误（Informal fallacy）源于内容、语境或修辞策略，而非形式结构。
5.2.1 人身攻击
直接攻击提出论证者的人格、出身或动机，而非反驳其论证。例如：“你说应该加税，不过你是富二代，你的话不可信。”
5.2.2 稻草人论证
歪曲或夸大对方的立场，然后攻击这个被扭曲的观点。例如：“你主张限制碳排放？那就是要大家立刻停止开车，回归原始生活吗？”
5.2.3 滑坡谬误
声称如果允许某一步，必将导致灾难性的连锁后果，却未提供充分证据。例如：“如果允许学生在课堂上用手机，接下来他们就会在考试时作弊，最后整个教育体系崩溃。”
5.2.4 诉诸情感
利用恐惧、怜悯、愤怒等情感操纵接受结论，而非提供理性理由。例如：“请可怜那些无家可归的小动物，所以应该捐款。”
6 应用领域
6.1 计算机科学与人工智能
6.1.1 逻辑编程（Prolog）
Prolog语言基于一阶谓词逻辑（霍恩子句），通过自动推理与回溯机制求解逻辑问题。它广泛应用于自然语言处理、专家系统和知识表示。
6.1.2 自动定理证明
机器借助逻辑推理算法（如归结原理）自动验证数学定理或硬件设计正确性。著名的证明器有Vampire、E等。
6.1.3 知识表示与推理
描述逻辑（描述逻辑）用于构建本体，支持语义网中的推理。逻辑被用来表示事实、规则和约束，实现智能系统对知识的演绎与溯源。
6.2 语言学与自然语言处理
6.2.1 话语逻辑分析
话语逻辑（如话语表示理论）将句子的语义结构表示为不断更新的“话语表示结构”，以处理照应、时态等问题，是自然语言理解的重要基石。
6.2.2 逻辑语义学
运用数理逻辑工具（如类型论、λ演算）精确刻画自然语言的组合性意义，说明量词歧义、否定范围等语言现象。
6.3 法律与辩论
6.3.1 证据推理
法律裁判中需要评估各种证据的逻辑关联性与证明力，常用贝叶斯推理与论证模式图。逻辑有助于识别伪证与循环论证。
6.3.2 法律解释中的逻辑
法律条文解释经常涉及类比推理、目的解释与体系解释，逻辑规则（如排中律、不矛盾律）约束解释的合理性，避免自相矛盾。
6.4 数学基础与哲学
6.4.1 数学证明的结构
数学证明的本质是逻辑论证，从公理通过演绎规则推导定理。逻辑学家分析证明中的隐含假设与推理步骤，确保证明的严谨性。
6.4.2 逻辑实证主义与实在论之争
20世纪初的逻辑实证主义（维也纳学派）主张哲学任务即逻辑分析，拒斥形而上学。其后奎因等人批评分析-综合区分，波普尔提出证伪主义。围绕数学对象是否独立存在，逻辑主义与实在论展开长期辩论。
7 相关学科
7.1 哲学（认识论、形而上学）
认识论利用逻辑分析知识的结构与确证条件，形而上学则用模态逻辑探讨可能性、必然性与可能世界。推理的有效性与真理的本质是共同话题。
7.2 数学（数论、集合论）
数论中许多非平凡证明依赖逻辑推理的严密性；集合论本身是数理逻辑的一个重要分支。哥德尔不完备定理更直接挑战了数学的公理化基础。
7.3 计算机科学（算法复杂性、计算理论）
形式语言与自动机理论中的可判定性、NP-完全问题与递归论紧密相连。逻辑在编译器设计（类型检查）、程序验证（Hoare逻辑）中扮演核心角色。
7.4 认知科学（心理逻辑、决策理论）
认知心理学研究人们在真实情境中的实际推理与逻辑规范之间的落差（如沃森选择任务），行为决策理论引入非经典逻辑（如模糊逻辑）来解释非理性选择。
8 常见争议与批评
8.1 逻辑与现实的脱节问题
古典逻辑（如排中律）假设命题非真即假，但量子力学中的叠加态、日常语言中的模糊边界（“秃头悖论”）挑战了这一理想化。逻辑学家推出多值逻辑与弗协调逻辑尝试补救，但批评者认为形式模型永远无法穷尽现实的复杂性。
8.2 逻辑是否可被“动态”或“辩证”补充
辩证法（黑格尔、马克思传统）主张真理通过矛盾对立与统一而发展，反对静止的形式逻辑。一些学者提出“辩证逻辑”或“动态逻辑”作为补充，但主流逻辑学界通常认为这些并非严格意义上的逻辑系统，而是哲学修辞。
8.3 形式逻辑对日常推理的适用性限度
日常推理大量依赖背景知识、默认假设与类比（“管他逻辑不逻辑，实用就行”），过分严格的形式逻辑可能导致迂腐或僵化。非形式逻辑与论辩术正是针对这一不足发展起来的。争议核心在于：逻辑作为规范性学科是否应当“强迫”人类按照数理系统思维，还是仅仅作为批判工具。