1 基本概念
1.1 逻辑的定义与研究对象
逻辑通常被理解为研究推理形式与论证有效性的学科。它关心的不是某一陈述在经验上是否真实，而是当若干前提成立时，结论能否按照既定规则被可靠推出。形式逻辑则进一步强调符号化表达，通过对命题、谓词、关系和推理规则的抽象处理，建立可分析、可验证的论证框架。
1.2 形式有效性与真值
形式有效性指的是推理结构本身是否成立，即只要前提为真，结论就不可能为假。它与真值并不等同：一个论证可以在内容上涉及虚构对象，却仍然具有严格的形式有效性；反之，前提即使真实，若推理方式有误，结论也不一定成立。因此，形式逻辑的核心任务是区分“内容真实”与“推理正确”。
1.3 形式语言与自然语言的区别
自然语言具有灵活、含蓄和语境依赖强等特点，适合日常交流，但也容易产生歧义、模糊和省略。形式语言则通过严格定义的符号、语法和解释规则，尽量消除歧义，使表达对象与推理步骤更明确。形式逻辑正是借助这种语言，把复杂论证转化为可检验的结构。
1.4 逻辑符号与表达式
形式逻辑使用联结词、量词、变量、谓词等符号构成表达式，用以表示命题之间以及对象与性质之间的关系。符号系统的优点在于简洁而精确，能够把长篇论证压缩为少量公式，并让推理过程呈现出可追踪的步骤。不同逻辑体系中，符号的含义与使用规则会有所差别，但都以明确性为基本要求。
2 历史发展
2.1 古典逻辑的起源
古典逻辑通常追溯到古希腊哲学，尤其与亚里士多德的三段论理论密切相关。早期逻辑主要围绕范畴、判断和演绎结构展开，关注“所有”“某些”这类量化表达如何组织成有效论证。此阶段奠定了逻辑作为独立分析工具的基础。
2.2 中世纪与近代逻辑的发展
中世纪逻辑在经院哲学中继续发展，讨论重点包括概念分析、指称关系与推理形式。进入近代后，逻辑开始与数学方法、语言分析和认识论问题结合，逐渐摆脱单纯的哲学附属地位。莱布尼茨等思想家曾设想以符号计算方式处理推理，为后来的形式化思路提供了启发。
2.3 数理逻辑的兴起
19世纪末至20世纪初，数理逻辑迅速兴起。弗雷格、罗素等人推动逻辑从传统范畴分析转向符号化、数学化表达，形成了更严格的命题与谓词分析方法。与此同时，集合论、基础数学与证明方法的发展，也促使逻辑成为数学基础研究的重要组成部分。
2.4 现代形式逻辑的形成
现代形式逻辑是在公理化方法、语义理论和可计算性研究共同推动下形成的。它不仅包括经典的命题逻辑与谓词逻辑，还扩展到模态逻辑、直觉主义逻辑以及其他非经典系统。随着计算机科学的发展，逻辑进一步成为自动推理、程序验证和形式语言研究的核心工具。
3 基本组成
3.1 命题
命题是可以判断真假的陈述单位，是形式逻辑分析的基本对象之一。命题可以是简单的，也可以通过联结词组合成更复杂的结构。逻辑研究的一个重要方面，就是考察这些命题在推理中的排列方式与真值变化规律。
3.1.1 原子命题与复合命题
原子命题是不可再分解为更简单命题结构的基本陈述，如“天空是蓝的”之类。复合命题则由多个命题借助逻辑联结词构成，例如否定、合取或条件命题。区分二者有助于分析复杂陈述的内部结构，以及推理中各部分如何共同决定整体真值。
3.1.2 真值与真值表
真值通常表示命题为真或假的状态。真值表是一种列举不同真值组合并计算复合命题结果的工具，常用于检验推理式是否恒真或某个联结词的语义如何定义。它是命题逻辑中最直观、也最常见的分析方法之一。
3.2 逻辑联结词
逻辑联结词用于把一个或多个命题连接起来，形成新的命题表达式。它们规定了复合命题在不同真值条件下的结果，是形式逻辑语义结构中的关键部分。常见联结词包括否定、合取、析取、蕴含与等值。
3.2.1 否定
否定用于表示“不是”或“并非如此”，常记作“¬”或“非”。它把一个命题的真值反转：命题真时，否定为假；命题假时，否定为真。否定是最基本、也是最常用的联结方式之一。
3.2.2 合取
合取表示“并且”，常记作“∧”。只有当两个命题都为真时，合取命题才为真；只要其中之一为假，整体即为假。合取常用于表示多个条件同时成立的情形。
3.2.3 析取
析取表示“或者”，常记作“∨”。在通常的逻辑解释中，只要相关命题中至少有一个为真，析取命题就为真。析取可以表达备选条件或多种情况之一成立的结构。
3.2.4 蕴含与等值
蕴含通常表示“如果……那么……”，常记作“→”，它反映一种条件关系。等值则表示两个命题在真值上完全一致，常记作“↔”。这两类联结词在论证分析中非常重要，因为许多推理都可以还原为条件关系或等价转换。
3.3 推理规则
推理规则是从若干前提出发，导出结论的规范方式。它们限定了哪些推导步骤在逻辑上被认可，从而使论证具有可检验性。不同逻辑体系会采用不同规则，但都强调从前提到结论的结构合法性。
3.3.1 演绎推理
演绎推理是从一般原则或已知前提出发，推出必然结论的方式。若前提真实且推理有效，则结论必然成立。形式逻辑最典型地研究这种推理，因为它可以通过规则精确表示并严格验证。
3.3.2 归纳推理
归纳推理是根据若干个别观察或有限样本，概括出一般结论的过程。它不保证结论绝对必然，但在经验科学中具有重要作用。逻辑学对归纳的研究主要关注其合理性、强弱程度以及何种条件下可以得到较高可信度。
3.3.3 类比推理
类比推理根据对象之间的相似性，从已知情况推断未知情况。它常用于解释、发现和启发式判断，但形式上通常不如演绎那样严格。逻辑研究类比推理时，往往强调相似点与差异点对结论可靠性的影响。
4 主要分支
4.1 命题逻辑
命题逻辑研究命题之间的联结与推理关系，是形式逻辑最基础的分支。它只把命题视为真假单位，不进一步分析命题内部的对象结构。由于规则清晰、形式简洁，它常作为学习和应用逻辑的起点。
4.2 谓词逻辑
谓词逻辑在命题逻辑基础上引入个体、性质、关系与量词，能够更细致地表达“所有”“存在”等结构。与仅处理整体命题不同，谓词逻辑可分析命题内部的语义构成，因此更适合数学和自然语言的精确化表达。
4.2.1 一阶逻辑
一阶逻辑只允许量词作用于个体变量，研究对象、性质及其关系的形式表达。它在表达能力与理论可控性之间取得了良好平衡，因此成为现代逻辑中最常用的体系之一。许多基础数学与计算机科学问题都可在一阶逻辑中处理。
4.2.2 多元谓词与关系
多元谓词用于表示涉及多个对象的关系，例如“……大于……”“……位于……之间”。通过多元谓词，逻辑可以描述更复杂的结构，而不必把关系拆成若干孤立命题。它使形式语言能够更准确地对应现实中的多对象互动。
4.3 模态逻辑
模态逻辑研究必然、可能、允许、知道等模态概念，扩展了经典逻辑对单纯真假的处理。它适合分析“在所有可能情况下成立”或“在某些条件下成立”的语句。模态逻辑在哲学、语言学与计算机科学中都有重要应用。
4.3.1 必然性与可能性
必然性与可能性是模态逻辑最核心的两个概念。前者表示某命题在所有相关情形下都成立，后者则表示某命题至少在某些情形下成立。借助这一框架，可以精细地区分事实、推断与可能世界中的不同状态。
4.3.2 时态逻辑
时态逻辑把时间因素引入推理系统，用来讨论“过去”“现在”“将来”等时间关系。它常见于计算机程序、过程系统和事件分析中。通过时态算子，逻辑可以表达顺序、持续性与先后约束。
4.4 非经典逻辑
非经典逻辑是对经典二值逻辑的扩展或修正，旨在处理经典系统难以充分刻画的问题。它们在真值、推理规则或语义结构上作出不同设定，以适应不确定、模糊或信息不完备等情况。
4.4.1 多值逻辑
多值逻辑不只承认“真”和“假”两种真值，还允许中间值或更多取值。它适合表达信息不足、状态未定或评价分级等情形。此类逻辑有助于描述比二值判断更复杂的现实结构。
4.4.2 模糊逻辑
模糊逻辑处理边界不清晰的概念，如“高”“热”“接近”等。它通常允许命题在真值上呈连续变化，而非绝对真或假。模糊逻辑在控制系统、模式识别和人工智能中具有较强实用性。
4.4.3 直觉主义逻辑
直觉主义逻辑强调构造性证明，认为一个命题的真不仅在于其可被假定成立，还需要有具体证明方法。它对排中律等经典原理的使用更为谨慎。该体系在数学基础和证明理论中占有重要位置。
4.4.4 相容逻辑
相容逻辑研究矛盾并不必然导致整体推理崩溃的情形，试图避免“爆炸性”推理带来的问题。在某些信息不一致但仍需继续推理的场景中，这类逻辑具有特殊价值。它关注的是如何在矛盾存在时保持系统的可操作性。
5 语义与语法
5.1 形式语法
形式语法规定符号如何按规则组合成合法表达式。它关注的是“什么样的串是正确公式”，而不直接讨论这些公式是否为真。语法规则为形式系统提供结构边界，使表达和推导具有统一标准。
5.2 解释与模型
解释是为形式语言中的符号赋予具体意义的过程；模型则是使某些公式成立的数学结构。二者共同连接符号系统与对象世界，使抽象公式能够获得可评价的语义内容。没有解释，符号只是形式；有了解释，表达式才具有陈述意义。
5.3 语义蕴涵
语义蕴涵指的是在所有满足前提的模型中，结论也同样成立。它体现了“前提为真时，结论必真”的语义层面要求。与句法推导相比，语义蕴涵更强调意义和模型条件下的必然关系。
5.4 句法证明
句法证明是在形式系统内部，按照规则一步步推出结论的过程。它不依赖直观解释，而只依赖公理和推理规则。句法证明的优势在于可机械检验，因此在自动推理和理论证明中都很重要。
6 证明理论
6.1 公理系统
公理系统由一组起点公式和推理规则构成，用以生成整个理论中的可证明命题。公理本身通常不需要证明，而是作为推演的基础。不同系统的公理选择会影响证明的简洁性与理论性质。
6.2 自然演绎
自然演绎强调接近日常推理习惯的证明方式，使用引入规则和消去规则组织推导。它的形式虽严格，但读起来往往较为直观，因此在教学和逻辑分析中非常常见。许多逻辑教材都将其作为标准证明方法之一。
6.3 序列演算
序列演算以“序列”为基本单位，研究前件与后件之间的推导关系。它特别适合分析证明结构、证明转换以及逻辑规则之间的对称性。该方法在证明理论中地位突出，也常用于一致性与消去性质的研究。
6.4 归结法
归结法是一种面向自动推理的证明技术，通过将公式转化为标准形式并不断消解矛盾子句来完成证明。它在定理证明和程序分析中应用广泛。由于步骤清晰且适于机械化处理，归结法在计算逻辑中尤其重要。
6.5 一致性与完备性
一致性指系统中不存在能够同时证明某命题及其否定的情况；完备性则要求所有语义上成立的公式都能在系统内证明出来。二者是证明理论中的核心性质，直接关系到一个逻辑系统是否可靠而充分。经典结果表明，许多重要系统在这些性质上具有深刻联系。
7 模型理论
7.1 结构与模型
模型理论研究形式语言与数学结构之间的对应关系。一个结构通常由论域及其上定义的关系、函数和常元组成，当某些公式在该结构中成立时，它便构成相应理论的模型。模型理论由此把逻辑问题转化为结构性质的研究。
7.2 可满足性
可满足性是指某组公式是否存在某个模型使其同时成立。它是判断理论是否“有对象可解释”的关键问题。若一个公式集合不可满足，则意味着其中包含无法同时实现的要求。
7.3 有效性与不可满足性
有效性指的是公式在所有模型中都成立，因而不依赖特殊解释；不可满足性则表示不存在任何模型能使该公式或公式集成立。二者分别从正面与反面刻画逻辑表达式的语义地位，是模型理论和证明理论都密切关注的性质。
7.4 同构与初等等价
同构表示两个结构在形式上完全对应，差异仅在于元素命名不同。初等等价则要求两个结构满足相同的一阶逻辑句子，但不一定完全同构。两者用于比较模型的相似程度，并揭示逻辑语言的表达边界。
8 递归论与可计算性
8.1 可判定性
可判定性研究某问题是否存在一个有限步骤的算法，能够对任意输入在有限时间内给出是或否的答案。逻辑中的许多重要问题都与可判定性有关，例如某类公式是否总能机械判断。它是连接逻辑与计算机科学的核心概念之一。
8.2 可枚举性
可枚举性指某集合的元素可以被算法逐一列出，即使不一定总能在有限时间内判断某个对象是否属于该集合。逻辑与递归论中，经常通过可枚举性描述定理集合、证明集合或可计算关系的性质。它比可判定性更宽松，但仍具有重要分析价值。
8.3 图灵机与形式系统
图灵机是抽象计算模型，用来刻画“可计算”的基本概念。形式系统则通过符号、规则与证明过程描述逻辑推演。二者之间的关系表明，某些逻辑问题不仅能在数学上表述，也能被算法化处理，这为自动证明和计算理论奠定了基础。
8.4 不可判定问题
不可判定问题是指不存在通用算法能够在所有情况下给出正确答案的问题。逻辑中最著名的不可判定现象之一，是某些形式系统的有效性或可满足性问题无法完全机械解决。不可判定性揭示了逻辑和计算的边界，也说明形式化并不意味着一切问题都可自动求解。
9 形式逻辑的应用
9.1 数学基础
形式逻辑为数学公理化提供了语言和方法，使集合论、数论与代数等领域的基础结构能够被严格表述。它帮助数学家检验定义的精确性、证明的合法性以及理论之间的关系。现代数学中，许多基础性讨论都离不开逻辑工具。
9.2 计算机科学
计算机科学大量借助逻辑来刻画程序、数据与算法行为。逻辑不仅用于理论分析，也广泛进入软件工程、编译原理和人工智能系统。对计算过程进行形式化描述，能够提高可靠性并减少歧义。
9.2.1 程序验证
程序验证利用逻辑证明程序是否满足预期规范，例如在某些输入条件下是否会产生正确输出。它通过前置条件、后置条件与不变式等概念，将程序行为转化为可证明命题。该方法对于高可靠系统尤为重要。
9.2.2 数据库理论
数据库理论中的查询语言、完整性约束与关系结构，都与逻辑有深刻关联。逻辑为关系模型提供了统一的表达方式，也使查询条件能够被精确描述和优化。许多数据库查询本质上可视为逻辑公式的求值过程。
9.2.3 自动推理
自动推理研究如何让机器依照逻辑规则自动得出结论。它包括定理证明、规则匹配和知识表示等方向。随着计算能力提升，自动推理在辅助设计、知识检索和复杂系统分析中越来越重要。
9.3 语言学
形式逻辑为语言学中的句法分析、语义组合与指称问题提供了工具。它帮助研究者分析句子结构如何生成意义，以及量词、否定和范围歧义如何影响理解。逻辑化方法在形式语义学中尤为常见。
9.4 人工智能
人工智能借助逻辑表达知识、规则和推理过程，尤其在知识表示与专家系统中具有传统优势。即使在数据驱动方法盛行的背景下，逻辑仍在可解释推理、约束表达和混合智能系统中占据一席之地。其特点是结构清晰、结论可追踪。
9.5 哲学论证分析
哲学中许多争论可通过形式逻辑整理为前提、结论与推理关系。逻辑工具有助于识别论证中的跳步、偷换概念和隐藏前提。通过形式化，哲学论证的结构更加透明，也更便于比较不同立场。
10 相关争议与局限
10.1 形式化的优势
形式化能够提高表达精度，减少歧义，并使推理过程更容易检查。它还便于将复杂问题拆解为规则明确的步骤，从而支持机械化处理。正因如此，形式逻辑在理论研究和实际应用中都非常有价值。
10.2 形式逻辑的适用范围
形式逻辑适合处理结构清晰、规则明确的问题，但并非所有思维活动都能完全纳入同一套形式框架。对于情境依赖强、目标多变或标准不固定的领域，逻辑系统往往只能提供部分描述。其适用范围取决于对象是否能够被充分抽象。
10.3 与自然语言歧义的张力
自然语言中普遍存在歧义、多义、隐喻和语境省略，而形式逻辑倾向于把这些因素压缩为单一、确定的结构。二者之间因此常有张力：形式化能提高清晰度，却也可能损失语言原有的丰富层次。如何在精确与灵活之间平衡，是逻辑应用中的常见问题。
10.4 对现实推理的抽象化限制
现实中的推理常受到信息不完整、情绪、习惯和时间压力影响，并不总是严格遵守理想化规则。形式逻辑为了获得普遍性，往往对这些因素作出抽象或忽略处理。因而它更像是一种规范模型，而不是对所有实际思维的完整描写。
11 代表人物与经典著作
11.1 亚里士多德
亚里士多德通常被视为西方逻辑传统的重要奠基者。他系统研究了三段论、范畴和推理形式，使逻辑成为独立的哲学分支。其著作对后世逻辑学与哲学影响深远。
11.2 弗雷格
弗雷格是现代数理逻辑的关键开创者之一，提出了更精细的谓词逻辑表示方法。他强调逻辑语言的分析功能，对概念、函数与量词的处理极具开创性。其思想奠定了现代逻辑的很多基本范式。
11.3 罗素与怀特海
罗素与怀特海通过《数学原理》推动了数学基础的逻辑化重建。该著作试图从逻辑出发奠定数学体系，体现了逻辑主义的宏大目标。虽然这一计划并未完全实现，但其方法和成果影响极大。
11.4 哥德尔
哥德尔以不完全性定理闻名，证明了某些足够强的形式系统中存在无法在系统内证明的真命题。这个结果深刻改变了人们对公理系统能力的理解。它表明，形式化理论虽强大，但终究有内在边界。
11.5 图灵
图灵提出的计算模型为可计算性研究提供了标准框架，也间接影响了逻辑、算法与人工智能的发展。图灵机概念帮助明确了“机器能计算什么”这一根本问题。其工作使逻辑与计算之间建立了稳定联系。
11.6 经典文献与教材
形式逻辑的经典文献包括早期逻辑著作、数理逻辑奠基论文以及现代教材。不同阶段的教材侧重点各异，有的强调证明方法，有的重视语义模型，也有的兼顾可计算性与应用。它们共同构成了逻辑学习与研究的重要资源。