「金星」與「啟明星」是同一顆星：語言哲學如何運作

「金星」與「啟明星」是同一顆星，為什麼這句話不是廢話？

古希臘人早晨在東方天空看見一顆最亮的星，稱它為「啟明星」（Phosphorus）；黃昏時在西方又看見一顆最亮的星，稱它為「長庚星」（Hesperus）。很長一段時間，沒有人知道這兩者其實是同一個天體——我們今天稱之為金星。

請比較兩個句子：

• 啟明星就是啟明星。
• 啟明星就是長庚星。

第一句你閉著眼睛都知道是對的，它沒有告訴你任何關於世界的新資訊。第二句卻是一項真正的天文發現，曾經需要長期觀測才能確認。可是，如果「啟明星」和「長庚星」指的就是同一顆星，那這兩個名字所「代表」的東西完全一樣，照理說兩句話應該一樣空洞才對。為什麼一句是廢話，另一句卻是知識？

這個看似無害的問題，是德國邏輯學家弗雷格（Gottlob Frege）在 1892 年提出的，它撬開了整個二十世紀語言哲學（Philosophy of Language）的大門。語言哲學追問的，正是這樣一些日常到我們從不細想、卻深不見底的問題：一個詞「指」的是什麼？一句話的「意義」是什麼？語言究竟憑什麼能談論這個世界？

指稱與意義：弗雷格的兩層區分

弗雷格給上面那道謎題的答案，是區分一個語詞的兩個面向：指稱（Bedeutung / reference）與意義（Sinn / sense）。

「指稱」是語詞所指向的那個對象本身。「啟明星」和「長庚星」的指稱相同，都是金星。

「意義」則是「對象被給予我們的方式」（mode of presentation）。「啟明星」把金星呈現為「清晨出現在東方的那顆亮星」，「長庚星」把它呈現為「黃昏出現在西方的那顆亮星」。兩個名字走的是不同的認識路徑，雖然終點是同一個對象。

有了這層區分，謎題就解開了。「啟明星=啟明星」之所以空洞，是因為同一個意義擺在等號兩邊；「啟明星=長庚星」之所以是新知，是因為它告訴我們兩條原本不同的認識路徑竟然通向同一個對象。差別不在指稱，而在意義。

弗雷格進一步主張：一個句子也同時有意義與指稱。句子的「意義」是它表達的思想（命題），句子的「指稱」則是它的真假值——真或假。這個想法後來成為形式語意學的基石：理解一句話的意義，某種程度上就是理解「在什麼情況下它會為真」。

弗雷格區分的威力在於，它讓「意義」成為一個可以獨立討論的對象。語言不只是貼在事物上的標籤，名字與對象之間還隔著一層「被理解的方式」。

摹狀詞理論：羅素如何處理「不存在的東西」

弗雷格的框架很漂亮，但留下一個棘手問題。考慮這個句子：

當今的法國國王是禿頭。

法國早已是共和國，根本沒有國王。那麼「當今的法國國王」這個詞指稱什麼都沒有。整句話到底是真、是假、還是無意義？如果意義依賴指稱，而指稱落空了，這句話似乎就懸在半空中。

英國哲學家羅素（Bertrand Russell）在 1905 年的論文〈論指稱〉（On Denoting）給出一個影響深遠的解法。他主張：像「當今的法國國王」這種限定摹狀詞（definite description），表面上看起來像個名字，骨子裡卻不是。它不直接指向某個對象，而是偽裝起來的一串邏輯斷言。「當今的法國國王是禿頭」真正的意思是三件事的合取：

1. 存在至少一個當今的法國國王；
2. 至多只有一個這樣的人（唯一性）；
3. 那個人是禿頭。

關鍵在第一條。既然不存在法國國王，第一個斷言為假，整個合取就為假。於是這句話有明確的真假值——它是假的——而我們完全不需要假設有任何神祕的「不存在對象」在背後撐著。

羅素的分析還順手化解了一個邏輯難題：「當今的法國國王是禿頭」和「當今的法國國王不是禿頭」看起來互相矛盾，按理應有一真。但在羅素看來，兩句其實都為假，因為兩句都預設了「存在一個法國國王」，而這個前提本身就錯了。矛盾消失了。

這套摹狀詞理論（Theory of Descriptions）被譽為哲學分析的典範：它示範了一句話的「表層文法」可以與其「邏輯形式」截然不同，而哲學困惑往往就藏在這道縫隙裡。

看一個例子

試著用羅素的方法分析這一句：

寫《哈姆雷特》的那個人很有才華。

表面上「寫《哈姆雷特》的那個人」像在指莎士比亞。但羅素會把它拆成：

