论形式化文本意义理论的可能性及其运用

It Is Time to Establish a Formal Theory for Meaning

当前第五代计算机的研制中发展起来的符号动力学、计算语言学、模糊逻辑、形式语义学等学科,以及人工智能对自然语言意义所作的处理,为传统的符号学方法和形式分析探寻文本意义结构提供了强大的技术手段;极大地推动了文本意义理论向符号化、形式化和公理化方向发展。一种建立在当代高新技术手段上的文本意义理论形式系统,将有效地补正重经验直观轻逻辑分析的传统批评的缺陷。

Symbolic dynamics, computational linguistics, fuzzy logic, formal semantics, and artificial intelligence dealing with natural language, which were developed with the fifth generation of computer, provide powerful technology for exploring meaning in texts by means of traditional semiotics and formal analysis, and have largely advanced the symbolization, formalization, and axiomatization of the theory of textual meaning.