我不是邏輯學家，但在柏克萊加州大學讀博士時，哲學系有logic requirement，要取得博士學位一定要過這一關；我花了一段時間苦讀和做練習，並通過數理邏輯學家Charles Chihara的親自考核。經此訓練，我總算有能力教授大學的邏輯入門課，今個學期教的其中一課就是符號邏...