收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

从自然语言的真值条件到模型论语义学

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

知网文化
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978