论文部分内容阅读
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来构建自然语言的语义理论,这种理论曾受到过很多质疑,但是在蒙太格语法那里,戴维森的设想得以部分地实现。蒙太格语法将自然语言的语义表征为模型论语义解释,由于后者具有可判定性,也就使得自然语言的逻辑语义关系具有了可计算性。