22、逻辑N3与N3f：特性、挑战与选择

逻辑N3与N3f：特性、挑战与选择

1. 逻辑N3的条件特性

逻辑N3在条件关系方面呈现出一些独特的特性。与⊃AND结合后，虽然能带来我们期望的一些对置关系，但也付出了沉重的代价，即肯定前件式（modus ponens）和否定后件式（modus tollens）不再成立。

在面对对置关系失效的情况时，我们或许应该接受这一现实，并仔细寻找反例。R. Stalnaker和D. Lewis发展的条件逻辑中，对置关系同样失效，但否定后件式成立。他们认为自然语言条件句的对置关系是无效的。

Stalnaker给出的反例是：“如果美国停止轰炸，那么北越不会同意谈判”。一个认为北越决心要求美国军队完全撤离的人会相信这个陈述为真，但会否认其逆否命题“如果北越同意谈判，那么美国不会停止轰炸”。添加“即使”一词后，这个例子更容易理解：“即使美国停止轰炸，北越也不会同意谈判”。

Lewis的例子是：“如果鲍里斯去了派对，奥尔加仍然会去”，其逆否命题“如果奥尔加没去，鲍里斯仍然不会去”是无效的。假设鲍里斯想去但为了避开奥尔加而没去，结论为假；而如果鲍里斯在那里，奥尔加会更愿意去，前提为真。

然而，这些例子中的条件句是否为正常条件句存在疑问。“即使……那么……”条件句可能需要与简单的“如果……那么……”条件句不同的分析。Stalnaker后期认为“即使”对条件句只有语用效果。

如果这些条件句确实表明自然语言中对置关系无效，那么N3的支持者有理由感到欣慰，因为这些例子也使否定后件式无效，而N3本身就不支持对置关系和否定后件式。

但Lewis - Stalnaker例子中对置关系失效的原因与N3中由BHK子句解释的原因并不完全匹配。