逻辑：前提、结论与有效推导

逻辑研究的是：接受某些前提以后，什么结论能够由这些前提成立地推出。

例如：

所有人都会死亡。
苏格拉底是人。
所以苏格拉底会死亡。

这里的重点不只是三个句子分别说了什么，而是前两个判断与结论之间存在怎样的关系。

逻辑的核心对象不是孤立观点，而是前提、结论以及它们之间的后承关系。

本文集中解释推导关系、有效性与健全性，以及逻辑能做和不能做的事。若问题是“不确定证据提供多强支持”，可接着读逻辑与概率；概率的解释与更新机制另见概率与贝叶斯。

因此，逻辑会追问：前提是什么？结论是什么？是否存在前提都为真而结论为假的情况？哪一步只是猜测，哪一步确实受到推导规则约束？

“逻辑”这个名称来自哪里？

英文 logic 经拉丁语 logica 追溯到古希腊语 logos。Logos 的意义范围包括言说、说明、理由、比例、秩序和理性。但现代逻辑不能被简单等同于“理性”“规律”或“宇宙秩序”。

现代汉语“逻辑”主要是 logic 的音译。近代中国还使用过“名学”“辨学”“论理学”和“理则学”等译名。严复选择“名学”翻译相关著作，后来“逻辑”逐渐成为通行术语。不同译名分别突出了名称与实在、论辩、论理和推理规则等侧面。《逻辑学研究》：政治、知识和学术——严复翻译 Logic 的三重维度

中国先秦名辩、古印度因明和古希腊逻辑形成了不同的推理传统。现代形式逻辑主要沿着古希腊逻辑、近代数学和分析哲学的发展路径建立，但不能因此把一切文化中的论辩和推理都说成同一个历史体系。

日常所说的“逻辑”有多种含义

日常表达中的“逻辑”可能指：

• 一段话是否有条理；
• 一个人解决问题的思路；
• 某种制度的运行机制；
• 一套利益结构；
• 事情发展的规律；
• 一个论证是否成立。

“平台的商业逻辑是增加用户停留时间”，这里的逻辑接近运行机制和激励结构。“他说话没有逻辑”，可能是说表达混乱、前后矛盾或缺少依据。

这些用法有实际意义，但不等同于逻辑学的全部内容。分析时需要先说明，当前讨论的是推导有效性、解释机制，还是一般条理。

逻辑处理什么基本单位？

传统教材常用“概念—判断—推理”的层次：

概念提供思考对象
→ 判断对对象有所断定
→ 推理由已有判断产生新判断

“产品”本身只是一个概念，不能直接判断真假。“这个软件是产品”构成命题，才可以讨论真假。

现代逻辑通常进一步区分：

• 形式语言中的符号和公式；
• 能够为真或为假的命题；
• 作为出发点的前提；
• 作为推导目标的结论；
• 许可推导步骤的规则；
• 解释公式如何获得真值的模型或语义。

一个逻辑系统通常包含某种语言，并配有演绎系统、模型论语义或两者。逻辑学还会研究语法上的可推导性与语义上的有效性怎样对应。Stanford Encyclopedia of Philosophy: Classical Logic

真与有效不是一回事

看下面的论证：

所有鱼都会飞。
鲤鱼是鱼。
所以鲤鱼会飞。

第一个前提是假的，结论也是假的，但推理形式仍然有效：

所有 A 都是 B。
C 是 A。
所以 C 是 B。

逻辑有效性保证的是：

如果前提都为真，结论就不可能为假。

它不保证现实中的前提确实为真。因此必须区分：

一个论证要提供可靠知识，既需要推导有效，也需要前提真实或得到充分支持。

逻辑后承是什么？

当结论 C 是前提集合 P 的逻辑后承时，可以粗略理解为：不存在一种相关解释，使 P 中所有前提为真而 C 为假。

P ⊨ C

这个定义表达了逻辑后承的保真性。但“哪些解释算相关”“什么只依赖逻辑形式”“逻辑常项是什么”等问题，仍然构成逻辑哲学中的争论。Stanford Encyclopedia of Philosophy: Logical Consequence

逻辑后承也不同于心理上的确信。一个人可以非常相信一个无效结论，也可能不愿接受一个确实由其前提推出的结论。

演绎、归纳和溯因

现实中的推理不只有演绎。

演绎推理

演绎研究结论是否受到前提的必然约束：

所有注册用户都有用户编号。
小王是注册用户。
所以小王有用户编号。

如果形式有效且前提为真，结论就不能为假。

归纳推理

归纳从有限观察推广出更一般的结论：

多轮调查中，大部分目标用户都关注价格。
所以目标用户总体可能较为关注价格。

结论受到证据支持，却没有被前提必然蕴涵。新的样本可能改变支持程度。

溯因推理

溯因从观察结果出发，寻找当前最好的解释：

用户在付款页大量退出。
错误日志集中于一个支付渠道。
支付故障暂时是最好的解释。

溯因提出候选解释，不能自动证明原因。还需要比较替代解释，并通过新数据、干预或实验检验。

