升型處理
含有「升型處理」共 3 篇內容
全部內容
發佈日期由新至舊
4.0 尚芬哥爾操作與升型處理
4.1 尚芬哥爾操作
4.2 升型處理
二
下為第二例﹕
4.2.4 是原句各個成份的語構型指派。
4.2.4_1 和 4.2.4_2 是兩個不同的升型處理。
如假設「莊周夢蝶」為一合式或串聯句子，即 s，而「夢蝶」屬語構型 n\s﹔那麼 4.2.4_1
5/5上古漢語
4.0 尚芬哥爾操作與升型處理
4.1 尚芬哥爾操作
4.2 升型處理
二
升型處理的首個對象是基本型﹕在一個合式字符串中，任一基本型 x 可提升至一個函子型，而此函子型的論元為一以 x 為論元的函子型。
兩個例子可以把這個升型處理規則說清楚﹕
4.2.3 的升型對象是基本型 n，比如有
5/5上古漢語
4.0 尚芬哥爾操作與升型處理
4.1 尚芬哥爾操作
4.2 升型處理
一
為了解決一些推導上的問題，我們在 2.0 章中使用了升型處理，並且略為解釋了升型處理的依據。
我們也說過這是語言學學者的功勞。
但事實上，原來的概念必須追溯至德國數學家和邏輯學家弗雷格對函數的分析，比嘗試借用數學
5/5上古漢語的邏輯結構