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.