逻辑学对语义学的影响（三） (4-4)

在这种类型论视角下，一大批其他语言表达的类型都可以被很容易地整合进来，比如形容词应用于＜e，t＞类型的名词，得到的还是类型表达，其类型就应当是＜＜e，t＞，＜e，t＞＞。实际上，修饰语的类型可以抽象为＜T1，T1＞。这也反映了修饰语是可以多次重复叠加的，比如red tasty apple。

在蒙塔古的工作中，意义的组合性被严格执行，与之相应的是语言表达的句法类别能够直接与语义类型建立映射关系，这套形式化的句法理论称为范畴语法（categorial grammar），它是在1930年代中期Kasimierz Ajdukiewicz 的思想和Yehoshua Bar-Hillel（1953）的基础上建立的。

复杂语义类型＜T1, T2＞对应的句法类别就是S2/S1或者S2\S1，它们都表达一个输入S1类别表达得到S2类别表达的函数，不同之处在于S2/S1所需要的S1要加在右边，S2\S1需要的S1要加在左边。例如，英语里的名词类别可以记作N，限定词短语（限定词+名词，如the house）的类别可以记作DP，那么DP/N代表的就是限定词的类别，它需要一个名词类别的表达加在其右边。

范畴语法将同样类别的语言描述为一种上下文无关文法（context free grammar），在应用于自然语言时，它们会面临同样的问题。尽管自然语言中大多数现象都可以在原则上被一个上下文无关语法所表征，但当其真正应用于自然语言的实际片段时，会产生许多反直觉的结果。尤其是遇到不连续的成分时，要处理语义组合性，就必须涉及到一系列复杂的反直觉的范畴。

数学联邦政治世界观提示您：看后求收藏（同人小说网http://tongren.me），接着再看更方便。