Что такое Формализация? Значение и толкование слова formalizatsija, определение термина

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

Посмотреть значение слова Формализация в других словарях:

Что означает термин Формализация?Социологический словарь

Толкование слова ФормализацияФилософский словарь

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Формальная Логика - или: Л о г и к а,  — наука, занимающая­ся анализом структуры высказываний и доказательств,...

Формальная Суппозиция - см.: Суппозиция.

Формальная Теория -  — теория в формализованном языке. Важной особенностью Ф. т. является то, что содержательные...

Формы Мысли - или: Формы мышления,  — в традици­онной логике основными формами мысли считаются понятие,...

Функтор -  — средство преобразования знаковых выражений и порождения одних выражений из других. Напр., знак...

Функция - (от лат. functio — осуществление, выполнение)  — соот­ветствие между переменными величинами х и...