檢視東大圖書《弗雷格》筆記的原始碼

{{Nav|程式語言、邏輯學}}

{{isbn|9571918199}}

這是講述弗雷格哲學的簡介，弗雷格是語言哲學之父，奠基現代邏輯學，也是分析哲學的鼻祖。作者王路是漢語圈研究弗雷格的哲學家，來自中國。

==第一章：生平簡介==
略

==第二章：概念文字==
古代已經有符號化表示命題的方式（亞里斯多德），萊布尼茲也提出一個邏輯化的語言來表示人類思維的方法。弗雷格使用的概念文字，是一種結合數學文字和自然語言，卻又揚棄自然語言表達邏輯的不完美。可以說是形式邏輯的奠基者。

書中並未介紹其理念的表現形式（排版過於困難，可以參考：[[Translations from the Philosopical Writing of Gottlob Frege 筆記-概念文字 第一章]]），雖然從形式可以看出，作者想要表達的是現在的一階邏輯（謂詞邏輯），但作者提出9條一階邏輯的公理，組成帶等號符=的一階邏輯系統：

公理
# a ->(b->a)
# (c->(b->a))->((c->b)->(c->a))
# (d->(b->a)) -> (b->(d->a))
# (b->a)->(a->b)
# ¬¬a -> a
# a->¬¬a
#(a=d)->(f(c)->f(d))
#c=c
#∀xF(x)->F(a)

推導規則
#A->B,    A⊢B
#A->F(a) )(  ⊢A->∀xF(x) 僅當a不於結論中出現。（註：「)(」不知道是什麼符號）

弗雷格證明這是soundness，但是沒有證明他的completeness，後來由Godel證明完成。

弗雷格認為句子和概念內容是區別的，比如「我被他打」和「他打我」形式不同，表達意思相同，只是給讀者的心理作用不同。所以形式邏輯是一種「去心理主義」的推論方式。

弗雷格的系統引進謂詞「……是事實」，就是「⊢」（可以視為判斷符號）。「A」是句子 sentence，「--A」是內容，「|---A」是判斷。

亞里斯多德：概念->判斷->邏輯。弗雷格先引入判斷，直接進入對推理的研究。

「命題邏輯」->「一階邏輯」->現代邏輯系統

將判斷核心化，實際上把句子核心地位化，對哲學產生深刻影響。

引入函數和變數（自變元）的概念，從數學而來。

亞里斯多德：單稱命題（如：蘇格拉底是人）、普遍命題（分成全稱命題和特稱命題）

其中單稱命題在邏輯上的推論缺陷，在概念文字得到解決。

二元關係（可以視為二元謂詞，離散數學應該會提到），「|----R(x, y)」放在現在數學，可以表示為：「x R y」。

傳統邏輯「主詞+繫辭+謂詞」被打破，個體c和自變元一起引入邏輯。

邏輯以前用自然語言表達，和心理學和認識論綁在一起，影響發展。後來發展形式邏輯，邏輯快速發展
*數理邏輯
** 證明論
** 公理集合論
** 遞迴論
** 模型論
*哲學邏輯
**模態邏輯
**時態邏輯
**道義邏輯
**認知邏輯
**命令句邏輯
**問句邏輯
等等

因為使用形式語言和數學方法，所以促使邏輯從哲學獨立，現今邏輯學應用於哲學、工程學、語言學等等。

==第三章：算數基礎==

弗雷格的心願是從邏輯推衍到數學（雖然因為羅素悖論被打敗了），就是所謂的邏輯主義（關於這種數學推演的派別，可以見「同構：編程中的數學」的最後一章「悖論」）。系列著作：

# 概念文字
# 算數基礎
# 算數的基本規律 vol.1,2（未完成）

算數基礎：探討什麼是數，試圖用邏輯定義0,1和後繼（如(S n)的 S）。

為了說明什麼是數，弗雷格的三條方法論：
# 心理學和邏輯、主觀和客觀要區別
# 在句子聯繫中研究意謂，而非個別研究意謂（語境原則）——弗雷格從語言出發，分析數在語言的表現形式，說明數的性質。
# 時刻看到概念和對象的區別

弗雷格認為數是專名（專有名詞），指一個object（對象），不是概念詞（指有同樣類型的東西）。

經驗主義者認為，數是對外界物體的抽象（比如說五隻牛抽象成為「5」+「牛」)

但是弗雷格認為，數和顏色不同。比如說「綠色的葉子」和「1000片葉子」相比，數字1000不是葉子內含的屬性（不同於顏色）

數和事物連接起來，就依賴理解。弗雷格認為我們把什麼賦予事物，取決於我們的思考方式。

弗雷格認為一個概念是從屬於一定範圍的事物抽象，那就不可能有意義應用於這個範圍以外的事物。比如說：顏色是從物質抽象而來，那「某某色的數」就不能用，從而和經驗主義者的「數從物理世界抽象，也可以用於描述物理以外的事物」矛盾。

另外對於主觀主義（數是心理創造），弗雷格的方法論認為「要區別心理學和邏輯」，弗雷格認為數不是心理學裡面的東西。他主張「數不是外界事物、主觀事物，而是某種客觀的東西」。弗雷格認為，客觀的東西和現實的東西是不同的，比如赤道，是透過思維被認識到，被把握的。

也就可以分為：客觀外界世界、主觀世界、另一個包含數存在的世界。

