期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到1篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
从自然语言的真值条件到模型论语义学 被引量：1
1
作者 李可胜 邹崇理 《中国社会科学院研究生院学报》 CSSCI 北大核心 2013年第4期110-113,共4页
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来构建自然语言的语义理论,这种理论曾受到过很多质疑,但是在蒙太格语法那里,戴维森的设想得以部分地实现。... 语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来构建自然语言的语义理论,这种理论曾受到过很多质疑,但是在蒙太格语法那里,戴维森的设想得以部分地实现。蒙太格语法将自然语言的语义表征为模型论语义解释,由于后者具有可判定性,也就使得自然语言的逻辑语义关系具有了可计算性。 展开更多
关键词 形式语义 戴维森纲领 蒙太格语法 真值条件
原文传递
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部