件形式化：使用严格条件，这个句子被表达为：为了避免严格蕴涵的悖论，一些逻辑学家建立了反事实条件。有人比如 Paul Grice，使用会话蕴涵来做争辩说，尽管看起来困难，实质蕴涵正好适合用做自然语言的 '如果...则...' 的翻译。其他人转变到相干逻辑上来提供在可证明条件的在前件和后件之间的连接。
引用.尝试找到条件的更好翻译的非经典逻辑的介绍请参见：本文涉及到一些问题所延伸的哲学讨论请参见下列二者：