Category: logic
摘要：同一性、直示性定義與原質（Identity, Ostension and Hypostasis）
於 Willard Van Orman Quine, From a Logic Point of View (2nd. Edition)
Read More →摘要：論何物存在（On What There Is）
於 Willard Van Orman Quine, From a Logic Point of View (2nd. Edition…
Read More →摘要：語言學中的意義問題（The Problem of Meaning in Linguistics）
Frege 等人告訴我們，指涉和意義不能混淆，指出意義應該被當成理念的表達。然而，理念，這個語言的心理上的對應物，語言學家的共識是最好不要觸碰。語言學的語義學策略，是詞典學家的作法，主要關注語言形式間的同義關係。 Quine…
Read More →摘要：經驗主義兩教條（Two Dogmas of Empiricism）
於 Willard Van Orman Quine, From a Logic Point of View (2nd. Edition) Quine 指出，現代經驗主義有兩個教條： 分析（analytic）與綜合（synthetic…
Read More →1. 命題邏輯
Dirk van Dalen, Logic and Structure, 4th. 1.1 命題與連接詞 〔定義 1.1.1 字母〕 命題邏輯由以下字母構成： 命題符號（proposition symbols）：、、 ……， 連接詞（connectives…
Read More →2. 述詞邏輯
Dirk van Dalen, Logic and Structure, 4th. 2.1 量詞（quantifiers） ：全稱量詞。 ：存在量詞。 2.2 結構 〔定義 2.2.…
Read More →3. 完備性與其他應用
Dirk van Dalen, Logic and Structure, 4th. 3.1 完備性定理 兩個重要工具： 〔引理 3.1.1（模型存在引理）〕 若 是一個一致語句集，則 有一個模型。 〔引理 3.1.…
Read More →