1 历史与发展
1.1 经典二值逻辑的局限
经典二值逻辑将命题严格划分为“真”与“假”两类，这一框架在许多日常推理中十分有效，但在处理不完整信息、语义不清或自指句时，常会显得过于刚性。比如某些陈述在证据不足时既不能被稳妥地判真，也难以直接判假，传统二值划分难以给出平滑的表达方式。
此外，在分析“未来事件是否为真”这类尚未确定的命题时，二值逻辑往往需要借助额外的语义解释。对于含混词项、部分定义函数以及存在空指称的语句，经典体系也可能出现表达力不足的问题。三值逻辑正是在这些局限之上逐渐发展起来的。
1.2 三值逻辑的提出背景
三值逻辑的形成，与对“真值是否必须只有两种”的反思密切相关。早期研究者注意到，某些命题并不适合被立即归入真或假，而是更像处于一个“未定”状态。将第三种取值引入逻辑系统，能够更细致地描述这类情形。
其背景既包括哲学层面的真值讨论，也包括形式逻辑中的悖论研究。特别是在涉及未来语句、空名词、语义循环和信息缺失时，三值框架提供了一种可操作的形式化工具，使逻辑分析不必被迫在真假之间作出过早裁决。
1.3 主要发展阶段
三值逻辑并非由单一理论一蹴而就地形成，而是在不同学科问题的推动下逐步成熟。它的发展大致经历了从哲学直觉到形式化定义，再到多种系统并存的过程。
1.3.1 早期哲学与数理逻辑研究
在早期哲学讨论中，关于未来偶然命题、悖论句与未决判断的思考，为第三真值的概念提供了思想土壤。后来，数理逻辑开始强调真值函数与推理规则的精确定义，使“第三种状态”得以进入严格的形式系统。
这一阶段的研究重点，通常不在于建立统一理论，而在于证明：如果承认真值不止两种，许多传统推理难题可以获得新的表达方式。由此，三值逻辑逐渐从哲学设想转化为可研究的逻辑模型。
1.3.2 现代非经典逻辑体系的形成
随着非经典逻辑的发展，三值逻辑开始出现多种不同版本。不同系统对第三真值的理解并不一致，有的将其视为“未知”，有的视为“未定”，也有的更强调“既真且假”的容忍性。由此形成了多条并行发展的研究路线。
现代形式逻辑中，三值逻辑常与数据库理论、程序语义和人工智能推理结合使用。其理论重心也从单纯的真值扩展，转向联结词定义、可满足性、完备性以及与经典逻辑的关系比较。
1.4 代表性学者与贡献
三值逻辑的研究涉及多位逻辑学者，其中一些人对具体系统的建构影响尤为显著。Łukasiewicz较早提出了多值逻辑思想，并为三值体系提供了经典框架之一。Kleene则在递归函数与形式语义研究中，对“未知”信息的传播方式作出了重要刻画。
Priest等学者则从悖论处理的角度推动了相关发展，强调在某些情形下可接受“既真且假”的语义结构。除此之外，还有不少研究者在数据库、计算机科学与语言哲学中进一步扩展了三值逻辑的应用范围。
2 基本概念
2.1 真值的三种取值
三值逻辑的核心特征，是命题不再只对应两个真值，而是对应三种不同状态。第三种状态的具体名称和含义，取决于所采用的逻辑系统及其语义解释。
2.1.1 真
“真”表示命题在给定解释下成立，与经典逻辑中的真值概念基本一致。在多数三值系统中，真仍然是肯定性判断的最高层级，常作为某些推理的接受标准。
2.1.2 假
“假”表示命题在当前解释下不成立，通常对应否定性判断。与经典逻辑类似，假值常用于触发否定、排除或反例推导。
2.1.3 第三真值的含义
第三真值并无统一解释。最常见的理解包括“未定”“未知”“无意义”“既真且假”或“介于真与假之间”。在数据库语境中，它可能表示缺失信息；在悖论逻辑中，它则可能表示一种同时承认真与假的状态。
不同含义会直接影响联结词的定义方式。例如，“未知”通常强调信息不足，而“既真且假”则强调语义冲突。虽然都被称为三值逻辑，但它们在推理行为上可能差异明显。
2.2 命题与语句
在三值逻辑中，命题或语句仍是讨论对象，但其语义评估不再是简单的二分结果。一个语句可以在某个解释下被赋予第三种真值，从而反映出信息不完全或语义不稳定的状态。
这使得逻辑分析更贴近实际语言环境。例如，某些含有空指称、未完成定义或条件不足的语句，在三值框架下可以被形式地标记为“尚未确定”，而不是被迫归入真或假。
2.3 真值函数与联结词
三值逻辑通常通过真值函数来定义联结词，如否定、合取、析取与蕴含。由于真值种类增加，联结词的结果不再唯一继承经典逻辑的行为，而需要专门制定真值表。
例如，否定第三值后得到什么，合取中若一项为未知则结果如何，都会因系统而异。有些体系倾向于保守传播不确定性，有些则尽量保留可判定部分。联结词定义的不同，是三值系统分化的重要来源。
2.4 解释模型与语义
三值逻辑的语义通常依赖于解释模型，即给命题赋值的规则集合。模型不仅决定原子命题的真值，也决定复合命题如何通过联结词计算出整体真值。
在某些体系中，语义解释与“可接受值”或“指定值”的概念相关，即并非所有非假的命题都同样适合用作推理前提。这样一来，三值逻辑不仅提供真值分类，还给出了对有效推理的筛选机制。
3 常见三值逻辑系统
3.1 Łukasiewicz三值逻辑
Łukasiewicz三值逻辑是较早成型且影响广泛的三值系统之一。它通常将第三真值解释为介于真与假之间的中间值，并以形式化方式规定各联结词的取值规则。
3.1.1 真值表
在这一系统中，否定、合取、析取与蕴含均有明确的三值真值表。其基本特点是允许中间值参与运算，且运算结果往往保留较强的对称性。蕴含的定义尤其受到关注，因为它直接关系到推理是否符合直觉。
3.1.2 基本公理
Łukasiewicz三值逻辑可以通过一组公理和推理规则加以刻画。其公理体系通常强调条件句、否定与可导出性之间的关系，并努力保持某种形式的一致性与可演绎性。由于系统设计较为完整，它常被用作研究多值逻辑的标准案例。
3.2 Kleene三值逻辑
Kleene三值逻辑主要处理“未知”信息的传播问题。与某些更强调中间状态的系统不同，它更关心在信息不足时，复杂命题应如何继承不确定性。
3.2.1 强Kleene逻辑
强Kleene逻辑的特点在于：当复合命题的部分组成未定时，结果往往也趋向未定。它是一种较为保守的设计，适合表达“只有在足够信息下才能得出结论”的场景。
这种逻辑在数据库和程序分析中十分常见，因为它可以较自然地处理空值、缺失值以及部分定义运算。其推理倾向于避免过早下结论。
3.2.2 弱Kleene逻辑
弱Kleene逻辑比强Kleene更严格，往往对不确定性的传播更加敏感。一旦表达式中某个部分缺失或未定，整体结果可能立即失去确定性。这种保守性使它更适合一些对语义完整性要求较高的形式化分析。
不过，正因为这种严格，弱Kleene逻辑在实际应用中不如强Kleene常见。它更多用于展示不同不确定性处理方式之间的理论差别。
3.3 Priest的矛盾容忍逻辑
Priest提出的相关体系通常被视为悖论逻辑的一种，允许某些命题同时具有真与假的性质。与“未知”取向不同，这类逻辑强调的是对矛盾的容忍，而非对无知的标记。
在这类系统里，第三真值往往表示“既真且假”。它能够帮助分析自指悖论或某些语义循环结构，避免经典逻辑中由矛盾推出任意命题的爆炸性后果。
3.4 其他相关变体
除了上述系统外，还存在多种三值逻辑变体。有些强调“未定义”，有些强调“部分真”，也有些将第三值用于模拟未来命题的暂时悬置状态。不同变体往往在联结词、指定值集合和推理保守性上各有侧重。
这些系统共同说明，三值逻辑不是单一理论，而是一个覆盖多种语义设计的家族。其差异性恰恰体现了多值逻辑的灵活性。
4 语义与形式系统
4.1 真值表语义
真值表语义是三值逻辑最直观的定义方式之一。通过列出各联结词在三种输入下的输出，可以直接计算复合命题的真值。此方法结构清晰，适合教学与基础分析。
不过，真值表虽然直观，却不自动保证与某种直觉语义完全一致。因此，不同三值系统即使都采用真值表，也可能因为对第三真值的理解不同而产生不同结论。
4.2 公理化系统
部分三值逻辑可被公理化，即通过一组公理和推理规则来刻画全部可证明式。公理化方法的优点在于便于研究演绎性质，如可证性、独立性与完备性。
与经典逻辑相比，三值系统中的公理通常需要重新设计，以适配第三真值的行为。某些经典恒真式在这里不再完全成立，因此公理体系必须反映其特定语义结构。
4.3 推理规则
三值逻辑的推理规则一般仍围绕合取、析取、蕴含和否定展开，但规则的适用条件与结论强度往往有所调整。其目标是在保证形式一致的前提下，避免将未定信息误判为已知真值。
4.3.1 合取与析取规则
合取规则通常要求所有分量都达到可接受标准，整体才能被视为可接受。析取规则则相对宽松，只要有一部分满足条件，复合命题就可能成立。不同系统对于第三值的处理会影响这些规则的保守程度。
4.3.2 蕴含规则
蕴含在三值逻辑中最具差异性。某些系统仍保留“前件假则全式真”的倾向，而另一些系统会因为前件或后件的未定性而弱化这一传统特征。蕴含的设计直接决定了系统是否接近经典逻辑。
4.3.3 否定规则
否定规则体现第三值的核心区别之一。对“未定”或“矛盾”进行否定后，结果究竟回到同一状态、转为另一状态，还是保持中间值，取决于具体体系。否定的定义常常反映该逻辑对不确定性的基本态度。
4.4 可靠性与完备性
可靠性与完备性是评价形式系统的重要标准。可靠性表示可证明的式子在语义上应当有效；完备性则表示语义上有效的式子都可在系统中证明。三值逻辑中，这两项性质仍然重要，但证明方法往往比经典逻辑更复杂。
由于指定值与第三值的存在，完备性的定义有时需要按“可接受真值”的范围来调整。不同系统是否具备相同意义下的完备性，也常是研究关注的焦点。
5 逻辑性质
5.1 排中律与矛盾律的变化
在三值逻辑中，排中律与矛盾律不一定像经典逻辑那样无条件成立。若命题可处于未定状态，则“P或非P”不再总是得到指定真值；若允许既真且假，则“非(P且非P)”也可能失去经典效力。
这并不意味着这些原则完全被否定，而是它们的适用范围被重新限定。三值逻辑通过调整这些基本律，展示了不同于经典系统的推理边界。
5.2 双重否定
双重否定在三值逻辑中的表现取决于系统设计。在某些体系里，双重否定依然近似等价于原命题；在另一些体系中，由于第三值的介入，这种等价会变得不完全成立。
因此，双重否定不再只是形式上的简化工具，而是检验逻辑是否保持经典特征的重要指标。它的有效程度，常反映该系统离经典逻辑有多远。
5.3 传递性与可替换性
经典逻辑中的等值替换和某些传递性原则，在三值逻辑里可能需要额外条件。若两个表达式在第三值下不完全区分，则替换是否保持真值，取决于所选联结词与语义定义。
这使得三值逻辑的推理更强调“在何种语境下可替换”而非无条件替换。形式上看，规则仍然可以成立，但它们往往有更细的适用前提。
5.4 可满足性与有效性
可满足性讨论某个公式是否存在赋值使其达到指定真值，而有效性则讨论它是否在所有赋值下都成立。三值逻辑里，这两个概念的判断标准比经典逻辑更复杂，因为“成立”本身可能有多种层次。
在某些系统中，一个公式可能并非总真，却仍可在许多情形下被视为可接受。这种分层式判断为逻辑分析提供了比二值系统更细致的刻度。
5.5 经典逻辑中的定理在三值逻辑中的表现
经典逻辑中的许多定理在三值逻辑中仍然成立，但并非全部保留。某些恒等式、推理模式或归纳规则会因为第三真值的存在而失效或需修改。
因此，三值逻辑常被看作对经典逻辑的扩展而非简单替代。它保留了部分经典成果，同时也揭示了传统推理在不完整信息条件下的局限。
6 应用领域
6.1 计算机科学
三值逻辑在计算机科学中应用广泛，尤其适合处理“未知”“空值”和“不完全定义”的场景。它为程序分析、数据管理和形式验证提供了更贴近实际的数据语义。
6.1.1 数据库中的空值处理
数据库理论中常见的空值，往往并不表示“假”，而是表示缺失或未知。三值逻辑能够将这种状态纳入查询语义，使条件判断、筛选和连接操作更符合实际需求。
在复杂查询中，若某字段值不可得，三值逻辑可避免将其直接当作否定，从而减少语义误差。这也是它在关系数据库理论中具有代表性的原因之一。
6.1.2 程序语义与类型系统
在程序语义中，某些表达式可能因为未初始化、运行时异常或部分定义而处于未定状态。三值逻辑可用于描述这种计算过程中的中间语义，帮助分析程序是否安全、可终止或可预测。
在类型系统和静态分析中，它也可用于表示“未知是否满足条件”的判定，从而提高对复杂程序行为的刻画能力。
6.2 人工智能
人工智能中的知识表示常面临不完整、冲突或模糊的信息。三值逻辑为机器推理提供了一种比二值判断更灵活的方案，尤其适合处理证据不足或规则间存在张力的情境。
6.2.1 不确定知识表示
在知识库中，某一事实可能尚未确认、来源不明或仅部分可信。三值逻辑允许将其标记为未定，而不是强行归入真或假。这样既能保留信息，又能防止推理链条过早封闭。
6.2.2 规则推理
规则系统中，如果前提并不完全确定，三值逻辑可以帮助系统维持谨慎推断。它常用于构建“条件满足到什么程度才触发结论”的机制，使推理结果更符合现实中的渐进式认知过程。
6.3 哲学与语言学
三值逻辑也常被用于讨论语言意义、指称失败与真值悬置问题。在哲学与语言学中，它提供了一种分析“语句为何既不像真也不像假”的工具。
6.3.1 含糊语义
自然语言中不少词语边界并不清晰，例如某些程度副词、分类词和模糊谓词。三值逻辑可用于表达“尚不足以判定”的语义状态，从而避免对模糊边界作武断切分。
6.3.2 真假与不定性的讨论
关于真假与不定性的讨论，常涉及未来事件、未完成判断以及语义悬而未决的句子。三值逻辑为这类问题提供了形式框架，使哲学上的“暂不判定”有了精确表达。
7 与其他逻辑体系的关系
7.1 与二值逻辑的比较
三值逻辑可视为对二值逻辑的扩展。它保留了经典逻辑的许多结构，但不再坚持所有命题必须立即落入真或假。这种差异带来了更强的表达能力，也增加了系统设计的复杂度。
二值逻辑强调确定性，而三值逻辑更强调对不确定性的显式处理。因此，两者在适用场景上各有优势。
7.2 与四值逻辑的比较
四值逻辑通常进一步细分真假与未知状态，例如区分“既真且假”“既非真亦非假”等情形。与之相比，三值逻辑结构更简洁，但表达粒度较粗。
三值逻辑与四值逻辑在研究目标上有交叉，都试图超越简单二分法；差别在于，三值方案更注重简约，而四值方案更强调区分细节。
7.3 与模态逻辑的联系
三值逻辑与模态逻辑并不相同，但在处理“必然”“可能”或“未决”时存在某些思想上的相通之处。两者都试图拓展经典命题逻辑的表达边界。
不过，模态逻辑主要通过模态算子刻画可能世界关系，而三值逻辑直接修改真值层次。因此，二者更多是相邻的研究工具，而非彼此替代。
7.4 与多值逻辑家族的关系
三值逻辑属于多值逻辑的一部分。多值逻辑家族还包括四值逻辑、n值逻辑以及连续取值逻辑等。三值逻辑因结构相对简单，常被用作理解多值思想的入门模型。
它在历史上也具有代表性：许多关于真值扩展、联结词重定义和非经典推理的基本问题，往往可以先在三值框架中得到清晰展示。
8 争议与讨论
8.1 “第三真值”的解释差异
“第三真值”是三值逻辑中最具分歧的部分。不同学者可能把它理解为未知、未定、无意义或矛盾共存，这些解释并不完全等价。
这种差异会直接影响系统的逻辑行为。也正因为如此，讨论三值逻辑时，首先需要明确第三值究竟代表什么，否则容易在同一名称下混淆不同理论。
8.2 逻辑直觉与形式化选择
三值逻辑是否符合直觉，常取决于研究者对“逻辑应当做什么”的理解。有人强调它应忠实反映自然语言和不完全知识，也有人更关注形式上的简洁与可证明性。
因此，三值逻辑的选择不只是技术问题，也涉及对逻辑目标的不同理解。某些系统更贴近工程应用，另一些则更贴近哲学分析。
8.3 适用范围与局限性
三值逻辑适合处理特定类型的问题，但并非所有推理场景都需要它。对于结构明确、信息完整的数学证明，经典逻辑通常更简洁高效。
同时，三值逻辑的一个局限在于：不同系统之间差异较大，缺乏单一统一标准。使用者必须先确定语义与规则，否则“采用三值逻辑”这一说法并不足以说明具体推理方式。
9 相关概念
9.1 非经典逻辑
非经典逻辑是指偏离经典二值逻辑某些核心原则的逻辑体系，三值逻辑是其中的重要分支。
9.2 多值逻辑
多值逻辑指真值不止两种的逻辑系统，三值逻辑是最常见的入门例子之一。
9.3 模糊逻辑
模糊逻辑侧重真值的连续程度，与三值逻辑都涉及真值扩展，但方法和语义目标不同。
9.4 悖论逻辑
悖论逻辑关注在存在矛盾时如何保持推理非爆炸，Priest相关三值体系与之关系密切。