Lexicalized Proof-Theoretic Semantics for Natural Language

语言理论需要处理（至少）两个方面：形式和意义。形式是人类的领地。这项研究的重点是一个理论的意义（语义），试图取代指称在复杂的数学领域的证明，再次暗指形式。这项研究是基于哲学家维特根斯坦的旧思想，即一个词的意义是它在语言中的使用，以及逻辑学家关于引入和使用逻辑符号规则之间协调的想法。预期的应用是允许开发更好的计算技术来理解自然语言的片段。

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.