跳轉到

1.3 FREGE的邏輯主義企圖1879#

本章導言#

算術化把數學地基下挖到自然數，Frege 追問最後一層：自然數是什麼？他 1879 年的《概念文字》（Begriffsschrift）發明了現代量詞邏輯，1884 年《算術基礎》以「數是概念的外延」回答之，1893/1903 的《算術基本律》以公理系統完成。這是「邏輯主義」的誕生——數學可還原為邏輯。1902 年 6 月 16 日，他收到一封信，信中兩行字摧毀了他一生事業的基礎，卻也開啟了本書其後九章。寫信人是 Bertrand Russell。

FREGE 的概念文字：邏輯的發明時刻#

1879 年之前，「邏輯」是亞里士多德的三段論：主謂結構、量詞只是「所有／有些」的口語縮寫，無法表達關係與嵌套量化。Frege 的突破是把命題拆成函數與論元：若謂詞 \(\Phi\) 作用於對象 \(x\) ，記 \(\Phi(x)\) ；關係是二元函數。而全稱量詞首次獲得嚴格寫法（Frege 用凹槽記號，現代記法為）：

\[ \forall x\, (F(x) \to G(x)), \qquad \exists x\, (F(x) \wedge G(x)). \]

《概念文字》的另一發明是公理化的命題邏輯：六條公理、一條推理規則（分離律 modus ponens）、一個自足的證明系統——現代所有形式系統（5.1 節）的直系祖先。Frege 的目標超越邏輯本身：

「我把直覺的一切排除，使證明中的每一步都有足夠長的推演鏈，任何疏漏無所遁形。」

