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


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

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Синонимы:

Смотреть что такое "формализация" в других словарях:

  • ФОРМАЛИЗАЦИЯ — (от лат. forma вид, образ) отображение объектов некоторой предметной области с помощью символов к. л. языка. Простейший вид Ф. прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль… …   Философская энциклопедия

  • формализация — официализация Словарь русских синонимов. формализация сущ., кол во синонимов: 1 • официализация (3) Словарь синонимов ASIS. В …   Словарь синонимов

  • Формализация — описание основного содержания исследуемого явления (процесса) с помощью т. н. формализованного (формального) языка (символов и правил их написания). В военной теории и практике формализация используется в математическом моделировании,… …   Морской словарь

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

  • ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это… …   Новейший философский словарь

  • формализация — ФОРМАЛИЗОВАТЬ, зую, зуешь; ованный; сов. и несов. (книжн.). Представить ( влять) содержательную сторону явления в виде формальной системы или исчисления. Формализованный язык (система специализированных языковых средств или их символов с точными… …   Толковый словарь Ожегова

  • ФОРМАЛИЗАЦИЯ — (от лат. formalis предпочтение формы) англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. 2. В научной теории построение логической структуры, посредством к рой все… …   Энциклопедия социологии

  • формализация —         ФОРМАЛИЗАЦИЯ совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. В математике и… …   Энциклопедия эпистемологии и философии науки

  • формализация — и, ж. formalisation f. Представление в виде формальной системы …   Исторический словарь галлицизмов русского языка

  • Формализация — [formaliza­tion] описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно… …   Экономико-математический словарь

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

Книги

Другие книги по запросу «формализация» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.