20210702_逻辑和数学的纽带：塔斯基和克莱尼的形式理论

背景：形式语言这个术语本身也存在歧义。如塔斯基和卡尔纳普的对象语言及解释语言或元语言，克莱尼以及乔姆斯基的基于形式文法的形式语言，两方面就存在区别。 目的：旨在进一步揭示形式语言和间接形式化汉字汉语所带来的新发现-言和语的序位关系及其结构变换的法则，涉及：逻辑、数学以及广义翻译或广义双语乃至广义语言。