Lexicalized Proof-Theoretic Semantics for Natural Language

自然语言的词汇化证明理论语义

• 批准号: EP/D064015/1
• 负责人: Roy Dyckhoff
• 金额: $ 7.56万
• 依托单位: University of St Andrews
• 依托单位国家: 英国
• 项目类别: Research Grant
• 财政年份: 2007
• 资助国家: 英国
• 起止时间: 2007 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=EP%2FD064015%2F1
• 关键词: Lexicalized; Proof; Theoretic; Semantics; Natural

A theory of language needs to deal with (at least) two facets: form and meaning. Form is the territory of Syntax. This research focuses on a theory of meaning (semantics), which attempts to replace denotation in complicated mathematical domains by proof, again alluding to form. The research is based on the old idea (of the philosopher Wittgenstein) that the meaning of a word is its use in language, together with ideas from logicians about harmony between rules for introducing and using logical symbols.The intended application is to allow development of better computational techniques for making sense of fragments of natural language.

语言理论需要(至少)处理两个方面：形式和意义。形式是语法的领域。这项研究的重点是意义(语义学)理论，它试图用证明取代复杂数学领域中的外延，再次暗指形式。这项研究基于(哲学家维特根斯坦)的老观点，即单词的意义是它在语言中的使用，以及逻辑学家关于引入和使用逻辑符号的规则之间的协调性的想法。其目的是为了开发更好的计算技术来理解自然语言的片断。