《題閱歲亭》宋.吳芾
歲月催人老,
少年安在哉。
羡君杯酒里,
日日見花開。
如果○說話!人們聽的懂嗎?如果人聽不懂!那○話是□言嗎??
『 λ 運算』的歷史說著︰凡事起頭難。自一八七九年弗雷格 Frege 寫『概念文字 ── 模仿算術純思維之形式語言』以來,有志之士風起雲湧想要打造『概念天梯』直通『真理之路』!然而過程中『怪題悖論』卻也不斷,前輩們上窮碧落下黃泉的『冥思苦想』,遺留下了一些『概念里程碑』,很值得玩味推敲他們又是從『何處得來』的呢??
就讓我們介紹一些『有名字』的組合子吧︰
【恆等組合子】
【邱奇自然數】
…
【自然數後繼者】
【組合邏輯】
【邏輯真假】
【自我應用】
【Curry之悖論組合子】
【圖靈之定點組合子】
Lispers
“Lisp is worth learning for the profound enlightenment experience you will have when you finally get it; that experience will make you a better programmer for the rest of your days, even if you never actually use Lisp itself a lot.”
— Eric Raymond, “How to Become a Hacker“
人類的語言有眾多的『方言』是因為『鄉土』與『人文』的不同所造成的。然而『LISP』 是一個程式語言,卻有著各種方言,想來是每個人對『事物概念』的『理解』和『詮釋』不一樣才發生的。假使如『Lispers』所說的︰
Lisp 是用奧秘的『外星人』Alien 科技所製造的。
那麼『 λ語言』就是那個由人類創造的始原之『巴別塔』。
─── 摘自《λ 運算︰概念導引之《補充》※有名的組合子!!》
該怎麼去講學會語言之事,到底語法、語義
語義學
語義學(英語:Semantics,法語:La sémantique),也作「語意學」,是一個涉及到語言學、邏輯學、計算機科學、自然語言處理、認知科學、心理學等諸多領域的一個術語。雖然各個學科之間對語義學的研究有一定的共同性,但是具體的研究方法和內容大相逕庭。語義學的研究對象是自然語言的意義,這裡的自然語言可以是詞彙,句子,篇章等等不同級別的語言單位。但是各個領域裡對語言的意義的研究目的不同:
- 語言學的語義學研究目的在於找出語義表達的規律性、內在解釋、不同語言在語義表達方面的個性以及共性;
- 邏輯學的語義學是對一個邏輯系統的解釋,著眼點在於真值條件,不直接涉及自然語言;
- 與計算機科學相關的語義學研究在於機器對自然語言的理解;
- 認知科學對語義學的研究在於人腦對語言單位的意義的存儲及理解的模式。
語義學的建立以法國學者米歇爾·布勒阿爾(Micchel Bréal)1897年出版的《語義學探究》(Essai de Sémantiqus)一書為標誌。
和語義學經常混淆的一個術語是符號學,二者沒有直接的聯繫。(關於符號學的具體內容,請參見相關條目。)
另外需要指出的是美國的general semantics,其主旨與語義學沒有直接聯繫,general semantics這方面的著作比如有早川一會的《語言行動》(Language in Action)、《語言與人生》(Language in Thought and Action)。
語言學的語義學
若從嚴格意義上的語言學研究來分類,在現代語言學的語義學中,可以分為結構主義的語義學研究和生成語言學的語義學研究。
結構主義語義學是從20世紀上半葉以美國為主的結構主義語言學發展而來的,研究的內容主要在於詞彙的意義和結構,比如說義素分析,語義場,詞義之間的結構關係等等。這樣的語義學研究也可以稱為詞彙語義學,詞和詞之間的各種關係是詞彙語義學研究的一個方面,例如同義詞、反義詞,同音詞等,找出詞語之間的細微差別。
生成語義學是20世紀六七十年代流行於生成語言學內部的一個語義學分支,是介於早期的結構主義語言學和後來的形式語義學之間的一個理論陣營。生成語義學借鑑了結構語義學對義素的分析方法,比照生成音系學的音位區別特徵理論,主張語言的最深層的結構是義素,通過句法變化和詞彙化的各種手段而得到表層的句子形式。
形式語義學是從20世紀70年代開始發展出來的一個理論陣營。最初的研究開始於蒙太古以數理邏輯方 法對英語的研究,後來經過語言學家和哲學家的共同努力,發展成為一個獨立的學科,並且摒棄了蒙太古對生成語言學的句法學的忽視,強調語義解釋和句法結構的 統一,從而最終成為生成語言學的語義學分支。現今的形式語義學的研究在歐美的語言學系都很繁榮,喬姆斯基作出了大量貢獻。哲學系對形式語義學的研究已經漸漸失去了原有的興趣,進而轉向了心靈哲學的研究。
熟先熟後的呢??
What’s a computer Language For Kids
的耶!!