直構邏輯

記得 Max 說過 intuitionistic logic 和直覺沒什麼關係，比較接近 constructive 的意思。欸，那中文譯作「直構邏輯」如何？我不知道那個「直」字該不該留下來，或是該換成什麼字…

--
馬上看得出的問題是容易聯想到「直購」XD。

---

想到可以來惡補一下 SEP: Intuitionism in the Philosophy of Mathematics XD。