4.0 尚芬哥爾操作與升型處理
弗雷格的函數符號
- 4.1 尚芬哥爾操作
- 4.2 升型處理
二
升型處理的首個對象是基本型﹕在一個合式字符串中，任一基本型 x 可提升至一個函子型，而此函子型的論元為一以 x 為論元的函子型。
兩個例子可以把這個升型處理規則說清楚﹕
4.2.3 的升型對象是基本型 n，比如有合式字符串「善人」而「善」是「人」的修飾語，升型的結果是函子型 (n/n)\n，其論元為一以 n 為論元的函子型 n/n。升型後的 (n/n)\n 的返回值 n 只不過是原來的 n。
4.2.3 是名詞與形容詞之間關係的改變，本來是形容詞「善」字用於修飾名詞「人」字，升型後是本屬名詞的「人」字用來修飾本是形容詞的「善」字，但「善」字的語構型維持其作為「人」字的修飾語的語構身份。升型處理的理據在於它根本上沒有改變原來的語構型指派。「善人」屬 n，「人」字屬 n，「善」字屬 n/n。升型之後，「善人」仍然屬 n，「善」字仍然屬 n/n﹔唯一的變化是本來屬 n 的「人」字現今屬於 (n/n)\n，但其論元「善」字仍然屬於 n/n，「善」字維持其修飾「人」字的語構功能。換句話說，升型後的「人」字屬於 (n/n)\n，其論元是本來就屬於 n/n 的「善」字，而「善」字的語構型(n/n) 來自它與屬於 n 的「人」字的語構關係。
__________
待續
