關於
Rudolf Carnap (1891–1970) was a German-American philosopher and a leading figure of the Vienna Circle, the group that shaped logical positivism. He sought to rebuild philosophy on the model of logic and science: The Logical Structure of the World (1928) tried to construct all knowledge from elementary experience, and The Logical Syntax of Language (1934) treated the rules of a language as a formal system one is free to choose (his 'principle of tolerance'). After emigrating to the United States in 1935 he taught at Chicago and UCLA, developing formal semantics (Meaning and Necessity, 1947) and inductive logic. That machinery — measuring the content of a statement by the possibilities it excludes — underwrote his collaboration with Yehoshua Bar-Hillel on a theory of semantic information (1952), the early attempt to put meaning back into Shannon's meaning-free measure.
主要貢獻
- A central figure of the Vienna Circle and logical positivism
- Wrote The Logical Structure of the World (1928), a landmark program for grounding knowledge in logic
- Introduced the principle of tolerance in The Logical Syntax of Language (1934)
- Built formal semantics and inductive logic (Meaning and Necessity, 1947; Logical Foundations of Probability, 1950)
- Co-developed a theory of semantic information with Bar-Hillel (1952), measuring content by excluded possibilities
論文與出版物
思想連結
Yehoshua Bar-Hillel
影響了他/她Philosopher, Logician & Machine Translation Pioneer
Bar-Hillel 年輕時讀了卡納普的《語言的邏輯句法》，1940 年代與他通信，1950 年到芝加哥成為他的博士後，並與他合寫了 1952 年的《語意資訊理論綱要》，試圖為夏農那種不涉意義的位元，補上一種衡量意義的尺度。這位門生後來把卡納普的邏輯帶進機器翻譯，回來時卻成了最尖銳的懷疑者。從前者到後者的這條線，是從「語言可以被完全形式化」的希望，走到發現語言有多少部分其實存在於對世界的認識之中。
en.wikipedia.org · Carnap & Bar-Hillel, An Outline of a Theory of Semantic Information, MIT RLE Technical Report 247 (1952)
馬丁·海德格
觀點交鋒哲學家
1929 年他們曾在達沃斯一起散步；不到三年，卡納普便發表了〈透過語言的邏輯分析清除形上學〉，從海德格〈形上學是什麼？〉中摘出句子，尤其是那句「無本身無化」，當作「有文法形式、卻沒有意義」的樣本，還把形上學家比作沒有音樂才能的音樂家。海德格從未公開回應，只在私下說，對卡納普而言，真理已被轉移成了確定性。這是分析哲學與歐陸哲學分道揚鑣的起點；而一個對文法形式極其流暢的大型語言模型，又把兩人的問題重新擺回桌上。
aeon.co · Carnap, "Überwindung der Metaphysik durch logische Analyse der Sprache", Erkenntnis 2 (1931/32)
路德維希·維根斯坦
受其影響語言與邏輯哲學家
卡納普加入 Schlick 的學圈時，他們正要再一次細讀《邏輯哲學論》；他從中取得「邏輯真理是重言式、不含任何經驗內容」的想法——這正是邏輯經驗論把數學安放進經驗主義世界所需要的那一塊。1927 至 1928 年間，他參加了維根斯坦願意出席的小型聚會；他在自傳中稱維根斯坦是最啟發他的思想家，卻也記下兩人之間的鴻溝：卡納普像科學家那樣面對問題，維根斯坦則「更像一位創作中的藝術家」，幾乎是先知。最有影響力的「讓哲學成為科學」的計畫，竟長自一本作者從未想讓它成為科學的書。
en.wikipedia.org · plato.stanford.edu
Hilary Putnam
觀點交鋒Philosopher of Mind, Language & Mathematics
在 1963 年 Schilpp 主編的卡納普專輯中，普特南把卡納普的歸納邏輯計畫讀成「設計一台通用學習機器」，並以對角線論證證明：卡納普那類可計算的確證函數，沒有一個能學會所有可計算的規律。卡納普的回應承認了一件實在的事：科學家如何接受假說，可能取決於實際上被提出了哪些假說，以及提出的順序。這場交鋒是一個早期而精確的陳述，說出了機器學習至今仍身處其中的界限：每個學習者都帶著歸納偏誤，沒有誰能學會一切。
plato.stanford.edu · Putnam, "'Degree of Confirmation' and Inductive Logic", in Schilpp (ed.), The Philosophy of Rudolf Carnap (Open Court, 1963), pp. 761–783 · Sterkenburg, "Putnam's Diagonal Argument and the Impossibility of a Universal Learning Machine", Erkenntnis (2019)
寇特·哥德爾
影響了他/她邏輯學家與數學家
哥德爾在維也納跟卡納普與 Hans Hahn 學邏輯，兩人同屬一個學圈——後來他卻花了多年指出卡納普的計畫在哪裡斷裂。他告訴卡納普，他對「分析性」的判準有缺陷，因為真理無法在一個能被忠實表示於對象語言中的後設語言裡被定義；1953 至 1959 年間，他為卡納普紀念文集撰寫〈數學是語言的句法嗎？〉，卻始終沒有發表。老師希望數學是約定；學生對數學則是實在論者——這道分歧至今仍是以形式方法處理意義時腳下的斷層。
plato.stanford.edu · plato.stanford.edu · en.wikipedia.org
