逻辑学（Logic）是研究推理的有效性与论证结构的哲学分支学科。它探讨如何区分正确推理与错误推理，确定从给定前提出发能否必然推导出结论。作为一门规范科学，逻辑学不仅描述人们实际上如何推理，更规定了人们应该如何正确推理。在哲学史上，逻辑学与形而上学、认识论、伦理学并称为哲学四大核心分支；在现代，它已成为数学、计算机科学、语言学、人工智能等多个学科的基础工具。
命题（Proposition）是逻辑学最基本的分析单位，指具有真值（真或假）的陈述性语句。例如"地球围绕太阳运行"是一个真命题，"2+2=5"是一个假命题。命题与语句不同——同一命题可以使用不同语言的语句表达，而疑问句、祈使句、感叹句通常不表达命题。
陈述（Statement）与命题常被互换使用，但有些逻辑学家区分二者：陈述是说出或写下的语言行为，命题是其所表达的内容。在标准逻辑分析中，我们关注的是命题的逻辑结构而非其语言形式。
论证（Argument）是由一组前提（Premises）和一个结论（Conclusion）组成的推理序列。论证的目的是用前提来支持或证明结论。逻辑学分析的核心问题是：前提能否充分支持结论？
论证的识别通常依赖指示词：
例如：前提1：所有人都会死。前提2：苏格拉底是人。结论：所以苏格拉底会死。
这三个概念是逻辑评价的核心标准：
有效性（Validity）适用于演绎论证：如果一个论证在前提全部为真的情况下结论必然为真，则该论证是有效的。有效性只关心推理形式，不关心前提的实际真假。因此，"如果地球上一年有13个月，那么下个月是1月；地球上一年的确有13个月；所以下个月是1月"这个论证在形式上是有效的——尽管前提明显为假。
可靠性（Soundness）要求论证同时满足两个条件：(1) 论证形式有效；(2) 所有前提均为真。可靠的论证既保证了推理正确，又保证了起点正确，因而其结论必定为真。
合理性（Cogency）适用于归纳论证：一个归纳论证是合理的，当且仅当其前提为真且结论有充分的支持。与演绎的有效性不同，合理性没有二元判定，而是一个程度概念——有些论证的归纳强度很高（如"99%的已知天鹅都是白色，所以下一只被观察到的天鹅也是白色的"），有些则很弱。
演绎推理（Deductive reasoning）从一般性原则推导出具体结论。其特点是：如果前提为真，那么结论必然为真。演绎推理不增加新信息，而是将前提中隐含的信息显式化。
归纳推理（Inductive reasoning）从具体观察中概括出一般性结论。其特点是：即使前提为真，结论也只是可能为真（而非必然）。归纳推理是科学发现和日常经验学习的核心工具，但它永远无法提供绝对的确定性——这就是著名的归纳问题（休谟提出）。
溯因推理（Abductive reasoning），又称最佳解释推理，从观察到的现象出发，推断最能解释该现象的假设。例如，看到草地湿了，推断"昨夜下了雨"——在多种可能的解释中，溯因推理选择最合理、最简洁的那一个。溯因推理在科学假说形成和医疗诊断中广泛应用。
亚里士多德（公元前384-322）被公认为逻辑学之父。他在《工具论》（Organon）中系统阐述了三段论理论，建立了西方逻辑学的基础。亚里士多德的三段论体系包括三大定律：
亚里士多德的三段论由两个前提和一个结论组成。标准的三段论有一个大前提、一个小前提和一个结论。例如：大前提：所有人都会死；小前提：苏格拉底是人；结论：所以苏格拉底会死。他系统化地分类了所有可能的三段论形式，识别出其中有效的形式（如Barbara、Celarent等）。
斯多葛学派（约公元前300年）发展了命题逻辑，聚焦于命题间的连接词关系而非亚里士多德的类属关系。克吕西波（Chrysippus）被认为是斯多葛逻辑学的集大成者，他发展了条件句逻辑（if...then...）和一系列的推理模式。斯多葛的逻辑系统在某些方面比亚里士多德的三段论更接近现代逻辑。
中世纪时期，阿拉伯哲学家（如阿维森纳和阿威罗伊）继承并发展了亚里士多德逻辑。欧洲经院哲学家如托马斯·阿奎那和奥卡姆的威廉进一步深化了逻辑研究。奥卡姆的简约原则（Ockham's Razor）——"如无必要，勿增实体"——虽非严格的逻辑原则，但已成为科学推理的重要方法准则。
中世纪的独特性理论（Theory of Supposition）研究了术语在语境中的指称方式，是语义学的早期先驱。这些工作为后来弗雷格和罗素的逻辑研究奠定了概念基础。
17世纪的莱布尼茨（Leibniz）提出了"通用语言"（characteristica universalis）和"推理演算"（calculus ratiocinator）的构想，预见到了一种通用的符号逻辑系统和自动推理机器。这一构想超越了时代，直到19世纪才被实质性地实现。
英国哲学家约翰·斯图亚特·密尔（John Stuart Mill）在《逻辑体系》（A System of Logic, 1843）中发展了归纳法理论，阐述了密尔五法：契合法、差异法、契合差异并用法、共变法和剩余法。这些方法为实验科学中的因果推理提供了系统化的工具。
19世纪末到20世纪初，逻辑学经历了最深刻的变革。戈特洛布·弗雷格（Gottlob Frege）在《概念文字》（Begriffsschrift, 1879）中创建了第一个完备的一阶谓词逻辑系统，引入了量词（∀、∃）和变元的概念，将逻辑从传统三段论的局限中解放出来。他的工作标志着现代逻辑的开始。
伯特兰·罗素（Bertrand Russell）和阿尔弗雷德·诺斯·怀特海（Alfred North Whitehead）在《数学原理》（Principia Mathematica, 1910-1913）中试图将全部数学还原为逻辑，开创了逻辑主义学派。他们发展了类型论以应对罗素悖论。
库尔特·哥德尔（Kurt Gödel）在1931年证明了不完备定理——任何足够强大的形式系统都存在无法在该系统内部证明的真命题。这一发现深刻揭示了公理系统的内在局限，对数学基础和逻辑哲学产生了震撼性影响。
路德维希·维特根斯坦（Ludwig Wittgenstein）在《逻辑哲学论》（Tractatus Logico-Philosophicus, 1921）中提出语言与世界具有共同的逻辑结构，逻辑命题是重言式（tautologies），不传达关于世界的事实信息。
阿尔弗雷德·塔斯基（Alfred Tarski）在1933年提出了真理的语义学理论，为形式语言中"真"概念的精确定义提供了框架。塔斯基的工作是模型论的基石，极大推进了逻辑语义学的发展。
命题逻辑（Propositional Logic / Sentential Logic）是最基础的逻辑系统，以原子命题及其联结词为研究对象。核心的命题联结词包括：
| 符号 | 名称 | 含义 | 示例 |
|---|---|---|---|
| ¬ | 否定 | 不是…… | ¬P：不是P |
| ∧ | 合取 | 两者都是…… | P∧Q：P且Q |
| ∨ | 析取 | 至少一个是…… | P∨Q：P或Q |
| → | 蕴含 | 如果……那么…… | P→Q：如果P则Q |
| ↔ | 双条件 | 当且仅当…… | P↔Q：P当且仅当Q |
命题逻辑的推理规则包括肯定前件（Modus Ponens: P→Q, P, ∴Q）、否定后件（Modus Tollens: P→Q, ¬Q, ∴¬P）、假言三段论（Hypothetical Syllogism: P→Q, Q→R, ∴P→R）等。
谓词逻辑（Predicate Logic / First-order Logic）在命题逻辑的基础上引入了量词和谓词，能够表达命题逻辑无法表达的复杂结构。谓词逻辑的核心元素包括：
一阶谓词逻辑可以形式化表达亚里士多德经典的三段论："所有人都会死。苏格拉底是人。所以苏格拉底会死。"——∀x(Man(x) → Mortal(x)), Man(Socrates) ∴ Mortal(Socrates)。
归纳逻辑（Inductive Logic）研究如何从特殊事例推导一般规律。不同于演绎逻辑的必然性，归纳逻辑处理的是可能性——结论在多大程度上被前提所支持。
密尔五法是经典归纳推理的核心：
模态逻辑（Modal Logic）研究涉及可能性和必然性的推理。在命题逻辑的基础上增加了两个模态算子：□（必然……）和◇（可能……）。模态逻辑的经典公理系统包括K（最小正常模态逻辑）、T（□P → P）、S4（□P → □□P）和S5（◇P → □◇P）等系统。
模态逻辑在哲学中应用于自由意志与决定论的分析，在计算机科学中用于程序验证（时态逻辑），在语言学中用于语用分析，在认知科学中用于信念与知识的建模。
经典逻辑基于二值原理——每个命题非真即假。多值逻辑（Many-valued Logic）则承认两个以上的真值。卢卡西维茨（Łukasiewicz）发展了三值逻辑（真、假、不确定），随后被扩展到n值逻辑和无限值逻辑。
模糊逻辑（Fuzzy Logic）是无限值逻辑的重要应用，由洛特菲·扎德（Lotfi Zadeh）于1965年提出。在模糊逻辑中，命题可以具有0到1之间的任意真值，这使得它特别适合处理连续变化和边界模糊的概念，如"暖"、"高"、"快"等。模糊逻辑在控制系统（如洗衣机、空调、自动变速箱）和人工智能中得到了广泛应用。
除了上述分支，还存在众多非经典逻辑系统：
识别逻辑谬误是逻辑学的重要应用之一。以下是常见的逻辑谬误类型：
形式谬误源于论证形式本身的错误：
非形式谬误源于论证内容的歧义、误导或无关：
逻辑学与数学的关系极为密切。20世纪初的逻辑主义（罗素、怀特海）试图将数学还原为逻辑；形式主义（希尔伯特）将数学视为基于公理的形式符号游戏；直觉主义（布劳威尔）则从心智构造的角度理解数学。哥德尔不完备定理终结了希尔伯特的形式化完备性计划，但其间发展出的证明论、模型论、递归论和集合论——合称数理逻辑四大分支——已经成为现代数学的基础工具。
逻辑学是计算机科学的理论基石：
语言学家将逻辑工具应用于语义分析：蒙塔古语法（Montague Grammar）运用内涵逻辑分析自然语言的语义；语言逻辑分析预设、蕴含、会话含义等语义现象；计算语言学使用逻辑形式来表示句子的意义结构。
逻辑学在认知科学中被用来建模人类推理的过程。心智逻辑理论（Mental Logic Theory）认为人类大脑内部运用类似自然演绎规则的推理机制；心智模型理论（Mental Model Theory）则认为推理的心智表征是可能性模型而非形式规则。这些研究揭示了人类推理与形式逻辑之间的差异——人们在实际推理中经常犯系统性错误（如信念偏见效应、沃森选择任务中的表现），但这并非简单的非理性，而是反映了不同推理策略的运用。
是否存在唯一的"正确"逻辑？逻辑一元论（Logical Monism）认为只有一个正确的逻辑系统，所有有效推理都能在其中被捕获。逻辑多元论（Logical Pluralism）则认为存在多个同样有效的逻辑系统，适用于不同的推理语境。经典逻辑、直觉主义逻辑、相干逻辑和次协调逻辑各自处理不同的问题域，可能各有其适用的范围。
塔斯基的语义真理论为形式语言中"真"概念提供了定义框架——"雪是白的"为真当且仅当雪确实是白的。但关于逻辑真理的性质存在争议：逻辑真理是分析的（仅凭意义即真）、先验的（不依赖经验即可知），还是必然的（在所有可能世界中为真）？奎因（Quine）对分析-综合的区分提出了激烈批评，认为所谓的逻辑真理本质上与经验知识并无截然分界。
哥德尔不完备定理是逻辑学史上最深刻的结果之一，它表明：
这意味着数学真理超越了任何单一形式系统的证明能力。这一结果不仅对数学基础产生了深远影响，也引发了关于人工智能极限的讨论——如果人类心智能够"看出"哥德尔语句为真而形式系统不能，是否意味着心智超越了任何机械形式系统？对此存在深刻的哲学争议（如卢卡斯-彭罗斯论证）。
逻辑学是人类理性思维的基石。从日常生活到科学发现，从法律论证到计算机程序，逻辑分析的框架无处不在。掌握逻辑学不仅是理解哲学的基础，更是培养批判性思维、提升分析能力的核心途径。无论你是在阅读新闻、讨论政策、调试代码还是提出科学假说，逻辑学工具都能帮助你更清晰、更精确地思考。