9/27/2014 04:56:00 上午

使用 λ 的理由

via here 形式邏輯比日常語言少歧義,但也未至於完全沒有歧義。以古典邏輯為例,以下這個寫法可以有兩個意思 $a=a$ 在第一個意思, a 有 等同 a   這個性質;在第二個意思, a 有的性質是 等同自己 。換句話說,無論是「 a 等同自己」還是...
9/26/2014 04:33:00 下午

Frege-Geach Problem 3

Frege-Geach Problem  常被視為針對道德表達論(moral expressivism)的難題,但可能因為在道德方面的立場不堅定,我對道德表達論會怎樣回應這個難題沒有太大興趣。真正勾起我興趣的是美感方面的表達論。我一直認為美感判斷,例如「這幅畫很漂亮」、「這首詩十...
9/09/2014 06:44:00 上午

[Graham Priest] An Introduction to Non-Classical Logic

via Amazon Graham Priest 是當代頗有名氣的哲學家兼邏輯學家,他最有名的地方在於主張雙面真理論( Dialetheism )和推廣超一致邏輯( paraconsistent logic )。雙面真理論是哲學理論,這套理論背後相應的邏輯系統是超一致邏輯...
技術提供:Blogger.