爆炸原理
外觀
爆炸原理(principle of explosion, "from falsehood, anything (follows)"),是經典邏輯中實質條件陳述從矛盾中可以得出任何事物的規則。用更加形式化的術語,從形如 P ∧ ¬P 的命題可以推導出任何任意的 Q (ex contradictione quodlibet (ECQ))[1]。 「爆炸」指稱接受一個單一的矛盾到一個系統中會導致整體定理的「爆炸」。
除了矛盾平常的一目了然的不真實性之外,這是對在形式系統中不允許 P ∧ ¬P 為真的主要邏輯論證: 在其中任何任意的公式都是定理的系統是瑣碎的。所以爆炸原理證明了無矛盾律的正當性。
證明
[編輯]爆炸基於析取就是對應於英語的「或」的邏輯算子的一些基本形式性質。考慮下列證明:
步驟 | 命題 | 推論 |
---|---|---|
1 | 假定 | |
2 | 假定 | |
3 | 析取介入 (1) | |
4 | 選言三段論 (3,2) |
以說謊者悖論例子:
(1) 這個語句為真 ∧ ¬這個語句為真 | 假定 |
(2) 這個語句為真 | 通過 (1) 和合取除去 |
(3) 這個語句為真 ∨ 豬會飛 | 通過 (2) 和析取介入 |
(4) ¬這個語句為真 | 通過 (1) 和合取除去 |
(5) 豬會飛 | 通過 (3)、(4) 和選言三段論 |
次協調邏輯拒絕上述推理,通常聲稱要麼析取介入要麼選言三段論是無效的。一個特定的次協調邏輯雙面真理,為了接受 P ∧ ¬P 的特定實例而拒絕這種論證。
參見
[編輯]![]() | 這是一篇與邏輯學相關的小作品。您可以透過編輯或修訂擴充其內容。 |
來源
[編輯]- ^ Paraconsistent Logic < Stanford Encyclopedia of Philosophy>. [2020-11-13]. (原始內容存檔於2019-08-11).