Intuitionistic Logic｜直覺主義邏輯：一個命題要算成立，不只問它不能為假，還要求能構造出證明
WHAT 這是什麼
SEP 說明 intuitionistic logic 由 Brouwer 的直覺主義數學抽象而來，並成為 constructive mathematics 的邏輯基礎；其命題與謂詞系統是相應古典系統的真子系統，不接受所有古典推理原則。
WHY HERE 為什麼屬於底域的世界
它把『真』與『可構造的證明』拉近，能連到數學基礎、計算與古典／建構式推理差異。
BLIND SPOT 補了哪一塊少看的視角
直覺主義邏輯不是單純『拒絕理性』；它是一套嚴格形式系統，且不同建構主義傳統仍有細節差異。
