1. 前提的语境决定了讨论范围

　　当我们在日常生活中说“所有猫是哺乳动物”时，这句话并不是在谈论全宇宙的所有事物，而是在一个默认的、相关的范围内——即“生物”或“动物”范畴。听话者会自动理解，我们关心的是猫和哺乳动物这类生物之间的关系，而不会想到石头、汽车、数字等无关事物。因此，在这个语境下，“非猫”自然指的是生物中不是猫的那些东西，比如狗、牛、鸟等。

　　2. 推理中悄然发生了“范围偷换”

　　教科书上的换质位推理却将原句从“生物范畴”转移到了“全宇宙范畴”。它把原句理解为“在全宇宙中，所有猫都是哺乳动物”，然后推出“在全宇宙中，所有非哺乳动物都是非猫”。这样一来，结论中的“非猫”就包括了全宇宙中所有不是猫的事物——石头、光线、思想……但这些东西在原句的语境中根本不存在!

　　这就好比有人说：“所有学生都在教室里”(意思是这个学校的学生都在听课)，而你却推出“所有不在教室里的东西都不是学生”，然后列举火星上的石头、月亮上的尘土来“证明”这个推论。虽然这些事物确实不是学生，但它们与原句要表达的“学生是否认真听课”毫无关系——因为原句的讨论范围压根没涉及火星。

　　3. 错误的关键：结论中的“非猫”比前提隐含的“非猫”范围大

　　前提中隐含的“非猫”只包括生物中的非猫(如狗、牛)，而结论中的“非猫”却包括了所有非猫事物(如石头)。后者比前者多出了生物之外的全部东西。这就犯了逻辑学中典型的外延扩大错误——在推理过程中，同一个概念的外延被悄悄放大了。

　　有人可能会辩解：“前提中并没有明确限定范围呀!” 但自然语言的特点就是语境自动提供范围。如果无视语境，任何句子都可以被曲解。比如“我吃了饭”如果放在全宇宙范围，难道还要讨论石头吃没吃饭吗?显然荒谬。

　　4. 教科书为何犯错?

　　教科书为了追求推理的“形式正确”，强行把自然语言句子塞进一个无差别的全总论域，然后进行形式推演，最后又把结论套回原句。它忘了告诉学生：这一步已经改变了原句的含义。原句是在特定范围内讨论，而形式推理却用了另一个范围。这就好比把地图上的一个点解读为整个地球，然后说“这个点就是全世界”——这是对原意的扭曲。

　　5. 正确的换质位应该怎样做?

　　如果非要进行换质位推理，就必须保持讨论范围不变。即在“生物”范围内，从“所有猫是哺乳动物”推出“所有生物中的非哺乳动物是生物中的非猫”。这个结论是对的，而且不会引入石头等无关事物。但教科书通常省略了“生物中的”这个限定，直接给出全宇宙的版本，从而造成了误导。

　　为什么这个论证不可反驳?

　　它尊重自然语言的语境性：任何有意义的日常交流都依赖语境，无视语境就是曲解原意。

　　它指出了逻辑学教学中的常见盲点：形式逻辑在处理自然语言时，往往忽略了语境隐含的范围，导致结论看似正确实则离题。

　　它用类比揭示荒谬：用“学生与教室”的类比，让任何人一看就明白，火星上的石头与课堂听课毫无关系，从而证明推理的有效性必须建立在同一讨论范围内。

　　它提出了建设性修正：不是否定换质位推理本身，而是强调推理必须在原语境范围内进行，这样才能保证结论与前提的相关性。