公理形式演绎:从形式句法到形式语义

现代语言研究最显著的特点之一是形式化,而形式化的基础是公理形式演绎思想。分析公理形式演绎与自然语言研究的关系可以看出,由于自然语言的句法结构和语义结构都具有递归性,因而用公理形式演绎的方法研究语言也就成为必然。乔姆斯基的形式句法学应用公理演绎思想构造出人类语言的普遍语法,形式语义学则应用该思想为实际使用的语言构造语义的形式化表征。形式句法学和形式语义学所蕴含的公理形式演绎思想,代表着自然语言研究中的理性主义。