[Graham Priest] Logic: A Very Short Introduction

牛津大學出版社的 A Very Short Introduction 系列,邏輯主題找了 Graham Priest 寫。 該書在 2001 出版 ,內容約有一百來頁,是本極好的邏輯導論書,適合初學者讀,學過基礎邏輯更是適合。 邏輯這領域所涉極廣,古典邏輯 (classi...

矛盾蘊涵一切

Photo Credit: macwagen via Compfight cc 學邏輯想必都聽過一句話:矛盾蘊涵一切。這句話的意思是,矛盾的述句蘊涵任何述句。以 p, q 為任意兩個述句,其形式是 p∧¬p ⊨ q 由於矛盾句 p∧¬p 不可能為真,...

論域非空的邏輯

Photo Credit: Xalikot via Compfight cc 古典邏輯一直有許多備受爭議的設定。如果說條件句是古典語句邏輯的大戰場,那麼,論域非空的設定便是古典述詞邏輯的大戰場。 述詞邏輯和語句邏輯最大的差異,在於述詞邏輯多了量化詞。古典述詞邏輯...
技術提供:Blogger.