語言、邏輯與大型語言模型——從古代哲學抽象思維到人工智能的演進
送孩子上補習班的路上,孩子突然和我說起來白馬是不是馬的問題。我驚異于這個問題的來源,她說是看到了雜志上關于公孫龍子的“白馬非馬”和“離堅白”的介紹和討論,才有這樣的問題。我拼湊著腦袋里的蛛絲馬跡,試圖解釋公孫龍子的學說。雖然沒有給孩子解釋明白這個如何抽象出來的閉環邏輯,但是自己卻突然意識到名和實之間的邏輯關聯不就是現在的大語言模型所正在探索的領域嗎?于是歸納思路,便有此文。
回顧一下,歷史上的抽象思維與現代大型語言模型(LLMs)之間存在某種關聯。這種觀點揭示了人類在不同時代對語言和推理本質的持續探索。早在數千年前,哲學家們就開始思考語言的奧秘及其與現實的關系,而今,人工智能領域的前沿技術——大型語言模型,正以一種全新的方式處理和生成語言,這不禁引人深思,探究這兩者之間是否存在著某種深層的聯系。我嘗試著在中國古代哲學家公孫龍子的思想、早期西方邏輯(特別是柏拉圖和亞里士多德的貢獻)與現代自然語言處理領域中大型語言模型的興起之間建立聯系。而這個核心論點在于,這兩個歷史背景下的抽象思維都可以被視為大型語言模型嘗試通過自然語言生成思想和影響現實的方式的先驅。通過考察古代哲學對語言和邏輯的深刻探究與現代人工智能的進步,我們也許可以更深入地理解當今大型語言模型的能力及其對社會產生的潛在影響。
公孫龍子的哲學思想概要
公孫龍子,作為中國古代戰國時期名家學派的代表人物,以其對邏輯和語言哲學的深入研究而聞名 1。名家學派活躍于公元前4世紀至3世紀,其特點是對概念的精確定義和對看似悖論的論證的濃厚興趣 3。在這一學派中,公孫龍子尤為突出,他通過一系列著名的悖論,如“白馬非馬”和“離堅白”,深刻地揭示了語言、概念與現實之間錯綜復雜的關系。
“白馬非馬”是公孫龍子哲學思想中最具代表性的悖論之一。在《公孫龍子》一書中記載的辯論中,辯者主張“馬”是用來指稱形狀的,而“白”是用來指稱顏色的,因此,“白馬”既指稱了形狀又指稱了顏色,與僅僅指稱形狀的“馬”是不同的 5。這一看似荒謬的論斷引發了后世諸多解讀。一種觀點認為,這個悖論源于中文中“是”字的歧義,它可以表示“屬于某個類別”或“等同于某個事物” 1。辯者可能認為“白馬”并不等同于“馬”(因為“白馬”是更具體的概念),而反駁者則將其理解為白馬不屬于馬這個類別(這顯然是錯誤的)。還有學者提出,公孫龍子可能只是在強調在某種特定的解釋下,這個命題可以是成立的 5。此外,由于古代漢語不區分抽象名詞(如“馬性”)和具體名詞(如“一匹馬”),這可能也導致了理解上的混淆 5。《列子》則解釋說,“白馬非馬”是因為“名異于形” 5。《莊子》則從屬性的角度進行分析,認為用屬性來證明屬性不是屬性,不如用非屬性來證明屬性不是屬性有效 5。《孟子》則指出,“白”字在指稱白馬和老年人時具有不同的內涵,暗示了語境的重要性 5。一些學者認為,“白馬非馬”的爭論是基于類別和同一性的混淆 1,而另一些學者則認為公孫龍子實際上是在強調“并非所有的馬都是白馬”這個事實 1。更有學者從語用學的角度,認為公孫龍子可能意在強調“白馬”和“馬”這兩個詞的用法和所指不同 6。
另一個著名的悖論是“離堅白”。這個悖論以一塊既堅硬又白色的石頭為例,認為人們在看這塊石頭時只能看到它的白色而感覺不到它的硬度,而在觸摸它時只能感覺到它的硬度而看不到它的白色,因此,硬度和白色是分離的,它們不能同時在同一事物上顯現 1。公孫龍子認為,硬度和白色是相互獨立的屬性或概念,即使它們同時存在于一個物體中,也可以在概念上將它們分開 2。這種將共同存在的性質在概念上進行分離的做法,體現了一種高度的抽象思維。
這兩個悖論都反映了公孫龍子對“名”(語言符號)與“實”(客觀實在)之間關系的濃厚興趣 1。他對“名實”的研究被認為是名家學派中最深刻和最系統的 1。公孫龍子的哲學并非僅僅停留在文字游戲層面,而是試圖通過這些看似奇特的論證,揭示語言的復雜性以及人類概念化和分類事物的方式 5。他所提出的問題,例如語言的指稱性、概念的普遍性與特殊性之間的關系,以及屬性的獨立性等,都體現了他對語言和現實之間關系的深刻思考。
早期西方邏輯的主要線索
早期西方邏輯的起源可以追溯到古希臘,經歷了從樸素的論證到系統化研究的漫長發展過程 13。在眾多的思想家中,柏拉圖和亞里士多德的貢獻尤為突出,他們為西方邏輯的發展奠定了堅實的基礎。
柏拉圖的理式論是其哲學體系的核心組成部分。他認為,我們所感知的物理世界并非真實的存在,而只是永恒、完美且不變的“理式”(Forms)的摹本或影子 20。例如,我們所看到的各種各樣的馬都是對“馬”這種理式的不同程度的模仿;而“美”、“正義”等概念也存在著完美的理式 20。這些理式存在于一個超越物理世界的獨立領域,是事物的真正本質 20。柏拉圖的理式是普遍的概念,超越了具體的個體實例,體現了高度的抽象性。他區分了理式世界和感官世界,前者是真實的、可知的,后者是虛幻的、只能產生意見的 2。理式論試圖解決普遍性問題,即如何解釋不同個體之間共享的共同屬性。
亞里士多德是西方邏輯史上第一位進行系統性研究的哲學家 13。他認為邏輯是哲學乃至一切科學的工具(“Organon”) 13。亞里士多德最主要的成就是他對形式邏輯的系統闡述,特別是他的三段論理論 27。三段論是一種演繹推理的形式,由一個大前提、一個小前提和一個結論組成 27。例如:“所有人都是會死的;蘇格拉底是人;因此,蘇格拉底是會死的” 27。亞里士多德的邏輯關注命題的結構,以及如何根據前提必然地得出結論,而與命題的具體內容無關 29。他引入了術語(主詞和謂詞)和量詞(所有、一些、沒有)的概念,用于分析命題之間的邏輯關系 26。亞里士多德的邏輯體系強調論證的有效性取決于其形式結構,而非內容真假,這體現了高度的抽象性。他還提出了范疇理論(如實體、數量、性質等),作為邏輯區分的基礎 28。此外,斯多葛學派在早期西方邏輯的發展中也做出了重要貢獻,尤其是在命題邏輯方面 26。
柏拉圖的理式論試圖把握事物的普遍本質,而亞里士多德的形式邏輯則旨在構建一套抽象的推理規則。這兩者的共同之處在于,它們都試圖超越具體的經驗現象,探究思想和推理的基本結構,體現了早期西方哲學對抽象思維的重視。
公孫龍子哲學和早期西方邏輯中抽象思維與現代大型語言模型運作的聯系
現代大型語言模型(LLMs)通過識別和操縱海量文本數據中的模式來處理和生成語言 35。LLMs中的詞嵌入技術將詞語表示為高維空間中的抽象向量,從而捕捉詞語之間的語義關系 41。這種表示方法可以看作是柏拉圖理式或公孫龍子對名稱含義關注的一種計算類比。詞嵌入將具體的詞語抽象化為數學空間中的點,使得語義上相近的詞語在空間中的距離也更近,這體現了一種從具體到抽象的映射。
公孫龍子的“白馬非馬”悖論與LLMs處理語言中的分類和特異性的方式之間存在著有趣的聯系。例如,LLM可以理解“白馬”屬于“馬”的范疇,但這兩個術語在具體的含義和用法上并不完全相同。當用戶提出關于馬的問題時,LLM可以返回關于各種顏色和品種的馬的信息;而當用戶明確詢問白馬時,LLM則會聚焦于白色的馬。這種對概念層級和屬性的區分,與“白馬非馬”所探討的類別與個體、普遍與特殊的差異有著異曲同工之妙。
“離堅白”悖論中對硬度和白色這兩種屬性的抽象分離,也與LLMs識別和處理文本中實體的不同屬性的方式類似。LLM可以理解一塊石頭同時具有“硬度”和“白色”這兩種不同的特征。在處理文本時,LLM能夠識別出句子中不同實體的屬性,例如,“紅色的蘋果”中,“紅色”是“蘋果”的一個屬性。這種對屬性的識別和理解,與公孫龍子將硬度和白色視為可以獨立思考的概念有著相似之處。
雖然LLMs并不直接使用亞里士多德的三段論,但其底層的計算邏輯使其能夠執行問答和文本摘要等任務。LLMs通過學習大量的文本數據,識別出問題和答案之間的模式,以及文本中的關鍵信息。這種模式識別和信息提取的過程,可以看作是一種基于統計的邏輯推理。例如,當用戶提出一個問題時,LLM會搜索其訓練數據中與該問題相關的文本,并根據學習到的模式生成答案。這種過程雖然與亞里士多德的演繹推理有所不同,但都旨在從已知的信息中得出新的結論。
關于LLMs是否真正“推理”或僅僅通過模式匹配來模擬推理,一直存在著爭論 35。這種爭論與歷史上對公孫龍子意圖及其邏輯本質的討論遙相呼應。一些人認為LLMs只是在玩弄語言,而另一些人則認為它們正在進行某種形式的計算性抽象推理。
大型語言模型試圖“產生思想”或至少模擬認知過程的觀點
LLMs令人印象深刻地生成連貫且上下文相關的文本的能力,常常使人覺得它們似乎具備某種形式的“思想”。然而,關于LLM的輸出是否可以被視為一種“思想”或“推理”,以及這種比較在多大程度上有效,仍然是一個備受爭議的話題 35。
盡管LLMs在生成看似有意義的文本方面表現出色,但與人類認知相比,它們仍然存在明顯的局限性。首先,LLMs缺乏真正的理解和常識推理能力 36。它們主要依賴于模式匹配,而不是對概念的深刻理解 35。其次,LLMs在長期推理、因果推理和反事實思維方面存在困難 35。此外,LLMs可能會繼承訓練數據中存在的偏見 36。最根本的是,目前的LLMs缺乏意識、意圖和主觀體驗 42。
將LLMs的“思考”過程與公孫龍子和早期西方邏輯學家探索的抽象推理進行比較,可以看出,雖然在符號和概念的操縱方面存在一些表面上的相似之處,但其底層的機制和目標卻有著本質的不同。公孫龍子和早期西方邏輯學家試圖通過理性思辨來理解語言、概念和現實的本質,而LLMs則是通過對大量數據的統計學習來模擬語言的生成。因此,目前將LLMs理解為用于語言處理和生成的復雜工具更為恰當,而不是真正的人工通用智能。
大型語言模型如何通過處理和生成自然語言來影響現實世界中的感知、信念和行為
大型語言模型通過處理和生成自然語言,正在以多種方式影響著現實世界中人們的感知、信念和行為 47。LLMs被廣泛應用于各種領域 48,例如:生成文章、博客帖子和營銷材料等內容;在客戶服務中充當聊天機器人和虛擬助手;進行語言翻譯;分析數據并提取情感和主題等見解;以及提供個性化的產品推薦和定制化的營銷信息。在醫療保健領域,LLMs可以輔助生成患者報告和支持醫學研究;在教育領域,它們可以提供個性化的學習體驗。
LLMs的這些應用正在對社會產生深遠的影響。它們生成的內容和傳播的虛假信息可能會影響人們的感知和信念 47。LLMs在各個領域的決策過程中也發揮著越來越重要的作用。由于LLMs生成文本的質量越來越接近人類水平,它們也可能被用于操縱和宣傳 47。此外,LLM的自動化能力還可能對經濟和社會產生影響,例如導致某些行業的就業崗位流失和加劇數字鴻溝 47。同時,LLMs也引發了關于偏見、公平、隱私和責任等倫理問題 47。
這種影響可以追溯到語言的抽象本質,以及LLMs如何利用這種抽象性來塑造理解和溝通。正如公孫龍子探討了名稱定義現實的力量一樣,LLMs展示了一種通過語言生成來影響現實的計算能力。LLMs能夠生成看似權威的答案,參與看似有理有據的討論,從而影響人們對事物的看法。大規模生成類人文本的能力使得LLMs成為塑造輿論和影響現實世界行為的強大工具。
結論
古代哲學對語言和邏輯的探究與現代人工智能的進步之間的聯系是深刻且引人深思的。公孫龍子和早期西方邏輯學家對抽象概念的探索,為我們理解當今大型語言模型的能力和影響提供了寶貴的見解。
我在文章之中探討了公孫龍子的悖論與LLMs在處理分類和特異性方面的相似之處;“離堅白”中對屬性的抽象分離與LLMs的特征提取之間的聯系;亞里士多德的形式邏輯與LLMs底層計算邏輯的關聯;以及古代對語言力量的關注與LLMs通過語言影響現實的能力之間的呼應。
也許人類歷史對語言和邏輯領域抽象概念的探索,已經為理解現代人工智能的潛力與局限性提供了重要的哲學背景。在人工智能時代,古代哲學提出的關于語言、真理和推理本質的基本問題依然具有現實意義。研究抽象思維的歷史發展,可以為我們提供有價值的視角,從而更好地理解人工智能發展的潛在軌跡和倫理考量。跨學科的研究方法,將哲學、歷史和計算機科學相結合,對于全面理解人工智能對人類的意義至關重要。古代哲學的智慧之光,也許將是照亮我們探索語言、思想和現實未來道路的火炬。
特征? | 公孫龍子? | 早期西方邏輯 (柏拉圖 & 亞里士多德)? | 大型語言模型 (LLMs)? |
關注點? | 語言與現實 | 理式與推理 | 語言處理與生成 |
關鍵概念? | “白馬非馬”,“離堅白”,名實 | 理式論,三段論,范疇 | 詞嵌入,神經網絡,模式識別 |
抽象機制? | 屬性的概念分離,普遍與特殊的區分(通過論證) | 通過理性區分普遍與特殊 | 語言中模式和關系的統計學習 |
局限性? | 可能導致悖論性的結論,可能與經驗現實脫節 | 可能與經驗現實脫節 | 缺乏真正的理解、常識和意識 |
潛在影響力? | 通過論證和修辭影響思想 | 通過邏輯演繹和哲學論述影響思想 | 通過文本生成和信息塑造影響感知、信念和行為 |
參考鏈接
1.Gongsun Long - Wikipedia, ???https://en.wikipedia.org/wiki/Gongsun_Long???
2.Gongsun Long | EBSCO Research Starters, ???https://www.ebsco.com/research-starters/history/gongsun-long???
3.School of Names - Stanford Encyclopedia of Philosophy, ???https://plato.stanford.edu/entries/school-names/???
4.School of Names - Chinese Studies - Oxford Bibliographies, ???https://www.oxfordbibliographies.com/abstract/document/obo-9780199920082/obo-9780199920082-0056.xml???
5.White Horse Dialogue - Wikipedia, ???https://en.wikipedia.org/wiki/White_Horse_Dialogue???
6.Cracking the White Horse Puzzle - ScholarWorks, ???https://scholarworks.calstate.edu/downloads/9019s4615???
7.thezensite:When a White Horse Is Not a Horse, ???https://www.thezensite.com/ZenEssays/Philosophical/Horse.html???
8.Key Concepts in Chinese Thought and Culture, ???https://www.chinesethought.cn/EN/shuyu_show.aspx?shuyu_id=3681???
9.Gongsun Longzi 公孫龍子(www.chinaknowledge.de), ???http://www.chinaknowledge.de/Literature/Diverse/gongsunlongzi.html???
10.Experimental Psychology in ancient China: Gongsun Longzi and the School of Names, ???https://ccs.city/en/chinese-philosophers/experimental-psychology???
11.chine ancienne, chine antique, civilisation chinoise: Kung Sun Lung, Gongsun Long, philosophe de l'école des Noms, ???https://classiques.uqam.ca/classiques/chine_ancienne/B_autres_classiques/kung_sun_lung/kung_sun_lung_photo/kung_sun_lung_photo.html???
12.Gongsun Long (320–250 BCE) | Encyclopedia.com, ???https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/gongsun-long-320-250-bce???
13.Ancient logic | Definition, History, Parmenides, Zeno of Elea ..., ???https://www.britannica.com/topic/ancient-logic???
14.Ancient Philosophy and Science | Department of Classics, ???https://www.classics.pitt.edu/research/ancient-philosophy-and-science???
15.Ancient Greek philosophy - Wikipedia, ???https://en.wikipedia.org/wiki/Ancient_Greek_philosophy???
16.The Origins of Western Thought: The Pre-Socratics – Philosophy-A Short History3, ???https://pressbooks.cuny.edu/philosophyashorthistory3/chapter/the-origins-of-western-thought/???
17.Logic, History of | Encyclopedia.com, ???https://www.encyclopedia.com/religion/encyclopedias-almanacs-transcripts-and-maps/logic-history???
18.Classical Greek culture (article) | Khan Academy, ???https://www.khanacademy.org/humanities/world-history/ancient-medieval/classical-greece/a/greek-culture???
19.Western philosophy - Analytic, Logical, Rational | Britannica, ???https://www.britannica.com/topic/Western-philosophy/Analytic-philosophy???
20.Theory of Forms - Saylor Academy, ???https://learn.saylor.org/mod/book/tool/print/index.php?id=30538???
21.Plato's Theory of Forms | Daily Philosophy, ???https://daily-philosophy.com/platos-theory-of-forms/???
22.Theory of forms - Wikipedia, ???https://en.wikipedia.org/wiki/Theory_of_forms???
23.Plato s Theory of Forms, ???https://course.khoury.northeastern.edu/com3118/Plato.html???
24.Jinmei Yuan, Thinking through Sets: Exploring How Chinese Pictographic Language Shapes Chinese Logic - PhilPapers, ???https://philpapers.org/rec/YUATTS???
25.Chinese Philosophy – Hui Shi & The School Of Names - Eric Gerlach, ???https://ericgerlach.com/chinese-philosophy-hui-shi/???
26.Ancient Logic (Stanford Encyclopedia of Philosophy), ???https://plato.stanford.edu/entries/logic-ancient/???
27.Greek Logic: Principles & Examples | StudySmarter, ???https://www.studysmarter.co.uk/explanations/greek/greek-philosophy/greek-logic/???
28.History of logic - Aristotle, Syllogism, Deduction | Britannica, ???https://www.britannica.com/topic/history-of-logic/Aristotle???
29.Aristotle | Internet Encyclopedia of Philosophy, ???https://iep.utm.edu/aristotle/???
30.Aristotle: Logic - Philosophy Pages, ???http://www.philosophypages.com/hy/2n.htm???
31.The enduring evolution of logic | OUPblog, ???https://blog.oup.com/2016/07/history-of-logic/???
32.History of logic - Wikipedia, ???https://en.wikipedia.org/wiki/History_of_logic???
33.Aristotle Study Guide: Logic | SparkNotes, ???https://www.sparknotes.com/biography/aristotlebio/section4/???
34.iep.utm.edu, ???https://iep.utm.edu/aristotle/#:~:text=As%20the%20father%20of%20western,%3B%20therefore%2C%20Socrates%20is%20mortal.???
35.The Great Debate: Do Language Models Reason? | by Greg Robison, ???https://gregrobison.medium.com/the-great-debate-do-language-models-reason-e99a26f77753???
36.The Strengths and Limitations of Large Language Models, ???https://newsletter.ericbrown.com/p/strengths-and-limitations-of-large-language-models???
37.The Limitations of Large Language Models in the Quest for AGI: A Neuroscience Perspective | by Spencer Antonio Marlen-Starr | GoPenAI, ???https://blog.gopenai.com/the-limitations-of-language-models-in-the-quest-for-agi-a-neuroscience-perspective-6028c52d68ef???
38.Large Language Models Are So Unreasonable! - Wand AI, ???https://wand.ai/blog/large-language-models-are-so-unreasonable/???
39.The Working Limitations of Large Language Models - MIT Sloan Management Review, ???https://sloanreview.mit.edu/article/the-working-limitations-of-large-language-models/???
40.The Limitations of Large Language Models for Understanding Human Language and Cognition | Open Mind | MIT Press, ???https://direct.mit.edu/opmi/article/doi/10.1162/opmi_a_00160/124234/The-Limitations-of-Large-Language-Models-for???
41.Neural Networks and Philosophy of Language - Towards Data Science, ???https://towardsdatascience.com/neural-networks-and-philosophy-of-language-31c34c0796da/???
42.The debate over understanding in AI's large language models - PNAS, ???https://www.pnas.org/doi/10.1073/pnas.2215907120???
43.Multi-AI collaboration helps reasoning and factual accuracy in large language models, ???https://news.mit.edu/2023/multi-ai-collaboration-helps-reasoning-factual-accuracy-language-models-0918???
44.On the Language of Thoughts in Large Language Models - OpenReview, ???https://openreview.net/forum?id=3wrMRYuLlQ???
45.Encouraging Divergent Thinking in Large Language Models through Multi-Agent Debate, ???https://aclanthology.org/2024.emnlp-main.992/???
46.Logical Reasoning in Large Language Models: A Survey - arXiv, ???https://arxiv.org/html/2502.09100v1???
47.The Ethical Implications of Large Language Models in AI, ???https://www.computer.org/publications/tech-news/trends/ethics-of-large-language-models-in-ai/???
48.Understanding the Impact of Large Language Models (LLMs) on ..., ???https://gaper.io/impact-of-large-language-models-llms/???
49.Philosophy of artificial intelligence - Wikipedia, ???https://en.wikipedia.org/wiki/Philosophy_of_artificial_intelligence???
50.(PDF) LLMEra: Impact of Large Language Models - ResearchGate, ???https://www.researchgate.net/publication/381250937_LLMEra_Impact_of_Large_Language_Models???
51.The transformative impact of large language models on medical writing and publishing: current applications, challenges and future directions - PMC, ???https://pmc.ncbi.nlm.nih.gov/articles/PMC11362003/???
52.The impact of LLMs on Humankind. - by Carlos Kuhn - Medium, ???https://medium.com/@carlosclaitonkuhn/the-impact-of-llms-on-humankind-4addcbe257c0???
本文轉載自:??上堵吟??,作者:一路到底孟子敬
