羅素類型論與無限公設

Photo Credit: gadl via Compfight cc 羅素和弗列格同為數學的邏輯主義者 (logicist) ,認為數學可以全盤化約成邏輯。二人的方法頗有相通之處,但羅素的理論包括類型論 (type theory) ,透過為集合劃分類型(層級)...

Chisholm’s Paradox

Image Credit: NASA 「可能世界」(possible world)是哲學家為捕捉日常的模態概念而引入的術語。舉例來說,「中英聯合聲明有可能依然有效」,用可能世界這個術語來表達,便是「有一個可能世界,裡面中英聯合聲明有效」。「可能世界」要捕捉的概念便是日常所...
技術提供:Blogger.