条件句与实质蕴涵

经典逻辑将“如果A则B”视为实质条件句，当A为假或B为真时，该条件句为真——但这会产生悖论，引发了大量关于“如果”真正含义的文献。

Definition

实质条件句“A → B”是一个真值函项，仅当A为真且B为假时，该函项为假；一个核心问题是，普通直陈条件句是否具有这些真值条件，抑或表达的是条件概率或可能世界依赖关系。

Scope

本主题涵盖条件句的分析以及真值函项实质条件句作为其逻辑形式的充分性。它探讨了实质蕴涵的悖论、格赖斯（Grice）对真值函项解释的语用辩护、可能世界（Stalnaker）语义学、概率（Adams）论点（即条件句的可断言性取决于条件概率），以及直陈条件句与反事实条件句之间的对比。

Core questions

• 普通的“如果-那么”句子是否具有实质条件句的真值条件？
• 我们应如何解释实质蕴涵的悖论，例如一个假的前件如何使任何条件句为真？
• 条件句的可断言性是否追踪给定前件的后件的条件概率？
• 直陈条件句与反事实（虚拟语气）条件句有何不同？

Key concepts

• 实质条件句
• 实质蕴涵的悖论
• 直陈条件句与反事实条件句
• 条件概率
• 会话蕴涵
• 可能世界选择函数

Key theories

条件句的可能世界语义学

斯塔纳克将“如果A则B”分析为当且仅当在A成立的最相似可能世界中B也成立时为真，用一个跨世界的选择函数取代了真值函项解释，从而验证了不同的推论。

概率（亚当斯）论点

亚当斯认为，直陈条件句缺乏普通的真值条件，其可接受性等于给定前件的后件的条件概率，这比实质条件句更好地解释了数据。

History

“如果”的真值函项解读可追溯到斯多葛学派，并由弗雷格（Frege）和罗素（Russell）引入现代逻辑。20世纪对由此产生的悖论的不满促使格赖斯的语用辩护（蕴涵）、斯塔纳克（Stalnaker）1968年的可能世界语义学以及亚当斯（Adams）1975年的概率解释的出现，而埃金顿（Edgington）1995年的综述则使当代争论具体化。

Debates

真值函项条件句与非真值函项条件句

实质条件句的怪异之处是否可以通过格赖斯蕴涵的语用方式解释，从而保留真值函项性，抑或表明直陈条件句具有概率或可能世界内容而非实质真值条件。

Key figures

• Robert Stalnaker
• Ernest Adams
• Dorothy Edgington
• H. Paul Grice
• Frank Ramsey

Seminal works

• stalnaker1968
• adams1975
• edgington1995

Frequently asked questions

什么是实质蕴涵的悖论？

根据真值函项解读，当一个条件句的前件为假或后件为真时，该条件句自动为真。这使得诸如“如果月亮是奶酪做的，那么2+2=4”这样的句子变为真，这与前件和后件应相互关联的普通判断相冲突。