论逻辑语言的现代化转向

Modernization of Logic Language

传统的逻辑语言具有缺乏一致性、准确性和全面性的特点,因而在应用中受到较大的局限。而现代化的逻辑语言不仅对语言内容与语言形式作出区分,还对对象语言与元语言,以及语法学、语义学、语用学等语言层次上作出区分。因此,对逻辑语言的现代化转向的重新追溯和审视,将使人们更易于理解现代逻辑语言与传统逻辑语言的差异,并且对于逻辑学的发展和应用具有深远的理论意义和实践意义。

The traditional logic prehensiveness. Modem logic pragmatics, between objective language has great limitations without consistency, accuracy and corn- language not only makes distinctions among grammar semantics and language and meta-language and between language content and lan- guage form, but also has a faster development on inference aspects, such as propositional calculus and predicate calculus system. Therefore, it is easy to understand the differences between modem logic language and traditional logic language, and it has profound theoretical significance and practical val- ue in developing and progress logic.