Что значит «формализация»?

Значение слова «формализация» в словарях

(от лат. formalis — предпочтение  формы) — англ. formalization; HevbFormalisierung. 1. Представление  содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории — построение логической структуры, посредством к-рой все положения теории взаимоувязываются; логическая структура  может быть представлена в математической или нематематической, символической форме.

Источник: Социологический словарь

Социологический словарь

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

— отображение рез-тов мышления в точных понятиях или утверждениях. В этом смысле Ф. противопоставляется содержательному или интуитивному мышлению. Ф. теснейшим образом связана с процессом абстракции. Как и всякая абстракция,  Ф. является необходимым моментом процесса  познания. В математике и формальной логике, где Ф. наиболее развита под Ф. обычно понимают отображение содержательного знания в знаковом формате или формализованном языке.  Непременным условием построения такого языка является использование метода  аксиоматического (см.), благодаря к-рому удается получить все утверждения теории из небольшого числа принимаемых без доказательства утверждений, или аксиом. Полная Ф. теории достигается лишь тогда, когда отвлекаются от содержательного смысла самих исходных понятий и аксиом теории и полностью перечисляют правила логич. вывода теорем из аксиом. Полная Ф. какой-либо социологич. теории в настоящее время  не представляется возможной, что обусловливается сложностью соц. явлений. Однако те или иные элементы  Ф. используются практически в любом социологич. исследовании. Таким элементом, напр., является процесс измерения, когда рассматриваемые объекты  отображаются как нек-рые математич. конструкты  (см. Измерение  в социологии). Рез-том измерения становятся формальные модели  объектов, с к-рыми исследователь далее обращается в соответствии с правилами, отвечающими используемой математич. системе. Необходимым шагом при использовании любого математич. метода является построение формальной модели изучаемого явления. Так, используя многие методы классификации  (см.), исследователь должен определенным (но не однозначным, зависящим от конкретной решаемой задачи)  образом формализовать свои представления о схожести классифицируемых объектов, о геометрич. форме искомых классов и т. д. Ф. играет существенную роль  в анализе,  уточнении и экспликации научн. понятий. Интуитивные понятия, хотя и кажутся более ясными с т. зр. обыденного сознания, но в силу их неопределенности и неоднозначности мало пригодны для науки. В научн. познании нередко не только нельзя разрешить, но даже сформулировать и поставить проблемы до тех пор, пока не будут разъяснены и уточнены относящиеся к ним понятия. Любая формализованная теория  беднее соответствующей ей содержательной теории. Любой рез-т измерения беднее отраженного в нем реального объекта, любая математич. модель  явления беднее его самого и т. д. Используя те или иные элементы Ф., исследователь, выигрывая в точности (а в случае использования математич. формализма — ив возможности анализировать информацию большого объема, что важно для социологии), достигает этого за счет сознательного отвлечения от многих сторон рассматриваемого содержания. Несоответствие между Ф. и содержательным знанием  является важным источником развития науки, ведет к последовательной смене одних элементов формализма др., более точно отображающими изучаемые объекты и явления. Лит: Яновская С.А. Методологические проблемы науки. М., 1972; Кураев В.И. Диалектика  содержательного и формального в научном познании. М., 1977; / /Краткий словарь по философии. М., 1979; //Философский энциклопедический словарь. М., 1983. Ю.Н. Толстова.

Философский словарь

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

(от лат. forma — вид, образ) — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соответствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Ф. уточняет содержание путем выявления его формы и может осуществляться с разной степенью полноты. Выражение мышления в естественном языке можно считать первым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием частично искусственных и искусственных языков. Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тогда, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логического вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяемых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных формул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Проверка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вычислительной машине. Ф. играет существенную роль в уточнении научных понятий. Многие проблемы не могут быть не только решены, но даже сформулированы, пока не будут формализованы связанные с ними рассуждения. Так обстоит дело, в частности, с широко используемым понятием алгоритма и вопросом о том, существуют ли алгоритмически неразрешимые проблемы. Только с Ф. арифметики появилась возможность поставить вопрос, охватывает ли формализованная арифметика всю содержательную арифметику. Как показал К. Гёдель, достаточно богатая содержанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями последняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема).

Словарь логики

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

(от лат. forma — вид, образ)  — отображение результатов мышления в точных понятиях и утверждениях. При Ф. изучаемым объектам, их свойствам и отношениям ставятся в соот­ветствие некоторые устойчивые, хорошо обозримые и отождествимые материальные конструкции, дающие возможность выявить и зафиксировать существенные стороны объектов. Ф. уточняет содер­жание путем выявления его формы и может осуществляться с раз­ной степенью полноты. Выражение мышления в естественном языке можно считать пер­вым шагом Ф. Дальнейшее ее углубление достигается введением в обычный язык разного рода специальных знаков и созданием час­тично искусственных и искусственных языков. Логическая Ф. направлена на выявление и фиксацию логической формы выводов и доказательств. Полная Ф. теории имеет место тог­да, когда совершенно отвлекаются от содержательного смысла ее исходных понятий и положений и перечисляют все правила логи­ческого вывода, используемые в доказательствах. Такая Ф. включает в себя три момента: 1) обозначение всех исходных, неопределяе­мых терминов; 2) перечисление принимаемых без доказательства формул (аксиом); 3) введение правил преобразования данных фор­мул для получения из них новых формул (теорем). В формализованной теории доказательство не требует обращения к содержанию используемых понятий, их смыслу. Доказательство является здесь последовательностью формул, каждая из которых либо есть аксиома, либо получается из аксиом по правилам вывода. Про­верка такого доказательства (но не его отыскание) превращается в чисто механическую процедуру, которая может быть передана вы­числительной машине. Ф. играет существенную роль в уточнении научных понятий. Мно­гие проблемы не могут быть не только решены, но даже сформули-   рованы, пока не будут формализованы связанные с ними рассуж­дения. Так обстоит дело, в частности, с широко используемым по­нятием алгоритма и вопросом о том, существуют ли алгоритмичес­ки неразрешимые проблемы. Только с Ф. арифметики появилась возможность поставить воп­рос, охватывает ли формализованная арифметика всю содержатель­ную арифметику. Как показал К. Гёдель, достаточно богатая содер­жанием теория (охватывающая арифметику натуральных чисел) не может быть полностью отображена в ее формализованной версии; как бы ни пополнялась дополнительными утверждениями после­дняя, в теории всегда останется невыявленный, неформализованный остаток (см.: Гёделя теорема).

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

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

представление и изучение какой-либо содержательной областизнания (научные теории, рассуждения, процедура поиска и т. п.) в видеформальной системы или исчисления; связана с усилением роли формальнойлогики и математических методов в научных исследованиях.

Психологический словарь

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

— степень, в которой организация задает структуры и правила ориентации.

Психологическая энциклопедия

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

— степень, в которой организация задает структуры и правила ориентации.