从语言到逻辑——范畴类型逻辑序列

From Language to Logic——Category and Type Logic Sequence

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。

Category and Type Logic Sequence is an important school dealing with cross study between language and logics in recent 30 years, and a formal semantic theory having great effect on the computerized process of natural languages. This theory takes the generation of natural languages as the operation and deduction of category, on the basis of which the sentence systems of natural languages are constituted, and the direct and indirect semantic explanations are established. On the other hand, it constitutes the logic system for category deduction and equips with simulated semantic explanations of the possible world. The study results on category and type logic sequence can be directly applied in the computer information process of natural languages and in the theoretical study on formal semantics of Chinese language.