三段论例子：怎样判断论证有效还是无效

看三段论（syllogism）例子时，只要盯紧“所有”（all）、“没有”（no）、“有些”（some）这几个词，就会容易很多。有效的论证，只要前提为真，结论就一定为真；无效的论证则给结论留下了出错的余地。下面的例子会告诉你，这种余地通常出在哪里。

三段论怎样才算有效？

直言三段论（categorical syllogism）由两个直言前提加一个结论构成，属于演绎论证。它恰好用到三个词项，每个词项各在两个命题里出现。

有效性看的是论证的结构，而不是这些说法在现实中碰巧对不对。只需问一个问题：有没有可能前提都真、结论却假？如果有，这个三段论就无效。

看下面这个论证：

> 所有图书馆员都是受过训练的研究者。 > 有些受过训练的研究者喜欢解谜。 > 所以，有些图书馆员喜欢解谜。

这个论证无效。喜欢解谜的那位研究者，完全可能不是图书馆员。两个前提讲的都是研究者的情况，但并没有要求同一个人同时满足这两条。

把常见命题“翻译”成类别关系

把每个命题都当作对类别关系的断言来读，别只看它听起来顺不顺。

本文采用现代布尔逻辑的约定：“所有”和“没有”开头的命题，并不意味着相应类别里真有东西。传统的亚里士多德逻辑有时会让全称命题带上存在含义（existential import），所以做题前先确认题目用的是哪套约定。

“有些”之所以关键，是因为它断定了“存在”。相比之下，“所有”和“没有”只划定边界，并不能证明某个类别里真有东西。

> 所有龙都会喷火。 > 没有龙是昆虫。 > 所以，有些会喷火的东西不是昆虫。

这个论证无效。世界上可能根本没有龙。这种情况下两个前提都成立，但结论里断定“存在”的那部分却没有依据。

有效的三段论例子

例 1：存在 + 排除

> 没有研究者是马虎的记录员。 > 有些志愿者是研究者。 > 所以，有些志愿者不是马虎的记录员。

这个论证有效。第二个前提保证了至少有一位志愿者是研究者。既然研究者都不可能是马虎的记录员，这位志愿者自然也不是。

结构如下：

> 没有 B 是 C。 > 有些 A 是 B。 > 所以，有些 A 不是 C。

结论之所以成立，是因为它盯住了一个确实存在的成员，再用类别规则一路推下去。

例 2：顺着类别链往下推

> 所有诗人都是细心的读者。 > 有些老师是诗人。 > 所以，有些老师是细心的读者。

这个论证有效。至少有一位老师是诗人，而每位诗人都是细心的读者。结论老老实实停在“有些老师”上，并没有说所有老师都是细心的读者。

例 3：有效的全称否定结论

> 所有建筑师都是设计师。 > 没有设计师是会计师。 > 所以，没有建筑师是会计师。

就算世上一个建筑师也没有，这个论证依然有效。任何人只要是建筑师，就一定是设计师，而设计师都不可能是会计师。全称结论可以单凭类别规则推出，不需要真的存在某个成员。

无效的三段论例子，以及错在哪里

例 4：把“所有”倒过来用

> 所有飞行员都是受过训练的领航员。 > 有些受过训练的领航员是教育工作者。 > 所以，有些教育工作者是飞行员。

无效。“所有飞行员都是受过训练的领航员”只是把飞行员放进了“受过训练的领航员”这个类别，并没有说每个受过训练的领航员都是飞行员。

某位教育工作者完全可以是受过训练、却从没当过飞行员的领航员。只要存在这种可能，前提照样成立，结论却被推翻了。

例 5：把“有些”偷换成“所有”

> 有些小说是悬疑小说。 > 所有悬疑小说都有情节。 > 所以，所有小说都有情节。

无效。这两个前提只能推出范围更小的结论：有些小说有情节。至于不是悬疑小说的那些小说，前提什么也没说。

如果结论里的量词比证据撑得起的更强，就要警惕。从“有些”跳到“所有”，几乎总得再补一个前提。

例 6：把两个“有些”硬拼在一起

> 有些艺术家是跑者。 > 有些跑者是音乐家。 > 所以，有些艺术家是音乐家。

无效。第一个前提说的可能是这位跑者，第二个前提说的可能是另一位。艺术家和音乐家都和“跑者”沾边，并不代表这两类人必然有交集。

