逻辑学

逻辑(logic)

逻辑是研究「好的推理」的学问——研究一个结论该如何从你已经接受的东西中推出来。不妨把一段论证想象成一台小机器:你喂进去若干陈述(叫做前提),另一端就吐出一个结论。逻辑只问这台机器一个尖锐的问题:如果喂进去的都是真的,吐出来的是不是也必然为真?

当答案是「是」时,我们就说这段论证有效——结论是被推理的「形状」锁死的,而不是靠运气。「所有猫都会飞;小花是一只猫;所以小花会飞」就是一段完全有效的论证。哪怕第一个前提纯属胡说,推理本身却是滴水不漏的。这正是多数人会错过的关键转折:有效性关乎论证的形式,而非喂进去的内容是否为真。

所以一段论证可以有效,却仍把你引入歧途,只因为它的某个前提是假的。要真正信得过一个结论,你需要两样东西都齐备:推理站得住脚,前提也确实为真。逻辑只看守前一半——它让机器保持诚实——而后一半,则要靠证据与观察来供给。

有效但不为真:「所有猫都会飞;小花是一只猫;所以小花会飞。」形式无懈可击,前提却是假的。

有效性只关乎形式;可靠性还要求前提为真。

「逻辑」一词源自希腊语 logos,意为「言说、道理、理性」。公元前四世纪,亚里士多德率先把逻辑确立为一门正式学科;后世逻辑学家又造出「可靠(sound)」一词来指称最高标准:既形式有效、又建立在真前提之上的论证。

又称
formal logicdeductive logic形式逻辑演绎逻辑形式邏輯