Formalization of language as encoding of ideas about the world
| Jazyk: | ruština |
|---|---|
| Rok vydání: | 2013 |
| Předmět: | |
| Zdroj: | Современные исследования социальных проблем. |
| ISSN: | 2218-7405 |
| Popis: | 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. Статья посвящена исследованию процесса формализации языка, который рассматривается как основной способ естественного и искусственного кодирования человеком и обществом представлений и знаний о мире. Формализация обусловлена осуществлением в мышлении человека таких логических операций, как синтез и анализ. Реализация этого процесса необходима прежде всего для выражения мыслей человека в рамках субъективного языка и стандартизации объективного языка. В результате исследования было выявлено, что все значимые представления о мире закрепляются в языковой системе за языковыми константами, между которыми установлены отношения, регулируемые правилами оперирования. В целом, в языке действует большое количество алгоритмов, обеспечивающих работу языка и задающих общее направление развёртывания правил языка, но универсальных алгоритмов нет. Следовательно, любая непротиворечивая формализация теории оказывается принципиально неполной. Несмотря на то, что язык представляет собой не только то, что представлено в нём актуально, но и то, что заложено в нём потенциально, формализованными могут быть только материально выраженные константы и утверждения. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
