ФОРМАЛИЗАЦИЯ

Новейший философский словарь:

ФОРМАЛИЗАЦИЯ - способ выражения содержания совокупности знаний через опреленную форму - знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф. , которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая Ф. невозможна даже в области математики (теорема Геделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф. производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека: часть социальной информации теряется вследствие того, что происходит оперирование "застывшими" понятиями, в которых неизбежно отражается дискретность процесса мышления. Это не означает, что при логической Ф. не может быть получено новое знание, так как и формальная логика может служить методом получения нового знания в рамках рассудочной деятельности. А. А. Грицанов, Ю. В. Баранчик

Большой энциклопедический словарь:

ФОРМАЛИЗАЦИЯ - представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п. ) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.

Новый словарь русского языка под редакцией Т.Ф.Ефремовой:

Формализация
1. ж.
Процесс действия по знач. несов. глаг. : формализовать.
2. ж.
Процесс действия по знач. несов. глаг. : формализовать.