广义推理研究会讨论三者，但不能把归纳和溯因伪装成必然演绎。

形式逻辑与非形式逻辑

形式逻辑把部分表达转换成明确符号，研究结构在不同内容替换下是否仍然成立。它擅长暴露量词、否定、条件句和关系结构中的错误。

非形式逻辑研究自然语言中的真实论证。它还要处理：

• 省略的前提；
• 语境和含混；
• 来源可信度；
• 类比的相关性；
• 举证责任；
• 修辞对判断的影响；
• 对手论证是否被公平重述。

形式化能够提高精确性，却可能舍弃语境。自然语言保留语境，却容易隐藏歧义。二者解决不同层次的问题。

逻辑与事实、概率、因果的区别

逻辑关系

逻辑关系讨论：

如果这些前提成立，这个结论是否必须或可以成立？

事实关系

事实关系讨论：

现实中究竟发生了什么？

概率关系

概率关系讨论：

在现有信息和模型下，各种可能结果得到多大支持？

因果关系

因果关系讨论：

改变什么因素，会使结果随之发生变化？

例如：

如果下雨，地面通常会湿。
现在地面湿了。
所以刚才下过雨。

这个结论没有被前提演绎保证。洒水车、漏水和人工清洗都可能使地面变湿。地面湿可以提高“下过雨”的概率，也可以成为寻找原因的线索，却不能单独证明下雨。

所以：

可推导 ≠ 现实为真
统计相关 ≠ 因果成立
高概率 ≠ 逻辑必然
解释得通 ≠ 已经得到证明

条件句为什么容易产生错误？

假设：

如果系统断电，那么服务器停止运行。

从“系统断电”推出“服务器停止”，是肯定前件。

从“服务器没有停止”推出“系统没有断电”，是否定后件。

但从“服务器停止”推出“系统断电”，是肯定后件，通常无效，因为服务器还可能因为故障、维护或网络问题停止。

从“系统没有断电”推出“服务器没有停止”，是否定前件，也通常无效。

许多因果误判和诊断错误，正是把充分条件、必要条件和相关线索混为一谈。

矛盾、一致与真理

逻辑能够检查一组命题是否相互一致。若一个系统同时接受 P 和 非 P，在经典逻辑中可能产生严重后果。

但“一致”不等于“真实”。一套虚构世界设定可以高度一致，却不描述现实。多个错误信念也可能彼此兼容。

同样，“没有发现矛盾”也不等于论证完整。前提可能遗漏关键信息，概念可能模糊，证据也可能不足。

逻辑提供最低限度的结构约束，事实检验、概率判断和因果研究仍然不可替代。

逻辑是不是正确思考的全部？

不是。

一个人可以使用有效形式，却从错误前提出发；也可以拥有真实信息，却忽略价值冲突、风险分布和行动成本。

完整思考还需要：

• 概念澄清；
• 事实观察；
• 来源评价；
• 概率更新；
• 因果分析；
• 价值判断；
• 目标选择；
• 决策和行动反馈。

逻辑主要约束从已有判断走向其他判断的过程。它不能独自决定应该选择哪些前提、追求什么目标或承担什么风险。

逻辑是描述性的，还是规范性的？

现实中的人经常违反逻辑。如果逻辑只是记录人实际上怎样想，它就很难解释为什么某些推理应该被纠正。

因此，逻辑通常具有规范性：当一个推理者接受某些前提时，逻辑说明他还应当接受哪些结论，或者不能同时坚持哪些判断。

但逻辑规范的来源仍有争议。它可能被理解为：

• 世界最一般结构的反映；
• 语言意义和真值条件的结果；
• 理性信念应保持一致的规范；
• 形式系统内部的规则；
• 不同推理实践所建立的多种后承关系。

是否只有一种逻辑？

现代逻辑包含经典逻辑和多种非经典逻辑，例如：

• 模态逻辑研究必然与可能；
• 时态逻辑研究时间结构；
• 道义逻辑研究允许、义务和禁止；
• 直觉主义逻辑强调构造性证明；
• 多值与模糊逻辑处理不同真值结构；
• 次协调逻辑研究如何在局部矛盾下避免任意结论。

这不意味着推理规则可以随意挑选。选择逻辑系统需要说明表达对象、语义解释和推理目的，并检验系统是否完成它声称完成的工作。

逻辑的实际价值

逻辑迫使一个论证公开自己的结构：

1. 结论究竟是什么；
2. 前提有哪些；
3. 哪些前提来自事实，哪些来自定义或价值；
4. 哪一步是真正的推导；
5. 是否存在反例；
6. 结论有没有超出前提；
7. 不确定性是否被伪装成必然性。

它把“听起来有道理”转化为能够被他人检查的前提和推导关系。

结论

逻辑不是事实数据库，也不是发现原因的机器。它研究判断之间怎样连接，尤其研究前提对结论形成什么约束。

逻辑能够保证有效推导保持真，却不能替我们保证前提为真，也不能单独决定什么值得追求。

清楚的概念、可靠的事实、适当的概率模型、可检验的因果解释和明确的价值判断，需要与逻辑共同工作。