1. 至少有一個人寫了《哈姆雷特》；
2. 至多有一個人寫了《哈姆雷特》；
3. 那個人很有才華。

這樣拆解的好處是：就算你不知道這個人叫什麼名字，整句話依然有確定的意義與真假。意義不必依賴你先認得某個對象——它可以完全由一組描述條件構成。這正是羅素與弗雷格共享的一個直覺：我們是透過「描述」抓住對象的。

指稱的反叛：克里普克與「歷史因果鏈」

弗雷格與羅素的圖像，後來被合稱為摹狀詞主義（descriptivism）：一個專名（如「亞里斯多德」）之所以能指向某人，是因為它背後藏著一束描述——「柏拉圖的學生」「亞歷山大大帝的老師」「《尼各馬可倫理學》的作者」等等。名字指向的，就是滿足這些描述的那個人。

這幅圖像統治了半個世紀，直到 1970 年，美國哲學家克里普克（Saul Kripke）在一系列講座（後集結為《命名與必然性》Naming and Necessity）中發動猛攻。

他的反例很犀利。假設關於亞里斯多德我們相信的描述，最後被歷史學家發現全都搞錯了——他其實沒教過亞歷山大、那些書也不是他寫的。按摹狀詞主義，「亞里斯多德」就應該指向「真正滿足那些描述的人」，或者乾脆不指任何人。但這違反直覺：我們會說「原來我們對亞里斯多德的瞭解都錯了」，而不是「原來亞里斯多德是別人」。可見「亞里斯多德」這名字並不等於那束描述。

克里普克提出另一套圖像。專名是嚴格指示詞（rigid designator）：它在所有可能世界中都指向同一個對象。名字與對象的連結，不靠描述，而靠一條歷史因果鏈：某人最初在一次「命名儀式」中為對象取了名（嬰兒受洗、星體被命名），這個名字接著一傳十、十傳百，後面的使用者「借用」前人的指稱意圖，一環扣一環往回連到最初那一刻。

於是，今天你說「亞里斯多德」能指向兩千多年前那個人，並不是因為你腦中裝著一組正確的描述，而是因為你站在一條從他延伸至今的傳遞鏈末端——哪怕你對他幾乎一無所知，甚至記錯了。

動手試試

想一個你只是「聽過名字」、卻幾乎說不出任何正確描述的人物或地方——比方說「馬達加斯加」或某位你叫得出名字卻搞不清生平的歷史人物。

問自己兩個問題：

• 摹狀詞主義會說：你能指稱它，是因為你心裡有一組（正確的）描述。可你真的有嗎？
• 克里普克會說：你能指稱它，是因為你從別人那裡「接過」這個詞，而那串傳遞最終連回到命名的源頭。

多數人會發現自己的情況更貼合克里普克。你之所以能談論馬達加斯加，靠的不是你對它瞭若指掌，而是這個詞如何進入你耳朵的那段歷史。（有趣的是，「馬達加斯加」這名字本身就是馬可波羅誤聽誤傳的產物——因果鏈即使一開始就出了錯，照樣把指稱穩穩傳了下來。）

從詞到用：語言作為行動

到此為止，我們都在問「詞和句子如何對應到世界」。但二十世紀中葉，牛津哲學家奧斯汀（J. L. Austin）提醒大家：語言遠不只是用來「描述世界、報告真假」的工具。很多話一說出口，就是在做某件事。

當證婚人說「我宣布你們結為夫妻」，他不是在描述一樁婚姻，而是當場締結了它。當你說「我答應明天還錢」，你不是在報導一個事實，而是做出了承諾。奧斯汀稱這類話語為施為句（performative），並由此發展出言語行為理論（Speech Act Theory）：每一次說話其實同時進行三層動作——說出話的「語意內容」（locutionary）、藉說話所執行的「行為」如承諾、命令、警告（illocutionary，言外之力），以及話語對聽者造成的「效果」如說服、嚇阻（perlocutionary）。

他的學生塞爾（John Searle）把這套理論系統化。其洞見在於：句子的意義不能只看它「對應到什麼事實」，還得看說話者用它來做什麼、在什麼脈絡下說、雙方共享哪些規則。「外面在下雨」這句話，可以是純粹報告天氣，也可以是「別出門」的勸阻，端看脈絡。

這條思路把語言哲學從「語意」（句子與世界的對應）推向「語用」（語言在實際使用中的運作），也和後期維根斯坦（Ludwig Wittgenstein）的著名口號遙相呼應——「一個詞的意義，在於它在語言中的用法」（meaning is use）。維根斯坦用「語言遊戲」的比喻提醒我們：與其追問「意義是不是某個附在詞背後的對象」，不如去看人們實際上怎麼拿這些詞來下棋、來生活。

