1. Большая советская энциклопедия

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

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

Представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики (См. Формальная логика) как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота, Метатеория).

Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём – в частности Ф. в узком «математическом» смысле – носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более «формальной» теории). Так, традиционная «формальная» логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации

.

Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

Источник: Большая советская энциклопедия на Gufo.me

Значения в других словарях

  1. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ – отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений. Новая философская энциклопедия
  2. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ (от лат. formalis — предпочтение формы) — англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. Социологический словарь
  3. формализация — орф. формализация, -и Орфографический словарь Лопатина
  4. формализация — Форм/ал/из/а́ци/я [й/а]. Морфемно-орфографический словарь
  5. формализация — 1. Сведение сущности вещи, явления к их форме, формальным признакам. 2. Возможность быть представленным в виде формальной системы. Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003 Толковый переводоведческий словарь
  6. формализация — (< форма наружность, вид) В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования; способы исследования... Словарь лингвистических терминов Жеребило
  7. формализация — ФОРМАЛИЗАЦИЯ и, ж. formalisation f. Представление в виде формальной системы. Словарь галлицизмов русского языка
  8. формализация — ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. Энциклопедия эпистемологии и философии науки
  9. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму — знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Новейший философский словарь
  10. формализация — ФОРМАЛИЗАЦИЯ см. Формализовать. Толковый словарь Кузнецова
  11. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ — представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях. Большой энциклопедический словарь
  12. формализация — формализация I ж. 1. Процесс действия по гл. формализовать I 2. Результат такого действия. II ж. 1. Процесс действия по гл. формализовать II 2. Результат такого действия. III ж. 1. Процесс действия по гл. формализировать... Толковый словарь Ефремовой