Tag: philosophy

基礎因果模型

參考了 Pearl(2009)和 Hitchcock(201…
Read More →

立基形式的資訊有多少?

一些懷疑論者主張立基(Grounding)是無法理解的、不融貫的形上學概念(Daly 與 Hofwe­ber),Kathrin Koslicki 將他們稱作古典的(old-school)的懷疑論者。而更當代的懷疑論者(Bliss、Dasgupta、Koslicki、Maurin…
Read More →

摘要:同一性、直示性定義與原質(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 →