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