FORMALIZATION OF LANGUAGE AS ENCODING OF IDEAS ABOUT THE WORLD

Abstract

The article is devoted to researching of formalization of language, which is viewed as the main way of natural and artificial encoding by human and society of conceptions and knowledge about the world. Formalization is been due to realization in human's mind such logic operation as synthesis and analysis. Realization of these processes need first of all for expression of human's thoughts within the bounds of subjective (private) language and standardization of objective (general) language. As a result of the realized research the fact that all significant conceptions about the world are fixed for language constant in language system (constants are related by regulated rules of handling) has been revealed. In whole, there are many algorithms, which ensure work of language and lay a main way for deployment of language rules. There are no universal algorithms. Therefore any consistent formalization of theory is in essence incomplete. Although language is not only something that present in language actually, but something that present in language potential. Only material expressed constants and assertions can be formalized. DOI: http://dx.doi.org/10.12731/2218-7405-2013-8-51

Keywords

• formalization of language
• natural formalization
• artificial formalization
• objective and subjective language
• standardization of language