ФОРМАЛИЗАЦИЯ

ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму — знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Это способствует процессу приведения наук в строгую систему; однако всеобъемлющая Ф. невозможна даже в области математики (теорема Геделя). Логическая Ф. часто служит в целях составления программ для ЭВМ и попыток моделирования мышления. В этом случае используются особые алгоритмические языки. Поскольку логическая Ф. производится на основе формальной логики, постольку исчисление высказываний (и предикатов) всегда предполагает лишь имитацию движения понятий в ходе мышления у человека: часть социальной информации теряется вследствие того, что происходит оперирование «застывшими» понятиями, в которых неизбежно отражается дискретность процесса мышления. Это не означает, что при логической Ф. не может быть получено новое знание, так как и формальная логика может служить методом получения нового знания в рамках рассудочной деятельности.

Источник: Новейший философский словарь на Gufo.me


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

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