формализация

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

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.