1. Формализация – (от лат. formalis - предпочтение формы) - англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории - построение логической структуры, посредством к-рой все положения теории взаимоувязываются; логическая структура может быть представлена в математической или нематематической, символической форме.
2. Формализация - отображение рез-тов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. Ф. теснейшим образом связана с процессом абстракции. Как и всякая абстракция , Ф. является необходимым моментом процесса познания. В математике и формальной логике, где Ф. наиболее развита под Ф. обычно понимают отображение содержательного знания в знаковом формате или формализованном языке . Непременным условием Построение? Узнать в Словаре Ожегова. Построение - это...'>построения такого языка является использование метода аксиоматического (см.), благодаря к-рому удается получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Полная Ф. теории достигается лишь тогда, когда отвлекаются от содержательного смысла самих исходных понятий и аксиом теории и полностью перечисляют правила логич. вывода теорем из аксиом. Полная Ф. какой-либо социологич. теории в настоящее время не представляется возможной, что обусловливается сложностью соц. явлений. Однако те или иные элементы Ф. используются практически в любом социологич. исследовании. Таким элементом, напр., является процесс измерения, когда рассматриваемые объекты отображаются как нек-рые математич. конструкты (см. Измерение в социологии). Рез-том измерения становятся формальные модели объектов, с к-рыми исследователь далее обращается в соответствии с правилами, отвечающими используемой математич. системе. Необходимым шагом при использовании любого математич. метода является построение формальной модели изучаемого явления. Так, используя многие методы классификации (см.), исследователь должен определенным (но не однозначным, зависящим от конкретной решаемой задачи ) образом формализовать свои представления о схожести классифицируемых объектов, о геометрич. форме искомых классов и т. д. Ф. играет существенную роль в анализе , уточнении и экспликации научн. понятий. Интуитивные понятия, хотя и кажутся более ясными с т. зр. обыденного сознания, но в силу их неопределенности и неоднозначности мало пригодны для науки. В научн. познании нередко не только нельзя разрешить, но даже сформулировать и поставить проблемы до тех пор, пока не будут разъяснены и уточнены относящиеся к ним понятия. Любая формализованная теория беднее соответствующей ей содержательной теории. Любой рез-т измерения беднее отраженного в нем реального объекта, любая математич. модель явления беднее его самого и т. д. Используя те или иные элементы Ф., исследователь, выигрывая в точности (а в случае использования математич. формализма - ив возможности анализировать информацию большого объема, что важно для социологии), достигает этого за счет сознательного отвлечения от многих сторон рассматриваемого содержания. Несоответствие между Ф. и содержательным знанием является важным источником развития науки, ведет к последовательной смене одних элементов формализма др., более точно отображающими изучаемые объекты и явления. Лит: Яновская С.А. Методологические проблемы науки. М., 1972; Кураев В.И. Диалектика содержательного и формального в научном познании. М., 1977; Формализация / /Краткий словарь по философии. М., 1979; Формализация//Философский энциклопедический словарь. М., 1983. Ю.Н. Толстова.
3. Формализация - способ выражения содержания совокупности знаний через опреленную форму - знаки искусственного языка . Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая Ф. невозможна даже в области математики (теорема К. Гёделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф. производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека : часть социальной информации теряется вследствие того, что происходит оперирование "застывшими" понятиями, в которых неизбежно отражается дискретность процесса мышления. Это не означает, что при логической Ф. не может быть получено новое знание , так как и формальная логика может служить методом получения нового знания в рамках рассудочной деятельности. А.А. Грицанов, Ю.В. Баранчик