他親自示範：把「數列中的繼承關係」（皮亞諾的 \(n'\) ）定義為「 \(b\) 在以 \(a\) 為始的 \(F\) -鏈中」，然後純邏輯地證明數學歸納法。這是第一次有人證明歸納法而非使用它。

數是什麼：Hume 原則的復活#

《算術基礎》（1884）批判了當時所有定義（心理主義：數是心的意象；形式主義：數是符號），提出自己的路線：

  1. 數是客觀抽象對象，附屬於概念而非對象。「三」不是三個蘋果的性質，而是概念「蘋果且在這籃裡」的性質。
  2. 等數性（equipollence）：兩概念 \(F, G\) 等數，若其元素可一一對應。這是 Hume 1739 的觀點，Frege 將之精煉為：

Hume 原則： \(\#F = \#G \iff F \approx G\) （兩概念等數當且僅當其數相同）。

  1. 數 0 與繼承： \(\#(x \ne x) = 0\) ； \(n+1 = \#(\text{與 } n \text{ 等數的後繼概念})\) 。

此進路的驚人成功：純粹用「一一對應」的邏輯關係定義了無窮也定義了有限，且 Hume 原則隱含數學歸納法的邏輯證明。Frege 的追隨者後來（Crispin Wright 1983 起）發現 Hume 原則本身相對一致——「Frege 的路」其實部分可行，此為後話。

第二階段：外延與涵義#

要把 Hume 原則落成公理，Frege 需要一個裝載「概念」的容器。他採用了外延（Wertverlauf，值域）：每個概念 \(F\) 對應一個對象 \(\varepsilon_F\) （其外延），並加上《算術基本律》第五律：

\[ \textbf{(V)}\quad \varepsilon_F = \varepsilon_G \iff \forall x\, (F(x) \leftrightarrow G(x)). \]

這條看似無害的「外延由概念決定」公理，把每一個概念壓縮成一個對象。正是它引爆了羅素悖論（3.1 節）：考慮概念「不屬於自身的外延之對象」，記為 \(R(x) = \neg x \in \varepsilon_x\) 。代入 (V) 的方向 \(\forall x (R(x) \leftrightarrow \neg x \in \varepsilon_R)\) ，令 \(x = \varepsilon_R\) ：

\[ \varepsilon_R \in \varepsilon_R \iff \neg\, \varepsilon_R \in \varepsilon_R. \]

Frege 1903 年在《算術基本律》第二卷付印後收到 Russell 的信，在附錄中承認：「科學工作最艱難的基礎之一在我眼前動搖了，而正當本書完稿之際。」他的補救（以「概念是否屬於自身」區分概念層級）未能成功，但他從未放棄邏輯主義，死前仍在修改。

一個具體例子#

例題 1.3.1：以 Frege 的定義證明數 \(3\) 與「 \(0\) 的三次後繼」等數，即驗證 \(\#(\text{概念 }F) = 3\) ，其中 \(F\) 適用於恰好三個對象；並展示 Hume 原則如何推出 \(2 + 1 = 3\) 。

解：依 Frege， \(\#F = \#G \iff F \approx G\) 。取 \(F\) 為概念「 \(x\) 是這組對象 \(\{a, b, c\}\) 的成員」， \(G\) 為概念「 \(x\) 是 \(0\) 或 \(0\) 的後繼或後繼的後繼之成員的夥伴」——更直接地， \(G\) 取「小於 3 的自然數」。此時 \(F \approx G\) （顯然的一一對應），故

\[ \#F = \#G = \#(\text{小於 } 3 \text{ 的自然數}) = 3. \]

\(2+1\) 的 Frege 式證明： \(2 = \#(\text{小於 }2\text{ 的自然數})\) ， \(3 = \#(\text{小於 }3\text{ 的自然數})\) 。「小於 3 的自然數」 \(=\) 「小於 2 的自然數 \(\cup \{2\}\) 」，而 \(2 \notin\) 「小於 2 的自然數」，故兩集合不相交且併集元素數 \(= 2 + 1\) 。由 Hume 原則

\[ \#(\text{小於 }3) = \#(\text{小於 }2 \cup \{2\}) = \#(\text{小於 }2) + 1 = 2 + 1, \]

即 \(3 = 2 + 1\) ，全部只用「一一對應」的邏輯概念。整個算術由等數關係長出——這是 Frege 證明的第一個「數學真理源於邏輯」實例。

FREGE 的哲學遺產：語義三角#

除了邏輯技術，Frege 1892 年〈論涵義與指稱〉（Über Sinn und Bedeutung）的區分成為一切形式語義學的基礎：

層面 例子：「晨星」vs「暮星」 在形式系統的角色
涵義（Sinn） 「金星晨現」「金星暮現」兩種認知途徑 語義學的意義（5.1 節的賦值結構）
指稱（Bedeutung） 同一對象：金星 模型中的元素

他的組合性原則——複合表達式的指稱由成分指稱決定——是 Tarski 真值定義（5.1 節）與程式語言指稱語義學的公理。

歷史啟示#

  • 最偉大的失敗也可以是最偉大的奠基：Frege 的系統崩塌了，但他發明的量詞邏輯、形式證明、語義區分成為整個數理邏輯的骨架。
  • 「還原」綱領比「還原」結果更持久：邏輯主義失敗，卻留下了「數學命題的邏輯形式可被研究」的整個學科。
  • 崩塌的訊息藏在技術細節裡：羅素悖論不攻擊 Hume 原則，而攻擊 (V)——精確的形式化使錯誤可定位，這正是形式化方法的價值。

與其他章節及領域的關聯#

  • 3.1 節：羅素悖論的完整解剖與其對邏輯主義、樸素集合論的雙重打擊。
  • 4.1 節：Zermelo 公理系統正是 Frege (V) 的「分層化」修補。
  • 5.1–5.2 節：Frege 邏輯即一階邏輯的前身；完備性定理完成他未竟的「邏輯可形式化」之夢。
  • 6.2 節：Frege 的「概念—對象」二分在 Gödel 編碼中以「語法—語義」再現。
  • 9.3、10.2 節：類型論直接來自 Russell 對 Frege 分層的修補；同倫類型論是這條線的當代高峰。
  • 計算機科學：謂詞邏輯是一切程式語言規範、Prolog、SQL 的語言；Frege 的組合性原則即編譯器的語義基礎。

練習#

  1. 用現代量詞記號改寫：「每個自然數都有比它大的素數」，並畫出其量化結構的嵌套（ \(\forall\exists\) ）。
  2. 以 Hume 原則證明 \(1 + 1 = 2\) ，明確寫出所用的兩個概念與其一一對應。
  3. 證明：若概念 \(F\) 滿足 \(\#F = 0\) ，則 \(\forall x\, \neg F(x)\) （Frege 的定義 0 為 \(\#(x \ne x)\) ）。
  4. 以 Russell 的兩行推理重演羅素悖論於 Frege (V)，並指出 1.3.1 例題中哪一步在 \(R\) 概念下失效。
  5. 思考題：Frege 說數附屬於概念而非對象。當代集合論以集合代替概念——這是換湯不換藥，還是根本轉向？

進階研讀：三個深化場景#

場景一：Frege–Russell 的通信。Russell 1902 年信中先盛讚《算術基本律》「論證之清晰與敏銳，讓我得以在我的書中引用」，再指出悖論；Frege 回信仍保持風度：「您的發現令我震驚，且幾乎使我崩潰，但它是正確的。」學者的態度在此成為科學史教材：為真理犧牲畢生事業，而以感謝收信。

場景二：新弗雷格主義。1983 年 Bob Hale 與 Crispin Wright 提出以 Hume 原則（不含 (V)）重建算術；2002 年 Boolos 學派證明 Hume 原則相對一致且與 Peano 算術等解釋力（Frege 定理）。Frege 的路「除了那一步」都可以走通——基礎研究的失敗常是局部而非全局的。

場景三：Frege 的凹槽記號與現代語法。Frege 的二維記號表達式樹（條件、否定、量詞各占一列），實質上就是語法樹——與程式語言的抽象語法樹（AST）同構。概念文字的符號學失敗（無人採用），其樹狀結構卻統治了計算時代。

名詞速查表#

  • 概念文字（Begriffsschrift）：Frege 1879 的形式邏輯系統，量詞與公理化之始。
  • 涵義／指稱（Sinn／Bedeutung）：表達式的認知意義與其對象。
  • Hume 原則： \(\#F = \#G \iff F \approx G\) ，數的定義原則。
  • 等數性（ \(\approx\) ）：存在一一對應。
  • 基本律 (V)：外延相等當且僅當概念等值，悖論之源。
  • Frege 定理：Hume 原則可推出 Peano 公理（Boolos–Wright）。

年表速查#

  • 1879：《概念文字》出版。
  • 1884：《算術基礎》出版，Hume 原則路線確立。
  • 1892：〈論涵義與指稱〉。
  • 1893/1903：《算術基本律》第一、二卷。
  • 1902.6.16：Russell 來信。
  • 1903：Frege 附錄承認系統崩塌。
  • 1925：Frege 去世，邏輯主義未竟。
  • 1983：Wright《Frege 的數概念》，新弗雷格主義興起。

深化問答三則#

問：Frege 為何非要 (V) 不可？ 答：因為他要「數是對象」——算術語句需有真值與對象指稱，而概念本身不是對象。外延是概念通往對象世界的唯一橋樑。(V) 崩塌後，集合論以「集合是對象」接手，但被迫放棄「任意概念有外延」——外延的無限性與對象的明確性不能兩全，這是二十世紀基礎研究的中心緊張。

問：量詞的發明為何如此重要？ 答：因為數學的核心語句都是 \(\forall\exists\) 嵌套（如「每個數有後繼」「每個 Cauchy 列收斂」），三段論無法處理嵌套量化，故此前「邏輯」只能覆蓋零星數學。量詞使數學全體成為邏輯的研究對象——沒有它，就沒有 5.2 節的完備性與 6.1 節的不完備性。

問：邏輯主義死後留下什麼？ 答：三件事：形式語言（邏輯學家與計算機的母語）；「還原」作為研究方法（集合論、類型論皆是邏輯主義的繼承人而非叛徒）；以及一個至今無解的問題——數學的必然性究竟來自邏輯形式，還是來自人類的認知結構。

（本節完）