Frege-Geach Problem

Photo Credit: carnagenyc via Compfight cc 有些人認為道德語詞,如道德上的「對」、「錯」,都只是用來表達說話者的態度。例如「錯」不過是說話者用來表達他的反感、厭惡、反對、譴責,而「對」則是用來表達讚許、支持、同意、推薦。如...

〈關於無知〉

PTT 西哲板有一篇文章標題是「 [歐陸] 關於無知 」,主動談哥德爾不完備定理與說謊者悖論的關係,我看了之後如鯁在喉,除了因為裡面對許多對悖論的描述都在踩界邊緣,它形容不完備定理與悖論的關係更是誤導。

條件句與邏輯蘊涵

古典邏輯的質料條件句(→)和邏輯蘊涵(語意後果,⊨)關係非常密切,以致有不少人將條件句和邏輯蘊涵當成同一回事,但兩者其實有很大分別。 首先,在古典邏輯,「 p 邏輯蘊涵 q 」的意思是 (1a). 對於所有詮釋 $\mathfrak{I}$,如果 $\mathfrak...

沒有邏輯真理的邏輯系統

形式邏輯的「邏輯真理」(logical truth)是指在所有 詮釋(interpretation) 底下皆為真的語句。 兩點補充。一,有些系統設定詮釋的方式比較特別,即使是 open formula 也可以有真假,而且可以在所有詮釋底下都是真的。二,有些多值系統將的「邏輯真理...

阿基里斯與龜續集

雖然自小就知道《愛麗絲夢遊仙境》是世界名著,但幾年前才發現作者 Lewis Carroll 是邏輯學家,更料不到他竟曾在分析哲學最頂尖的期刊 Mind 刊登過一篇只有三頁的短故事,寫阿基里斯和烏龜的對話,內容「極之箋鬼」。 《岸和田博士科學的愛情》,卷3,頁47 ...
技術提供:Blogger.