Relevance Logic|相干邏輯:前提和結論若毫不相干,就算古典形式判定成立,也可能被這套邏輯拒絕
WHAT 這是什麼
SEP 說明 relevance logics 是為避免 material implication 與 strict implication 的若干『悖論式』結果而發展的非古典邏輯;其核心動機是讓前提與結論之間保留更實質的相關性,而不是任由假前提推出任意結論。
WHY HERE 為什麼屬於底域的世界
它提供『形式有效』之外另一個判準:推理中的內容關聯本身也能被制度化。
BLIND SPOT 補了哪一塊少看的視角
Relevance logic 有多個系統版本;它不是一句『有關才算』的自然語言直覺,而需要具體的形式規則與語義。