Classical Logic｜古典邏輯：『有效推理』被拆成形式語言、演繹系統與語義三個可獨立檢查的層次
WHAT 這是什麼
SEP 將典型古典邏輯描述為由形式或非形式語言，加上演繹系統與／或模型論語義構成；形式語言規定語法，演繹系統記錄哪些論證有效，語義則給出公式的意義或真值條件。
WHY HERE 為什麼屬於底域的世界
它提供一個理解『邏輯不是一串規則，而是一整套表示—推導—解釋架構』的基準節點。
BLIND SPOT 補了哪一塊少看的視角
Classical logic 是一大族形式系統的核心基準，不等於所有合理推理；許多非古典邏輯正是修改其部分原則而生。
