1 基本概念
1.1 定义
真值条件是指一个命题、语句或表达式在何种情形下为真、在何种情形下为假所必须满足的条件。它关注的不是语言形式本身的外观，而是该表达在给定世界状态、对象配置或解释之下的真假结果。简言之，真值条件回答的是“在什么情况下这句话算真”。
1.2 真与假的判定标准
在形式语义中，真与假的判定通常依赖于预先设定的解释系统。对一个语句而言，如果满足其所要求的世界状态、对象关系或取值条件，则该语句为真；反之则为假。对于某些表达式，真假还会受语境、说话时刻、指示对象等因素影响，因此判定标准并非总是固定不变，而是与语义解释方式密切相关。
1.3 真值条件与命题意义
真值条件常被视为刻画命题意义的重要工具。按照这一思路，一个命题的意义可以通过它在各种可能情形下的真值表现来说明，即理解某个命题，至少部分上意味着知道它在什么条件下成立。由此，真值条件不仅描述真假，还承担了意义分析的功能。
1.4 真值条件与语句
在自然语言中，语句是承载真值条件的主要单位。不同语句即使在表面结构上相似，也可能具有不同的真值条件；同一语句在不同语境下也可能对应不同的真假判定方式。真值条件研究因此常以语句为对象，同时也会延伸到短语、词项和复杂表达式。
2 历史与理论背景
2.1 古典逻辑中的起源
真值条件的思想可追溯到古典逻辑对命题真假的分析。早期逻辑关注命题之间的关系及其推理有效性，并逐步形成以真与假为基础的演算方式。虽然当时未必使用“真值条件”这一术语，但其核心问题已涉及：某个命题在何种情况下成立，何种情况下不成立。
2.2 语义学中的发展
随着现代语言学与哲学的发展，语义研究开始更加系统地处理语言与世界之间的对应关系。真值条件逐渐成为分析句子意义的重要框架，尤其在区分句法结构、语义内容与使用语境方面发挥了基础作用。该路径使语义学从单纯的词义说明，扩展到对复杂表达整体意义的刻画。
2.3 真值条件语义学
真值条件语义学是一种以句子在模型或可能世界中的真假条件为核心的语义理论。它试图把语言表达的意义转化为可计算、可比较的条件集合，从而为逻辑分析和自然语言研究提供统一框架。
2.3.1 主要思想
这一理论的基本想法是：理解一个表达式，就是掌握其在不同情形下为真的条件。句子的意义不再仅由词典式定义决定，而是由它在各种世界状态中的真值分布来说明。这样一来，复杂句子的意义也可以通过较小成分的组合方式获得。
2.3.2 代表性研究路径
相关研究通常沿两条路径展开：一是将自然语言句子形式化为逻辑表达式，再通过模型来计算其真值条件；二是直接分析语言使用中的语义组合规律，以说明不同句法结构如何影响真假判定。两者都强调可组合性，即整体意义由部分意义与组合规则共同决定。
2.4 与分析哲学的关系
真值条件与分析哲学关系密切。分析哲学重视语言澄清、命题结构与逻辑形式，而真值条件恰好提供了把意义问题转化为逻辑分析问题的工具。许多关于意义、指称、理解与推理的讨论，都借助这一概念展开。
3 形式化表达
3.1 真值表
真值表是一种用来系统列举逻辑联结词在不同真值输入下输出结果的表格工具。它能直观展示复合命题的真值条件，常用于验证推理形式是否有效。通过真值表，可以清楚看到各类联结词在不同组合中的真假变化。
3.2 满足关系
满足关系用于说明某个对象、赋值或世界是否满足某个公式。它是模型论和形式语义学中的关键概念，通常记作某一结构“满足”某个表达式。借助满足关系，真值条件可以从直觉性的语义判断转化为严格的数学描述。
3.3 解释函数
解释函数负责把语言符号映射到模型中的对象、关系或属性。它规定常项、谓词、函数符号以及其他表达成分在特定解释下的含义。通过解释函数，表达式的真值条件得以在形式系统中被精确地计算和比较。
3.4 模型论视角
从模型论看，真值条件不是孤立地存在于句子内部，而是依赖于模型结构、赋值方式与解释规则。一个表达式是否为真，取决于它在某一模型中是否被满足。此视角强调，语义分析必须同时考虑形式、结构和解释环境。
4 逻辑联结词中的真值条件
4.1 否定
否定的真值条件较为直接：当命题不真时，其否定为真；当命题为真时，其否定为假。它在逻辑中用于表达排除、反转或拒绝原命题内容，是构造复杂判断的基础成分之一。
4.2 合取
合取表示“并且”的关系。一个合取命题只有在其两个或多个组成部分都为真时才为真，只要其中一部分为假，整个合取就为假。由此，合取的真值条件体现了严格的共同成立要求。
4.3 析取
析取通常表示“或者”的关系。在经典逻辑中，只要参与析取的至少一个命题为真，整个析取便为真；仅当所有分支都为假时，析取才为假。不同语言环境下，“或者”有时还可能带有排他性，这会影响其语义分析。
4.4 蕴含
4.4.1 物质蕴含
物质蕴含是经典逻辑中的一种标准条件式分析，通常表示“如果前件真，则后件真”的真值关系。按照这一处理，只有当前件为真且后件为假时，整个蕴含才为假；其余情况都为真。由于这一特性，它在直觉上常与自然语言中的条件句存在差异。
4.4.2 条件句的真值条件争议
自然语言中的条件句并不总是能够简单地归入物质蕴含。学界长期讨论“如果……那么……”到底是单纯的真假连接，还是还包含因果、相关性、语境限制或预设背景等成分。相关争议推动了对条件句更细致的语义分析，也促使研究者区分逻辑形式与日常表达之间的差别。
4.5 等值
等值表示两个命题在真值上完全一致：要么都真，要么都假。若某表达式与另一表达式互为等值，则它们在所有相关情形中的真假表现相同。等值关系因此常用于证明命题可互相替换而不改变真值。
5 量词与真值条件
5.1 全称量词
全称量词用于表示“所有”“每一个”之类的断言。一个带全称量词的句子为真，要求其论域中的每个相关对象都满足后续谓词所述属性。若存在一个反例，整句通常就不成立。
5.2 存在量词
存在量词表示“至少有一个”。其真值条件较为宽松，只要论域中存在某个对象满足相应条件，整个命题就为真。它常与全称量词对照使用，用以表达对象的存在性断言。
5.3 限定域与量化范围
量词的真值条件高度依赖其限定域与量化范围。不同的域设定会直接改变“所有”或“存在”的对象集合，从而影响真假判断。自然语言中，限定域往往由语境、修饰语或背景知识隐含给出，因此同一句话在不同场合可有不同解释。
5.4 自然语言中的量词表达
自然语言中的量词表达比形式逻辑更灵活，也更容易受语境影响。诸如“每个学生”“大多数人”“有些时候”等表达，并不总能直接对应单一的逻辑量词，而往往需要结合上下文来判断其确切范围与语义强度。
6 真值条件与自然语言
6.1 句子意义分析
在自然语言研究中，真值条件常用于分析句子的基本意义。研究者通常先考察句子在什么情况下成立，再反推出其所表达的信息结构。这样做的优势在于可将复杂语言现象分解为可处理的语义组件。
6.2 语境依赖表达
许多自然语言表达都依赖语境才能确定真值条件。例如时间、地点、说话者身份、比较基准等因素，都会改变句子的真假判定。语境依赖说明，语言意义并不总是完全固定，而是与使用场景共同构成。
6.3 索引词与指示词
索引词和指示词指向说话情境中的特定要素，如“我”“这里”“现在”“这本书”等。它们的真值条件不能脱离具体语境单独确定，因为其所指对象会随说话人、时间和地点而变化。正因如此，这类词项在语义分析中具有代表性。
6.4 省略、歧义与多义
省略、歧义与多义都会增加真值条件分析的复杂度。省略会使部分语义成分不显性呈现；歧义意味着同一形式可能对应多个不同真值条件；多义则表明同一词项在不同用法中拥有不同语义内容。处理这些现象时，通常需要结合句法结构和语境信息。
7 相关理论与争议
7.1 真值条件语义学的优点
真值条件语义学的突出优点在于形式清晰、可操作性强，并且便于与逻辑系统衔接。它能够有效说明语句间的组合关系，适合处理推理、蕴含和语义等价问题。同时，该理论也为计算化处理语言提供了坚实基础。
7.2 真值条件分析的局限
真值条件分析并非无所不包。某些表达的意义并不能仅靠真假条件充分说明，例如语气、态度、风格、礼貌和互动意图等因素，往往超出单纯的真假框架。此外，日常语言中的模糊性和语境弹性，也会使严格的真值划分显得不足。
7.3 非真值条件语义研究
非真值条件语义研究关注那些难以直接还原为真假判断的意义成分。它可能考察说话者态度、会话含义、话语功能或信息结构等方面。此类研究并非否定真值条件的重要性，而是试图补充其无法完全覆盖的语义层面。
7.4 语用学与真值条件的边界
语义与语用在真值条件问题上往往相互交织。一般而言，语义侧重表达本身的条件，而语用侧重使用环境中的推断与意图。许多表达的最终理解既包含真值条件，也包含语用推导，因此两者边界并不总是截然分明。
8 应用领域
8.1 数学逻辑
在数学逻辑中，真值条件是定义有效推理、证明系统和模型满足关系的基础。它用于说明公式在何种结构下成立，也用于建立定理、反例和形式系统之间的联系。没有真值条件，许多逻辑结果都难以精确定义。
8.2 计算语言学
计算语言学利用真值条件来表示句子意义，并将其转化为可处理的逻辑形式。这样可以帮助系统进行句法-语义映射、语义解析和信息抽取。对于需要精确判断陈述内容的任务，真值条件尤为重要。
8.3 自然语言处理
在自然语言处理中，真值条件常服务于语义理解、问答系统和文本推断等任务。系统若能判断一句话在给定背景下是否成立，就更容易识别矛盾、蕴含或同义关系。尽管实际应用中常需结合统计方法，但真值条件仍提供了重要的理论参照。
8.4 人工智能中的语义表示
人工智能中的语义表示常借鉴真值条件思想，将自然语言或知识表示为可计算的逻辑结构。这样做有助于机器进行规则推理、事实核验与知识组合。随着方法发展，真值条件也常与概率表示、向量表示等技术并行使用。
9 典型例子
9.1 简单命题的真值条件
例如“天是蓝的”这一命题，其真值条件可表述为：在当前讨论的世界或时空背景中，天空具有蓝色属性时为真，否则为假。此类例子直观展示了陈述与世界状态之间的对应关系。
9.2 复合命题的真值条件
例如“今天下雨并且风很大”是一个合取命题。它只有在“今天下雨”和“风很大”两个分句都成立时才为真；若其中任一分句不成立，则整个命题为假。复合命题的意义因此可由其组成部分共同决定。
9.3 含量词句子的真值条件
例如“所有学生都参加了会议”要求论域中的每个学生都参加会议。若存在某位学生未参加，则该句为假。若改为“有学生参加了会议”，则只需至少一名学生满足条件即可为真。
9.4 日常语言中的示例
日常表达如“如果你来，我就去”通常不只是简单的真假连接，还可能含有承诺、期待或互动意图。其真值条件分析可给出基本的条件结构，但要完整理解句子，还需考虑说话背景和交际目的。
10 相关概念辨析
10.1 真值与可满足性
真值是指某个命题在特定解释或世界中的真假状态；可满足性则指某个公式是否存在至少一种解释使其为真。前者着眼于单一情形下的真假，后者强调在某种结构中“能够为真”的可能性。
10.2 真值条件与充要条件
真值条件描述的是一个表达为真所需满足的情形，而充要条件是更一般的逻辑关系术语，表示某条件既是必要的也是充分的。真值条件分析可借用充要条件的形式，但二者并不完全等同：前者更偏语义，后者更偏逻辑关系说明。
10.3 真值条件与推理规则
真值条件关注命题在何种情况下为真，推理规则则关注从哪些前提可以合法推出哪些结论。两者关系密切，因为有效推理通常要求真值在前提与结论之间得到保留。不过，推理规则属于形式系统层面，而真值条件属于语义层面。
10.4 真值条件与指称
指称是表达式所指向的对象，真值条件则是整个表达式成立的条件。某些语言单位只有在确定其指称后，才能进一步判断其真值条件。换言之，指称更多处理“指向什么”，真值条件更多处理“在什么情况下为真”。
11 学术评价与影响
11.1 在现代逻辑中的地位
在现代逻辑中，真值条件是最基础也最常用的语义概念之一。它支撑了命题逻辑、谓词逻辑及相关系统的解释框架，使逻辑不只是符号演算，更成为关于意义与成立条件的理论。
11.2 在语言哲学中的影响
在语言哲学中，真值条件深刻影响了关于意义、理解和交流的讨论。它帮助学者把“知道一句话意味着什么”解释为“知道它何时为真”，从而推动了语义分析的形式化进程。与此同时，也促使人们反思仅凭真假是否足以说明全部语言意义。
11.3 在语义研究中的延伸
真值条件研究不断向更复杂的语言现象扩展，包括时态、情态、量化、焦点、预设与语境敏感表达等。许多新的语义理论都在不同程度上保留了真值条件的核心思想，只是在处理细节时引入了更多层次的表示方法。
11.4 当代研究趋势
当代研究倾向于将真值条件方法与计算模型、概率语义、认知机制和语境建模结合起来。研究重心不再只是“句子是否为真”，而是进一步追问真值条件如何在真实语言使用中生成、调整与被理解。这样的发展使该概念在传统逻辑之外仍保持持续活力。