期刊文献+

类型逻辑语法竖线算子的推广

原文传递
导出
摘要 逻辑和自然语言是两个不同的符号系统:逻辑抽象严格,自然语言生动丰富;逻辑和自然语言是密切相关的,逻辑的精确化特性对分析自然语言的句法语义问题来说具有方法论的作用。在这个视角下出现了下述研究模式:(1)基于自然语言自身的句法构造来考察自然语言的语义问题;(2)用基本属于逻辑的方式来表现自然语言的语义规律。如对汉语句"所有人是会死的",第二种模式对此抽象成逻辑公式"(H→D)",而第一种模式则基于该汉语句的句法生成,并行推演出其语义表达"所有(人,会死的)"。本栏目三篇文章前两篇属于第一种模式,第三篇是第二种模式。
出处 《哲学动态》 CSSCI 北大核心 2011年第2期90-93,共4页 Philosophical Trends
基金 国家社科基金项目"面向自然语言信息处理的范畴类型逻辑研究"(编号:09BZX046)的成果之一
  • 相关文献

参考文献1

  • 1G. Jager, Anaphora and Type Logical Grammar, Netherland: Springer, 2005, p. 135.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部