12/17/2014 06:59:00 下午

羅素類型論與無限公設

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

類型論與羅素悖論

Photo Credit: delete08 via Compfight cc 羅素悖論 (Russell’s Paradox) 爆破弗列格 (Gottlob Frege) 的理論後,羅素延續弗列格的計劃,試圖發展另一套將數學還原( 化約 )成邏輯的理論,這套...
12/06/2014 12:46:00 下午

Chisholm’s Paradox

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