查看“︁严格条件”︁的源代码

在[[逻辑]]中，'''严格条件'''是遵照来自[[模态逻辑]]的必然性算子行事的[[实质条件]]。对于任何两个命题 <math>p</math> 和 <math>q</math>，公式 <math>p \rightarrow q</math> 说 <math>p</math> 实质上蕴涵 <math>q</math>，而 <math>\Box (p \rightarrow q)</math> 说 <math>p</math> 严格蕴涵 <math>q</math>。严格条件是 [[Clarence Irving Lewis]] 尝试为充分的表达[[直陈条件]]而找出的条件。比如这种条件一般的要避免[[实质蕴涵]]悖论。比如下列陈述，没有被实质蕴涵正确的形式化。

: 如果 Bill Gates 是医科毕业生，则 Elvis 就不会死。

这个条件明显是假的：Bill Gates 的受教育程度和 Elvis 是否健在没有任何关系。但是，在[[经典逻辑]]中使用实质蕴涵的这个公式的直接的编码为：

: Bill Gates 是医科毕业生 <math>\rightarrow</math> Elvis 不会死。

这个公式是真的，因为公式 <math>A \rightarrow B</math> 只要前件 <math>A</math> 为假就是真的。所以，这个公式不是原始句子的完全的翻译。严格条件是在模态逻辑中尝试不同编码的蕴涵编码：

: <math>\Box</math>（Bill Gates 是医科毕业生 <math>\rightarrow</math> Elvis 不会死）

在模态逻辑中，这个公式（粗略的）意味着，“在 Bill Gates 是医科毕业生的所有可能的世界中，Elvis 都不会死”。因为你可以轻易的设想 Bill Gates 是医科毕业生而 Elvis 死了的一个世界，在其中这个公式是假的。所以，这个公式好像是原始句子的正确翻译。

尽管严格条件比实质条件更加接近于能够表达自然语言的条件，它也有自己的问题。下列句子不能正确的使用严格条件形式化：

: 如果 Bill Gates 是医科毕业生，则 2 + 2 = 4。

使用严格条件，这个句子被表达为：

: <math>\Box</math>（Bill Gates 是医科毕业生 <math>\rightarrow</math> 2 + 2 = 4）在模态逻辑中，这个公式意味着，“在 Bill Gates 是医科毕业生的所有可能世界中，2 + 2 = 4 都是成立”。因为在所有的可能世界中 2 + 2 都等于 4，这个公式是真的。但这很明显的不是“2 + 2 = 4 ，如果 Bill Gates 是医科毕业生，相应的严格实质陈述是真”的情况。

为了避免严格蕴涵的悖论，一些逻辑学家建立了[[反事实条件]]。有人比如 [[Paul Grice]]，使用[[会话蕴涵]]来做争辩说，尽管看起来困难，实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到[[相干逻辑]]上来提供在可证明条件的在[[前件]]和[[后件]]之间的连接。

==引用==

尝试找到条件的更好翻译的非经典逻辑的介绍请参见：
*''An Introduction to Non-Classical Logics'', by Graham Priest, 2001, Cambridge

本文涉及到一些问题所延伸的哲学讨论请参见下列二者：
* ''Logical Forms'', by [[Mark Sainsbury]]，2001, Blackwell Publishers
* ''A Philosophical Guide to Conditionals'', by [[Jonathan Bennett]]，2003, Oxford

== 參見 ==
* [[反事实条件]]
* [[直陈条件]]
* [[蕴涵]]
* [[实质条件]]

== 參考資料 ==
{{邏輯}}
{{哲學邏輯}}

[[Category:模态逻辑]]
[[Category:形式逻辑系统]]
[[Category:哲学逻辑]]
[[Category:必然性]]