重點回顧

• 意義與指稱要分開：弗雷格指出，「啟明星」與「長庚星」指稱相同（金星），意義（呈現方式）不同，這解釋了為什麼同一指稱的等式可以是新知而非廢話。
• 摹狀詞不是名字：羅素的摹狀詞理論把「當今的法國國王」拆成「存在＋唯一＋具某性質」的邏輯斷言，讓談論「不存在之物」的句子有了確定真假，並揭示表層文法與邏輯形式可以分歧。
• 指稱不必靠描述：克里普克以「嚴格指示詞」與「歷史因果鏈」反對摹狀詞主義——名字穩定指向對象，靠的是一條從命名儀式傳遞至今的鏈條，而非使用者腦中正確的描述。
• 說話即行動：奧斯汀與塞爾的言語行為理論指出，語言不只描述世界，「我宣布」「我答應」這類施為句一出口就在改變世界，意義必須連同「言外之力」一起理解。
• 意義或許就是用法：後期維根斯坦主張，與其在詞背後尋找神祕的意義對象，不如觀察詞在「語言遊戲」中如何被使用。

深入探討（研究所視角）

上述四條路線並非簡單的「後者推翻前者」，而是圍繞幾個張力持續拉扯，至今仍是研究前沿。

因果論與摹狀詞主義的調和。 克里普克的反例震撼，但純因果論也有麻煩：因果鏈如何避免「指稱漂移」（一個詞在傳遞中悄悄換了對象）？又如何處理「飛馬」這種沒有任何命名儀式對象的虛構名稱？當代有所謂的因果—描述混合論（causal-descriptivist hybrid，如 Gareth Evans 的工作），試圖讓因果鏈與一束「占主導地位」的資訊共同決定指稱。研究生若要進入此領域，Evans 的《The Varieties of Reference》與 David Kaplan 對指示詞（indexicals，如「我」「這裡」「現在」）的形式處理是繞不開的兩座山——Kaplan 區分「特徵」（character）與「內容」（content），正是把弗雷格的意義／指稱區分推進到語境依賴語詞的關鍵一步。

二維語意學與認知意義的回歸。 克里普克主張「啟明星=長庚星」是後驗的必然真理：它必然為真（兩個嚴格指示詞指向同一對象，在所有可能世界皆然），卻只能透過經驗發現。這打破了「必然＝先驗」的傳統綑綁，卻也讓弗雷格式的「認知意義」（為什麼這個發現有資訊量）顯得無處安放。二維語意學（two-dimensional semantics，Stalnaker、Chalmers、Jackson）的回應是給每個句子兩個內涵維度：一個追蹤「若這個世界實際如此，句子表達什麼」，另一個追蹤「在反事實世界中真值如何」。透過兩個維度，它試圖同時保住克里普克的必然性與弗雷格的認知差異——這是當代心靈哲學與意識問題（如殭屍論證）的核心技術工具。

語意學與語用學的邊界戰爭。 格萊斯（Paul Grice）以會話含義（conversational implicature）區分「句子字面說了什麼」與「說話者藉此暗示了什麼」，並提出合作原則與量、質、關係、方式四準則。這條界線近年被語境主義（contextualism）與最小語意學（minimalism）激烈爭論：當你說「桌上沒有東西」，字面語意是否已被語境「滲透」？「知道」一詞的真值是否隨對話標準浮動（知識歸屬的語境主義）？這場辯論直接牽動知識論與倫理學中的相對主義問題。

跨領域連結。 語言哲學的這些工具早已外溢。形式語意學（Montague 之後）是計算語言學與自然語言處理的理論祖宗；指稱與意義之分對應到當代大型語言模型的核心爭議——一個只在符號之間做統計關聯、從未「接觸」對象的系統，能否真正擁有指稱與意義，還是只停在弗雷格「意義」卻永遠夠不到「指稱」與世界？這正是 Harnad 的符號接地問題（symbol grounding problem）的當代化身。對 Uedu 這樣以生成式 AI 為核心的學習平台而言，「機器產生的語言到底有沒有意義、它指稱了什麼」不只是哲學沙龍的清談，而是我們在設計人機共學時必須誠實面對的根本前提。

下次當你脫口說出一個名字、一句承諾、一段描述，不妨停半秒想想：這串聲音究竟憑什麼勾住了世界的某一角？語言哲學給的不是標準答案，而是一整套讓你重新對日常言說感到陌生與驚奇的方法。