ФОРМАЛИЗАЦИЯ ЯЗЫКА КАК КОДИРОВАНИЕ ПРЕДСТАВЛЕНИЙ О МИРЕ

Irina Mikhaylovna Nekipelova


Аннотация


Статья посвящена исследованию процесса формализации языка, который рассматривается как основной способ естественного и искусственного кодирования человеком и обществом представлений и знаний о мире. Формализация обусловлена осуществлением в мышлении человека таких логических операций, как синтез и анализ. Реализация этого процесса необходима прежде всего для выражения мыслей человека в рамках субъективного языка и стандартизации объективного языка. В результате исследования было выявлено, что все значимые представления о мире закрепляются в языковой системе за языковыми константами, между которыми установлены отношения, регулируемые правилами оперирования. В целом, в языке действует большое количество алгоритмов, обеспечивающих работу языка и задающих общее направление развёртывания правил языка, но универсальных алгоритмов нет. Следовательно, любая непротиворечивая формализация теории оказывается принципиально неполной. Несмотря на то, что язык представляет собой не только то, что представлено в нём актуально, но и то, что заложено в нём потенциально, формализованными могут быть только материально выраженные константы и утверждения.

DOI: http://dx.doi.org/10.12731/2218-7405-2013-8-51


Ключевые слова


формализация языка, естественная формализация, искусственная формализация, объективный и субъективный язык, стандартизация языка

Полный текст:

PDF>PDF (English)

Литература


Ivin A. A., Nikiforov A. L. Slovar' po logike [Logic Dictionary]. URL: http://dic.academic.ru/dic.nsf/logic/391 (accessed June 6, 2013).

Nekipelova I. M. V mire nauchnyh otkrytij [In the World of Scientific Discoveries], no. 9.3 (33) (2012): 210-219.

Nekipelova I. M. Filologicheskie nauki. Teorija i praktika [Philological sciences. Theory and Practice], no. 5 (23), part 2 (2013): 158-160.

Sidorenko E. A. Formalizacija // Novaja filosofskaja jenciklopedija [Formalization // The New Philosophic Encyclopedia]. http://dic.academic.ru/dic.nsf/enc_philosophy/1309/FORMALIZACIJa (accessed June 6, 2013).

Filosofija: Jenciklopedicheskij slovar' [Philosophy: Encyclopedic Dictionary]. http://dic.academic.ru/dic.nsf/enc_philosophy/1309/FORMALIZACIJa (accessed June 6, 2013).

Filosofskij jenciklopedicheskij slovar' [Philosophic Encyclopedic Dictionary]. http://dic.academic.ru/dic.nsf/enc_philosophy/1309/FORMALIZACIJa (accessed June 6, 2013).




DOI: https://doi.org/10.12731/2218-7405-2013-8-51

ISSN 2658-4034

HotLog Яндекс цитирования