上古漢語的邏輯結構 173

更新於 2024/12/17閱讀時間約 4 分鐘

4.0 尚芬哥爾操作與升型處理

raw-image


4.1 尚芬哥爾操作

為了在函子/論元的結構框架內再進一步揭示上古漢語與屈折語 (譬如德語) 的差異,讓我們重新探討一下 1.4 章中艾杜凱維茨的原例句。

1.4.1_5 僅僅是原例句的一部份。現還原整個例句,以呈現上古漢語與屈折語的差異。1.4.1_5 句為「The lilac smells very strongly」,而原德语例句則是﹕104

raw-image

把自然語言納入一個如範疇語法的推導系統之內有一個難題,就是要確保用來滿足一個函子的論元的而且確是該函子的論元,否則該系統或能推出一個不合式的字符串或未能推出一個合式字符串。若有此情況,該系統當然毫無用處。所以艾杜凱維茨引入波蘭記法,規定函子置前,其論元置後,並且一階論元緊接其 (一階) 函子之後。但由於這個系統不是一個單論元系統,因此推導時有另一規定,就是從左至右,找到可以配對的一個或多個範疇論元,進行消去操作之後,再回到起點,從左至右,找到可以配對的一個或多個範疇論元,直至推導告終或中斷。

作為一個邏輯系統,其推導過程相當繁瑣累贅﹔比如 Aj1 有這樣的語構型指派﹕

raw-image

然後按艾杜凱維茨的規定,我們有﹕

raw-image

最後的解析和推導如下﹕

raw-image

下劃線為我們所加,以表呈所配對的函子和論元。

「實際指標序列」(eigentliche Indexfolge),即非原語序,是經過函子及其論元配對後的序列,而「導數」(die Anleitung),即我們的最終導數。

Aj1 是原句,Aj2 的語構範疇指派其實是按 Aj3 Aj4 的解讀得來。

Aj3 Aj4 是艾杜凱維茨系統的推導的核心。

Aj3 Aj4 的解讀決定了哪個成份是哪個或哪些成份的函子。

有了這個解讀,為了方便機械化的單向推導,我們重新按這個解讀排列原句的成份。最後是根據這個序列進行推導。

上述推導的略顯笨拙與艾杜凱維茨的範疇語法無關,原因在於德語 (和英語) 的自然語序缺乏一個對應機械化操作的結構,即德語語句並非按函子/論元的單向結構方式組合而成,所以我們必須為每一個函子尋找其一個或多個論元。

兩個系統之間最明顯的差別在於使用 W 系統時,我們無需尋找互相配對的函子和論元。由於上古漢語的一個基本結構是後項為其前項的函子,即函子置後原則,我們基本上是從左至右,結合接續的語構型論元,直至最後一個語構型論元的消去。

4.1_12 為例,「也」字的語構型 (s/n)/結合「之」的語構型 (n/n)/n,得出返回值 (s/n)/n/n,用此結合「本」字的語構型 n,再結合「德」字的語構型 n,再得出另一個返回值 s/n,最後取「孝」字的語構型 為論元,從而取得一個 s,即證明了 4.1_12 為一合式句。

換句話說,上古漢語的語構結構是機械化的,有點類似英國數學家曉‧麥哥的觀察﹕作為非屈折語的中國語的語法類似代數。

上古漢語語構所體現的尚芬哥爾操作是為佐證。

__________

104 英語翻譯﹕The lilac smells very strongly and the rose blooms。就本句而言,英語和德語的結構相同。

待續




