# 直陈式条件句

> 【EN】Take a sentence in the indicative mood, suitable for making a statement: “We’ll be home by ten”, “Tom cooked the dinner”. Attach a conditional clause to it, and you have a sentence which makes a conditional statement: “We’ll be home by ten if the train is on time”, “If Mary didn’t cook the dinner, Tom cooked it”. A conditional sentence “If \(A, C\)” or “\(C\) if \(A\)” thus has two contained sentences or sentence-like clauses. \(A\) is called the antecedent, \(C\) the consequent. If you understand \(A\) and \(C\), and you have mastered the conditional construction (as we all do at an early age), you understand “If \(A, C\)”. What does “if” mean? Consulting the dictionary yields “on condition that; provided that; supposing that”. These are adequate synonyms. But we want more than synonyms. … 【中】给这类直陈句加上条件从句，就得到如果火车准点，我们十点前到家这样的条件陈述。词条考察直陈条件句是否有真值条件、其真值条件是否为真值函项的：既有论证支持把如果当作实质蕴涵，也有论证反对；格赖斯以语用学为真值函项说辩护；复合条件句给 hook 与 arrow 带来难题。还讨论有效性、最近可能世界语义与特殊的可断言条件。

- ID: m13177
- 分类: structure
- 领域: 逻辑学

## 定义

直陈条件句是如果 A 则 C 或 C，如果 A 这类陈述句，A 为前件，C 为后件；理解前后件并掌握条件结构，就足以理解整句。词条关注其真值条件：它是否等同于实质蕴涵，以及相关的语义与语用争论。 脚手架作用：- 假设推演：用如果则搭建假设情境，隔离变量考察后果。 - 真假判定：区分条件句与实质蕴涵，避免前件假即判为真。 - 论证检查：确认前后件确有支撑，防止无关条件伪装因果。

## 机制

核心在条件句的概率与真值：若如果 A 则 C 的真值等于 A⊃C 的真值，断言它的合理性应等于相应真值组合的概率。拉姆齐检验显示，人们对条件句的置信度接近 P(C|A) 而非 P(A⊃C)，这为真值函项说带来压力，也解释了其特有的可断言性。

## 练习

1) 分清讨论的是直陈条件句还是反事实条件句，二者语义规则不同。2) 用条件概率检验自己的置信度，而不是用真值表。3) 处理复合条件句时，注意析取、否定与嵌套带来的反例。4) 区分不可断言与为假。

## 脚手架用法

- 假设推演：用如果则搭建假设情境，隔离变量考察后果。 - 真假判定：区分条件句与实质蕴涵，避免前件假即判为真。 - 论证检查：确认前后件确有支撑，防止无关条件伪装因果。

[阅读网页](https://thinkingmodels.site/entries/detail/m13177)