開山祖師爺
Let e and t be two fixed objects (0 and 1, say) that are distinct and neither
ordered pairs nor ordered triples. Then Cat, or the set of categories of English
is to be the smallest set X such that (1) e and t are in X, and (2) whenever A
and B are in X, A/B and A//B (that it, <0,A,B> and <1,A,B> respectively) are
also in X.
------Richard Montague
“The Proper Treatment of Quantification in Ordinary English”
誰能告訴我這是啥玩意兒啊!
花了一整個晚上研究這一段文字,卻還搞不懂後半段說的是什麼!
一直認為自己的理解能力很強,任何語言相關理論,都能輕易消化,這次,真的是踢到鐵板了!
爲了釐清形式語意學(Formal Semantics)的發展始末,找了人稱開山始祖的Richard
Montague的文章來讀,內容的第一段竟是這樣讓人摸不著頭緒的說明,語言的邏輯並非第一次接觸,但是,爲什麼---怎麼看就是看不懂這位祖師爺的訓示?是不是一定要有捉弄毛頭後輩的本事,才能稱得上「開山始祖」呢?
唉!「成才」與「不成才」的差距,雖說只有一線之隔,但是,「開山始祖」與「始作俑者」,甚至是「罪魁禍首」的差別,又何嘗不是如此呢?