內容總結
上古漢語的邏輯結構
5
/5
avatar-img
6會員
314內容數
我們這裡談兩個東西: 哲學和邏輯,以及與哲學和邏輯相關的東西。 首先開設的房間是《綁架愛麗絲 之 地下邏輯》。 隨後將陸續開設《綁架愛麗絲 之 鏡像語言》和《上古漢語的邏輯結構》。 聯絡作者﹕sen.wong@protonmail.com
留言0
查看全部
avatar-img
發表第一個留言支持創作者!
sen的沙龍 的其他內容
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 四 讓我們比較一下 W 系統和艾杜凱維茨的 1936 年的系統,從中可以見到兩類語言的語構差異,而不是兩個系統的差異。 兩個系統沒有本質上的分別,因為正如蘭姆貝克語構演算 (Lambek Calculus) 實根據艾杜凱維茨的範疇語法
5/5上古漢語的邏輯結構
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 三 現在我們提出一個主張,上古漢語的語構不單具有一個頗為清晰的論元\函子 (原語序) 結構,這個結構更結合了尚芬哥爾操作,而且必須通過尚芬哥爾操作才能進一步理解上古漢語的邏輯結構。上古漢語裡即使是最簡單的句式亦隱含這種「處理」。自然語言
5/5上古漢語的邏輯結構
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 二 4.1_1 是一個函數。在缺乏規約的情況下, 是有歧義的,因為在實際操作上,我們不知道應該如何使用函子 F。 使用括號是一個常用的手段,例如 這明顯是一個二元函數,換句話說,這個函數的返回值同時需要兩個輸入值。假設 F 是求和函數
5/5上古漢語的邏輯結構
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 一 我們對上古漢語的解析系統 (parsing system) 使用了升型處理,故有需要在這裡略為陳述這個邏輯概念及操作的背境。 在邏輯模仿數學的公理化過程中,對基元 (primitives) 的化約一直以來都受到邏輯學者的關注。從布
5/5上古漢語的邏輯結構
3.0 歧義的處理 — 函算語法的一個應用 三 另一方面,如按 3.0_8 的解讀,推導和理解兩者均順理成章﹕ 我們認為「名」字用作動詞,統領「天地之始」和「無」兩個成份,用法上類似「非」字及「知」字的用法而無需在我們的語法系統中遷移位置。3.0_8.1 - 3.0_8.7 的解析和推導證明了
5/5上古漢語
3.0 歧義的處理 — 函算語法的一個應用 二 《道德經》的首句為「道可道非常道。名可名非常名。無名天地之始;有名萬物之母。故常無欲以觀其妙;常有欲以觀其徼。此兩者同出而異名,同謂之玄。玄之又玄,眾妙之門」﹔箇中的歧義句包括「無名天地之始」﹑「有名萬物之母」﹑「故常無欲以觀其妙」和「常有欲以
5/5上古漢語
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 四 讓我們比較一下 W 系統和艾杜凱維茨的 1936 年的系統,從中可以見到兩類語言的語構差異,而不是兩個系統的差異。 兩個系統沒有本質上的分別,因為正如蘭姆貝克語構演算 (Lambek Calculus) 實根據艾杜凱維茨的範疇語法
5/5上古漢語的邏輯結構
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 三 現在我們提出一個主張,上古漢語的語構不單具有一個頗為清晰的論元\函子 (原語序) 結構,這個結構更結合了尚芬哥爾操作,而且必須通過尚芬哥爾操作才能進一步理解上古漢語的邏輯結構。上古漢語裡即使是最簡單的句式亦隱含這種「處理」。自然語言
5/5上古漢語的邏輯結構
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 二 4.1_1 是一個函數。在缺乏規約的情況下, 是有歧義的,因為在實際操作上,我們不知道應該如何使用函子 F。 使用括號是一個常用的手段,例如 這明顯是一個二元函數,換句話說,這個函數的返回值同時需要兩個輸入值。假設 F 是求和函數
5/5上古漢語的邏輯結構
4.0 尚芬哥爾操作與升型處理 4.1 尚芬哥爾操作 一 我們對上古漢語的解析系統 (parsing system) 使用了升型處理,故有需要在這裡略為陳述這個邏輯概念及操作的背境。 在邏輯模仿數學的公理化過程中,對基元 (primitives) 的化約一直以來都受到邏輯學者的關注。從布
5/5上古漢語的邏輯結構
3.0 歧義的處理 — 函算語法的一個應用 三 另一方面,如按 3.0_8 的解讀,推導和理解兩者均順理成章﹕ 我們認為「名」字用作動詞,統領「天地之始」和「無」兩個成份,用法上類似「非」字及「知」字的用法而無需在我們的語法系統中遷移位置。3.0_8.1 - 3.0_8.7 的解析和推導證明了
5/5上古漢語
3.0 歧義的處理 — 函算語法的一個應用 二 《道德經》的首句為「道可道非常道。名可名非常名。無名天地之始;有名萬物之母。故常無欲以觀其妙;常有欲以觀其徼。此兩者同出而異名,同謂之玄。玄之又玄,眾妙之門」﹔箇中的歧義句包括「無名天地之始」﹑「有名萬物之母」﹑「故常無欲以觀其妙」和「常有欲以
5/5上古漢語
你可能也想看
Google News 追蹤
Thumbnail
*合作聲明與警語: 本文係由國泰世華銀行邀稿。 證券服務係由國泰世華銀行辦理共同行銷證券經紀開戶業務,定期定額(股)服務由國泰綜合證券提供。   剛出社會的時候,很常在各種 Podcast 或 YouTube 甚至是在朋友間聊天,都會聽到各種市場動態、理財話題,像是:聯準會降息或是近期哪些科
Thumbnail
2.0 上古漢語的特殊結構 2.3 之乎者也 —  也 (矣﹑焉) 2.3.1 也 一﹕初探之四 現在讓我們從函數引申出來的函子/論元觀點來解析上述「也」字的用法。用初級計算機科學編程的語言來說,函子就是一個具有函數功能的物件 (object),方便我們使用﹔它的功能就是讓我們可以召喚
Thumbnail
2.0 上古漢語的特殊結構 2.1 若干問題的澄清 二 舉個例子,假設有這樣的一個合乎語法的字符串﹕ 已知的是「AB」屬 x 語構型,而「A」屬 y 語構型,那麼「B」顯然屬於語構型 y\x。 其次,語言學家薩皮爾對語法的一個觀察十分準確﹕所有語法都有遺漏。 由於我們的研究對象是
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 1.4.2 函算語法與函數概念 四 在以語構範疇為單位的語言結構上,同樣可以應用前述的函數概念或規則。其中一個最大的分別是,若以 1.4.2_4 為用作對比的例子,函算語法的論域 (domain of dis
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 1.4.2 函算語法與函數概念 三 弗雷格從語言結構的觀點出發,提出了函數可以被視為一個不完整的表式。如果我們將一個函數拆解為一個由一個函子及其 (一個或多個) 論元所組成的表式,那麼該函子便是一個有待滿足的
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 1.4.2 函算語法與函數概念 二 關於函數的演變和弗雷格對函數的看法,前面的 1.2 節和 1.3 節已經談論了不少。 由於函數在數學﹑邏輯學﹑計算語言學極為重要,更且是本書闡述的語法的中心概念,因此有必要再略作
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 九 為能清晰說明,我們給範疇次序標號 (即置頂的 1-5),使整個推導過程看似一個矩陣﹕ 1.4.1_5.3 艾杜凱維茨的推導矩陣 第 2 行的 gr:1 (C1, C2) 是說 gr 用於第 1 行的 C
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 五 艾杜凱維茨的語構範疇理論有兩個關於形式語言的預設﹕[Ajdukiewicz 1935: 2]57 1.4.1_1 一個詞構 (das Wortgefüge)58 必須是一個連貫的整體才具有意義。 1.
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 三 上文的這個思想的淵源來自古希臘文語法和歐洲中古時期經院派邏輯對範疇詞 (κατηγόρημα;英譯: categorematic terms) 與非範疇詞 (συνκατηγορημα; 英譯: synca
Thumbnail
1.0 從函數到函算語法 1.1 句子成份 1.2 函數概念小史 1.3 弗雷格的函數概念 十一 弗雷格還提出另一個例子,說明主謂語結構分析不合理。 在應用到非標準主謂句式時,主語和謂語的區分便不再清晰了。 譬如 1.3_22 (氫比二氧化碳比氫輕) 也可以寫作 1.3_25
Thumbnail
1.0 從函數到函算語法 1.1 句子成份 1.2 函數概念小史 1.3 弗雷格的函數概念 五 弗雷格要我們注意一個現象,假如我們稱「x」為一個「論元」(argument), 1.3_7 2.13+2 ﹑ 1.3_8 2.23+2 ﹑ 1.3_9 2.33
Thumbnail
*合作聲明與警語: 本文係由國泰世華銀行邀稿。 證券服務係由國泰世華銀行辦理共同行銷證券經紀開戶業務,定期定額(股)服務由國泰綜合證券提供。   剛出社會的時候,很常在各種 Podcast 或 YouTube 甚至是在朋友間聊天,都會聽到各種市場動態、理財話題,像是:聯準會降息或是近期哪些科
Thumbnail
2.0 上古漢語的特殊結構 2.3 之乎者也 —  也 (矣﹑焉) 2.3.1 也 一﹕初探之四 現在讓我們從函數引申出來的函子/論元觀點來解析上述「也」字的用法。用初級計算機科學編程的語言來說,函子就是一個具有函數功能的物件 (object),方便我們使用﹔它的功能就是讓我們可以召喚
Thumbnail
2.0 上古漢語的特殊結構 2.1 若干問題的澄清 二 舉個例子,假設有這樣的一個合乎語法的字符串﹕ 已知的是「AB」屬 x 語構型,而「A」屬 y 語構型,那麼「B」顯然屬於語構型 y\x。 其次,語言學家薩皮爾對語法的一個觀察十分準確﹕所有語法都有遺漏。 由於我們的研究對象是
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 1.4.2 函算語法與函數概念 四 在以語構範疇為單位的語言結構上,同樣可以應用前述的函數概念或規則。其中一個最大的分別是,若以 1.4.2_4 為用作對比的例子,函算語法的論域 (domain of dis
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 1.4.2 函算語法與函數概念 三 弗雷格從語言結構的觀點出發,提出了函數可以被視為一個不完整的表式。如果我們將一個函數拆解為一個由一個函子及其 (一個或多個) 論元所組成的表式,那麼該函子便是一個有待滿足的
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 1.4.2 函算語法與函數概念 二 關於函數的演變和弗雷格對函數的看法,前面的 1.2 節和 1.3 節已經談論了不少。 由於函數在數學﹑邏輯學﹑計算語言學極為重要,更且是本書闡述的語法的中心概念,因此有必要再略作
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 九 為能清晰說明,我們給範疇次序標號 (即置頂的 1-5),使整個推導過程看似一個矩陣﹕ 1.4.1_5.3 艾杜凱維茨的推導矩陣 第 2 行的 gr:1 (C1, C2) 是說 gr 用於第 1 行的 C
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 五 艾杜凱維茨的語構範疇理論有兩個關於形式語言的預設﹕[Ajdukiewicz 1935: 2]57 1.4.1_1 一個詞構 (das Wortgefüge)58 必須是一個連貫的整體才具有意義。 1.
Thumbnail
1.0 從函數到函算語法 1.4 函算語法 1.4.1 語法範疇理論導論 三 上文的這個思想的淵源來自古希臘文語法和歐洲中古時期經院派邏輯對範疇詞 (κατηγόρημα;英譯: categorematic terms) 與非範疇詞 (συνκατηγορημα; 英譯: synca
Thumbnail
1.0 從函數到函算語法 1.1 句子成份 1.2 函數概念小史 1.3 弗雷格的函數概念 十一 弗雷格還提出另一個例子,說明主謂語結構分析不合理。 在應用到非標準主謂句式時,主語和謂語的區分便不再清晰了。 譬如 1.3_22 (氫比二氧化碳比氫輕) 也可以寫作 1.3_25
Thumbnail
1.0 從函數到函算語法 1.1 句子成份 1.2 函數概念小史 1.3 弗雷格的函數概念 五 弗雷格要我們注意一個現象,假如我們稱「x」為一個「論元」(argument), 1.3_7 2.13+2 ﹑ 1.3_8 2.23+2 ﹑ 1.3_9 2.33