Hom. entre la syn. et la sém….

如果要用一种显式、递归、能用计算机处理的方式去理解自然语言（比如英语）的语句，可以先通过形式语法（比如 Chomsky 的生成语法）显式、递归地生成出无穷多个“语法正确”的句子，然后将他们用显式、递归地方法翻译到 Lambda 语言中（高阶有类型的逻辑句法？中文这样翻？），然后再通过内沿语义学再次显式、递归地解释这些 Lambda 句子…本身这个已经让我很吃惊了，原来逻辑那么厉害，再次让我吃惊的就是 Montague，认为语法学（我吃你 vs. 吃我你）和语义学（我吃你 vs. 你吃我）之间存在一个同态…意思是说语法存在一个语法结构，语义（句子或者是字词的意思）存在一个语义结构，我们能够把语法的元素（比如“吃”）翻译到语义的元素（一个集合中的关系），而且这个翻译保持着语法和语义的结构！