本文旨在通过间接形式化的数理逻辑原理实现自然语言的形式化理解，本质是：理解言和语的关系。
其背景不仅涉及索绪尔指出的语言即棋两个系统的类比，而且还涉及维特根斯坦语言游戏的论断，再进一步还涉及塔斯基和卡尔纳普与乔姆斯基的形式语言（区分了对象语言和元语言暨解释语言）。索绪尔为什么能创立当代语言学？[1,2]维特根斯坦为什么会是语言哲学的集大成者？[-5]要理解本研究特别强调的言和语的关系数据库及其形成过程，就要追溯并回顾：塔斯基和卡尔纳普为什么不谋而合地创立了形式化语言？[6-9]以及乔姆斯基的语法结构为什么带来语言学革命？[10-12]本文对上述五位学者的研究做了系统回顾，进而得出表1（结合图6-10）和表。
由表1可见，本研究
转载请注明：http://www.0431gb208.com/sjszyzl/6829.html
