首页/逻辑 · 翻译
逻辑 · 从语言到推理

翻译

把话,译成不会被误解的样子
这一节要解决的
想清楚 = 先把话译准

你在「阅读」里已见过这句话——读,就是翻译。到了逻辑这里,翻译要更狠一点:把一句日常话,译成不会被第二种意思钻空子的精确语言。推理动手之前的这一步,常常就是全部的难处。

翻译,就是把"可能被误解"逐出去

上一节,你学会看出一句话的歧义。这一节再进一步:主动把它译掉。翻译有个方向——从自然语言(松、暖、能有好几种读法),译到精确语言(紧、冷、只剩唯一一种读法)。每遇一处含糊,就替它做一个决断,钉到一个意思上。

译完,这句话就不再"看你怎么理解"了:它只有一个意思,谁来读都一样。到这一步,它才配进入推理。

三件翻译的工具

把一句话译准,靠的不是玄学,是三组随手可用的工具。它们各管一处最容易出错的含糊:

量词把"多少"说死。"所有 / 每一个"是全称(∀),"存在 / 至少一个"是特称(∃)。"有人没来"绝不等于"所有人都没来"——量一含糊,争论就各说各话。
联结词把"怎么连"说死。且(∧)、或(∨,留意中文的"或"通常是可兼的)、非(¬)、如果…那么(→)。"穿外套或带伞"——两样都做也行,不是二选一。
充分与必要把"谁决定谁"说死。"只要努力就成功"是充分(努力 → 成功);"只有努力才成功"是必要(成功 → 努力)。两句意思几乎相反,却最常被译反。

否定:翻译最容易翻车的一关

"并非所有人都迟到",译过来不是"所有人都没迟到",而是"存在人没迟到"——全称的否定,落成特称(∀ 的反面是 ∃)。反过来,"并非有人迟到",才等于"所有人都没迟到"。

译错一个否定,整道反证就推反了方向——这正是矛盾律下、反证法的命脉所在。

示范把一句"显然"的话,译准

挑一句我们以为天经地义、从不细想的"道理",把它译准——看它和你以为的意思,差多远。

只有努力,才能成功。—— 一句几乎没人会细想的"道理"
译:它到底在说什么
"只有……才……"是哪种条件
必要条件:成功 → 努力(要成功,就必须努力)。它从没说"努力 → 成功"。
它常被误译成什么
读成"努力就会成功"(充分);于是有人努力了没成功,便喊"骗人"——可原话从没保证这个。一次误译,制造了一场冤枉的失望。
同一个动作 · 落到数学

把一句题干"函数 f 在区间 I 上单调递增"译准,就是:对任意 x₁, x₂ ∈ I,x₁ < x₂ ⇒ f(x₁) < f(x₂)。看清楚——读懂"只有…才",和读准这句题干,是同一个动作:把松的日常语言,译成只剩唯一解的紧语言。这就是「阅读 = 翻译」,只不过数学逼你译到一字不差

怎么练

找一句带"所有 / 有些 / 只有 / 除非 / 如果"的话,把它译成精确语言;再故意找一个钻空子的反读法,看你的译文堵没堵住它。堵住了,你才算真把这句话想到了头

为什么练这个

大量的"想不通""争不清",根子上是没译准——把充分当必要、把"有些"当"所有"。能把话译准的人,连吵架都吵在点子上。数学是练这步成本最低的地方:题干逼你译到一字不差,对错当场分晓。这副在数学里练硬的"翻译"功夫,正是「阅读 = 翻译」长出的那根逻辑骨头

← 回到逻辑