ФОРМАЛИЗАЦИЯ — уточнение содержания познания, осуществляемое посредством того, что изучаемым объектам, явлениям, процессам данной области действительности определенным образом сопоставляются некоторые материальные конструкции, обладающие относительно устойчивым характером и позволяющие в силу этого выявлять и фиксировать существенные и закономерные стороны рассматриваемых объектов. Особенность Ф. как гносеологического приема состоит в том, что совершающееся с ее помощью выявление и уточнение содержания происходит через выявление и фиксацию его формы. Во всякой Ф. всегда присутствует момент огрубления живой, развивающейся действительности. Однако это «огрубление» является необходимой стороной процесса познания. Исторически Ф. возникла вместе с возникновением мышления и языка. Важный шаг в развитии Ф. был связан с появлением письменности. В дальнейшем, по мере развития науки, особенно математики, к средствам естественных языков стали добавляться знаки специального характера. Вместе с возникновением формальной логики возник прием логической Ф., состоящий в выявлении логической формы выводов и доказательств. Крупным этапом в развитии способов Ф. было создание в математике нового времени буквенных исчислений и возникновение идеи логического исчисления (Лейбниц). Построение логических исчислений в математической логике с середины 19 в. позволило применить ее средства к Ф. целых областей науки. Области знания, формализованные средствами математической логики, приобретают вид формальных систем. Ф. знания не снимает диалектически противоречивого отношения между содержанием и формой, характерного для всего познания в целом. Результаты совр. логики свидетельствуют о том, что если формализуется достаточно богатая содержанием теория (показателем содержательного «богатства» теории может служить выразимость в ней арифметики натуральных чисел), то она не может быть полностью отображена в формальной системе: в теории всегда остается невыявленный, неформализованный остаток. Это несоответствие между Ф. и формализуемым содержанием выступает в качестве внутреннего источника развития формально-логических средств науки и выражается обычно в обнаружении неразрешимых (в данной формальной системе) предложений. (Др. форма этого противоречия находит свое выражение в антиномиях.) Преодоление такого положения вещей происходит путем построения новых формальных систем, в к-рых формализуется часть того, что не было учтено при предшествующих Ф. Т. обр. осуществляется все более и более глубокая Ф. содержания, никогда, однако, не достигающая абсолютной полноты.


К СПИСКУ СЛОВ В НАЧАЛО СЛОВАРЯ

НА ГЛАВНУЮ