Proper Treatment 正當作法/ blog/ posts/ 兩岸關係的邏輯
標籤 Tags:
2008-11-10 13:28

台灣官員使用的邏輯好像比美國法官使用的直覺邏輯更細密一點:不但「互不否認 φ」不一定蘊涵「φ」,而且「互不否認互不否認 φ」也不一定蘊含「互不否認 φ」。直覺邏輯裡 ¬¬¬φ → ¬φ 是定理(證明是 λc.λx.c(λk.kx)),換言之「互不否認」是續繼 monad