邏輯學
邏輯(logic)
邏輯是研究「好的推理」的學問——研究一個結論該如何從你已經接受的東西中推出來。不妨把一段論證想像成一台小機器:你餵進去若干陳述(叫做前提),另一端就吐出一個結論。邏輯只問這台機器一個尖銳的問題:如果餵進去的都是真的,吐出來的是不是也必然為真?
當答案是「是」時,我們就說這段論證有效——結論是被推理的「形狀」鎖死的,而不是靠運氣。「所有貓都會飛;小花是一隻貓;所以小花會飛」就是一段完全有效的論證。哪怕第一個前提純屬胡說,推理本身卻是滴水不漏的。這正是多數人會錯過的關鍵轉折:有效性關乎論證的形式,而非餵進去的內容是否為真。
所以一段論證可以有效,卻仍把你引入歧途,只因為它的某個前提是假的。要真正信得過一個結論,你需要兩樣東西都齊備:推理站得住腳,前提也確實為真。邏輯只看守前一半——它讓機器保持誠實——而後一半,則要靠證據與觀察來供給。
有效但不為真:「所有貓都會飛;小花是一隻貓;所以小花會飛。」形式無懈可擊,前提卻是假的。
有效性只關乎形式;可靠性還要求前提為真。
「邏輯」一詞源自希臘語 logos,意為「言說、道理、理性」。公元前四世紀,亞里斯多德率先把邏輯確立為一門正式學科;後世邏輯學家又造出「可靠(sound)」一詞來指稱最高標準:既形式有效、又建立在真前提之上的論證。
又稱
另見