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

less than 1 minute read

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

Updated:

Comments