亚里士多德在《前分析篇》中系统研究三段论：论证的关键不只是句子分别为真，还在于结论是否必然随前提而来。现代逻辑把这种关系称为演绎有效性：不存在一种情形，使全部前提为真而结论为假。
例如：“所有钢琴都有键盘；这件乐器有键盘；所以它是钢琴。”前两句可以都是真的，结论却可能是假的，因为这件乐器也可能是管风琴。问题不在事实不足，而在推理把“钢琴是键盘乐器”错误地倒转成“键盘乐器都是钢琴”。
有效性也不保证现实结论为真。一个论证可以形式有效，却建立在错误前提上；现代术语把“有效且前提真实”的演绎论证称为健全论证。归纳论证则通常追求概率支持，而非必然推出，不能机械套用同一标准。
我的判断是，检查论证必须分两步：先问前提是否有证据，再问结论是否由它们支持。只核对事实，会把并不相干的真话拼成假推论；只检查形式，又可能严密地从错误事实出发。
https://iep.utm.edu/val-snd/
https://plato.stanford.edu/entries/logical-consequence/
了解 Geoffrey Chen 的更多信息
订阅后即可通过电子邮件收到最新文章。