在较长的论证里，这是很常见的陷阱。中间类别必须落到同一个已经确定存在的人或事物上，你才能借它把某个属性传过去。

例 7：从全称前提里凭空推出“存在”

> 所有建筑师都是设计师。 > 没有建筑师是会计师。 > 所以，有些设计师不是会计师。

无效。如果根本没有建筑师，这两个前提也可以同时为真。既然前提没有确定哪怕一位建筑师存在，结论也就无法断定有任何设计师存在。

快速检验三段论的方法

做三段论练习或限时推理题时，可以按下面的步骤来。

1. 标出量词。把每个命题标成“所有”“没有”“有些”或“有些……不是”。

1. 判断结论类型。以“有些”开头的存在性结论，需要一个“见证者”；以“所有”或“没有”开头的全称结论则不同，需要类别规则覆盖每一个可能的成员。

1. 需要见证者时，就盯住它。以“有些”开头的命题会给你一个确实存在的成员。把所有涉及这个成员的全称规则都用在它身上，中途别悄悄换成另一个。

1. 全称结论要检查类别路径。问自己：起始类别里任何一个可能的成员，是不是都被强制归入结论类别，或者被排除在外？

1. 试着找反例。设法让前提为真、结论为假。只要成功找到一个反例，就证明论证无效。

例如：

> 所有分析师都注重细节。 > 有些注重细节的人没耐心。 > 所以，有些分析师没耐心。

设想一位分析师注重细节、也很有耐心；再设想另一个注重细节的人没耐心。这样两个前提都成立，却没有哪位分析师没耐心。所以这个论证无效。

论证如果是用日常语言写的，而不是规整的类别命题，这个找反例的习惯一样管用。结论要是把条件倒过来，或者默认了一个没有依据的交集，往往就犯了这篇逻辑谬误及例子里讲到的毛病。

三道三段论小练习

每道题先自己判断，再看解析。

练习 1

> 所有陪审员都是公民。 > 有些公民骑自行车。 > 所以，有些陪审员骑自行车。

无效。骑自行车的那位可能是公民，却不是陪审员。陪审员和骑车的人同属“公民”这个类别，并不意味着两者必然重叠。

练习 2

> 没有冰川是热带的。 > 有些山脉含有冰川。 > 所以，有些山脉不是热带的。

这不是直言三段论，作为论证也无效。“山脉含有冰川”是关系命题，而不是把山脉归入冰川类别的直言命题。所以这个论证从冰川的属性一下跳到了山脉的属性，中间却没有任何规则把两者连起来。

改成下面这样，就是有效的直言三段论：

> 没有冰川是热带的。 > 有些冰体是冰川。 > 所以，有些冰体不是热带的。

那个确实存在的冰体是冰川，而冰川都不是热带的。

练习 3

> 有些候选人是编辑。 > 所有编辑都是文字严谨的写作者。 > 所以，有些候选人是文字严谨的写作者。

有效。至少有一位候选人是编辑。每位编辑都是文字严谨的写作者，所以这位候选人也是。

在备考题里，这些规整的形式常常藏在较长的段落中。同样的量词纪律，也能帮你在 LSAT 逻辑推理各类题型里找出结论、假设和漏洞。

常见问题

判断三段论无效，最简单的方法是什么？

看结论是不是说得比前提多。常见的危险信号有：把“所有”倒过来用、把“有些”换成“所有”、默认两个“有些”命题说的是同一个对象，以及从全称命题推出“存在”。

前提是假的，三段论还能有效吗？

能。有效性问的是：假如前提为真，结论是否必然成立。只有结构有效、前提也为真，三段论才算可靠（sound）。

“所有 A 都是 B”等于“所有 B 都是 A”吗？

不等于。“所有玫瑰都是花”并不意味着所有花都是玫瑰。除非另有前提明确给出反方向的关系，否则“所有”命题只能当作单向规则来用。

为什么“有些”在三段论里这么重要？

“有些”提供了某个类别里确实存在的成员。没有这种存在断言，即使相关类别是空的，全称命题也可能为真。

记住这条判断规则

先看结论的量词。结论是“有些”，就在前提里追踪一个确切存在的成员；结论是“所有”或“没有”，就检查类别规则能否覆盖每一个可能的成员——哪怕这个类别是空的。