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

Формализация
        представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики (См. Формальная логика) как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов – в логике, элементарная геометрия – в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота, Метатеория).
         Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём – в частности Ф. в узком «математическом» смысле – носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более «формальной» теории). Так, традиционная «формальная» логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации
        .
         Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, § 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Игры ⚽ Нужна курсовая?
Синонимы:

Полезное


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

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

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

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

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

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

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

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

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

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

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

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


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

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