弗雷格的結論
#數不是外界事物的性質
#數的概念不是透過獲取顏色等等抽象方法得到的
#數不是心靈或主觀的實體

弗雷格用「這裡有4個連」和「這裡有500個人」比較，雖然指涉的群體和本質不變，但是概念詞改變，所以弗雷格主張：「數的給出包含對一個概念的表達」。數表達的不是對象的性質，而是概念的性質。

第一層次概念應用於對象，第二層次概念包含數，用來說明第一層次的概念。

概念是數的載體。

函數以個體為自變數，量詞（∀、∃）以函數為自變數。

對於0, 1和後繼（S(n)）的定義：

假設F是一元謂詞，N x Fx代表「屬於X這個概念（概念有『凱薩大帝、地球、獨角獸、臺灣人』的數）」，則 （以下的公式稍作等價公式的替換，以利理解）：

* N x F x=0 表示∀x.¬x
* N x F x=1 表示∃x.(F x ∧ ∀x ∀y(Fx∧Fy →x = y))
* N x F x=n+1 表示∃x.(F x ∧ N y (Fy ∧ y ≠ x) = n) #註：這裡奇怪的是為什麼沒有給y的量詞

弗雷格反對這種定義：
* 數字並沒有作為單稱詞使用，也無法把0、1確定為可重認且獨立的對象(即無法說明0是獨一無二且和其他數不同)
* 因此無法重認一個數，從而無法確認一個數和另一個數是否相同。

數的相等必須藉由（其內元素間）「一一對應」來定義。

用如果a和b平行，則「和a平行的線」的外延和「和b平行的線」的外延相等，弗雷格用外延來說明數的定義：

「屬於概念F的數，是『與概念F等數』的概念的外延」。（也就是所有數量為2的概念（布爾邏輯值、圍棋子的顏色等）的外延，是2，就是屬於布爾邏輯值概念的數。）

根據相等=的解釋：

同一個數屬於概念F且屬於概念G ↔「與概念F等數的」這個概念的外延 = 「與概念G等數的」這個概念的外延 

一一對應是什麼呢？

∃ɸ是二元關係，若「 ∀x∈F, ∃y ∈G, ɸ x y 」且「∃x∈F, ∀y ∈G, ɸ x y」則F和G相互對應（一一對應）

概念F和概念G是等數的 ≝ ∃R 使概念F下的對象（元素）和使概念G下的對象一一對應。

算數基礎規律中使用外延區別數，但是這種引入外延產生了悖論。

邏輯主義主張可以用邏輯推演導出算數，雖然後來有類型論進行悖論的補救，也有直覺主義邏輯等等的，可以參考《同構：編程中的數學》最後一章。

康德主張判斷分為「先驗的和後驗的」、「分析的和綜合的」

弗雷格主張：
* 一個命題是分析的<=>可以純粹基於邏輯規律和定義轉換來證明該命題
* 先驗命題：不訴諸事實，而從一般規律中推論出來的

為了證明數學，需要假設一些公設axiom：

當時最有名的是皮亞諾公設，但弗雷格並沒有表述皮亞諾公理：
# N 0 // 0是自然數
# ∀x (N x→∃ y (N y∧ (S(x) = y))) //對於所有自然數x有y為後繼( S x = Succ (x), i.e. x + 1)
# ∀x∀y(N x ∧ N y →(x=y↔S(x)=S(y))) //相同的自然數有相同的後繼，不同的有不同的後繼
# ∀x(N x→0≠S(x)) //0不是任何自然數的後繼
# ∀F((F 0 ∧∀x S x → (F x → F(S x))) →∀x(N x → F x)) // 對於所有性質F若是F 0，且若 F x 則 F (S (x))，則對所有自然數n則F n。

為什麼邏輯主義失敗，人們認為有三大原因：
* 羅素悖論
* 哥德爾不完備定理（有些定理不能在皮亞諾公設下被證明）
* 弗雷格認為邏輯包含集合論，但是現代集合論的發展，應該是把集合論當成數學的一部分（分支）。

悖論和弗雷格的公理V相關，用現代邏輯符號表述如下：
對於所有概念F，
∀F∀G [{x|F x} = {x| G x}]↔∀x (F x ↔G x)

因此
[{x|F x} = {x| F x}]↔∀x (F x ↔F x)

{x|F x} = {x| F x} #分離原則

∃y. y = {x|F x}#存在概括（註：注意，這裡y這個item綁到集合）

因為F是任何概念，所以引入二階量詞則：

∀F.∃y. y = {x|F x}......(a)
也就是：對於所有F謂詞，有類別y=「滿足F謂詞的所有x元素的集合」。

但是我們有一個定理，是∃R.R={x|¬x∈x}（也就是 把(a)式的 F x = ¬x∈x再代入）

但這樣可好！如果R∈R，則¬R∈R（R∈R→¬R∈R）但若¬(R∈R)，則因為滿足R的¬x∈x，因此R∈R，所以R∈R∧¬R∈R，所以矛盾。

後來羅素提出類型論(Type Theory)，但是因為類型限制，就無法對「無限性」提出證明（註：根據《同構：編程中的數學》p.226，羅素使用無窮公理，將無窮公理化，但是變成公理就無法證明）。

註：現在PL（Programming Language，程式語言）領域用的是改良後的類型論。

[[category:邏輯學]]
[[category:數學]]