Paraconsistent Logic|次協調邏輯:系統裡出現矛盾,不一定要讓『任何結論都能推出』
WHAT 這是什麼
paraconsistent logics 拒絕 explosion:即使同一理論同時含有 A 與非 A,也不必因此允許任意命題 B 都被推出,讓推理能在局部矛盾存在時繼續運作。
WHY HERE 為什麼屬於底域的世界
它讓『有矛盾=整個系統報廢』不再是唯一選擇:矛盾可以被隔離,而不是像火一樣燒遍所有結論。
BLIND SPOT 補了哪一塊少看的視角
paraconsistency 不等於主張矛盾都是真的;是否接受真矛盾屬 dialetheism 等另一層立場。