谷歌浏览器插件
订阅小程序
在清言上使用

The Quantified Argument Calculus and Natural Logic

DIALECTICA(2020)

引用 1|浏览2
暂无评分
摘要
The formalisation of natural language arguments in a formal language close to it in syntax has been a central aim of Moss's Natural Logic. I examine how the Quantified Argument Calculus (Quarc) can handle the inferences Moss has considered. I show that they can be incorporated in existing versions of Quarc or in straightforward extensions of it, all within sound and complete systems. Moreover, Quarc is closer in some respects to natural language than are Moss's systems-for instance, it does not use negative nouns. The process also sheds light on formal properties and presuppositions of some inferences it formalises. Directions for future work are outlined.
更多
查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要