формализация в словаре кроссвордиста
Новый толково-словообразовательный словарь русского языка, Т. Ф. Ефремова.
ж. Процесс действия по знач. несов. глаг.: формализовать (1*).
ж. Процесс действия по знач. несов. глаг.: формализовать (2*).
Энциклопедический словарь, 1998 г.
представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т.п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.
Большая Советская Энциклопедия
представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы , или исчисления . Ф., осуществляемая на базе определённых абстракций, идеализаций и искусственных символических языков, используется прежде всего в математике (см. Математический формализм ), а также в тех науках, в которых применение математического аппарата достигает достаточной для этой цели степени зрелости. Ф. предполагает усиление роли формальной логики как основания теоретических наук, поскольку в случае формализованных теорий уже нельзя удовлетворяться интуитивным убеждением, что та или иная аргументация согласуется с логическими правилами, усвоенными благодаря так или иначе приобретённой способности к правильному мышлению. Полностью могут быть формализованы лишь элементарные теории с простой логической структурой и небольшим запасом понятий (например, исчисление высказываний и узкое исчисление предикатов √ в логике, элементарная геометрия √ в математике). Если же теория сложна, она принципиально не может быть полностью формализована (см. Полнота , Метатеория ).
Ф. позволяет систематизировать, уточнить и методологически прояснить содержание теории, выяснить характер взаимосвязи между собой различных её положений, выявить и сформулировать ещё не решенные проблемы. Ф. как познавательный приём √ в частности Ф. в узком «математическом» смысле √ носит относительный характер: одна и та же теория может быть одновременно и средством Ф. (некоторой другой теории и области явлений), и предметом Ф. (в более «формальной» теории). Так, традиционная «формальная» логика является Ф. по отношению к совокупности отражённых в ней закономерностей человеческого мышления; по отношению же к своим (аксиоматическим) Ф. она выступает в качестве содержательной теории предмета формализации
.
Лит.: Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Клини С. К., Введение в метаматематику, пер. с англ., М., 1957, ╖ 15; Чёрч А., Введение в математическую логику, пер. с англ., т. 1, М.. 1960, Введение.
Википедия
Формализа́ция — представление какой-либо содержательной области как набор характерных для неё признаков, использование которых позволяет понять её более содержательным образом. В развитом виде эти признаки предстают в виде формальной системы или показателей исчисления.
Поскольку лингвистическая структура естественного языка не совпадает с логической структурой форм и законов мышления, которые воплощаются в этом языке, логика вынуждена создавать специальные средства, которые бы дали возможность изъять из естественного языка формы мышления, их логические свойства, существенные отношения между ними, определить принципы логической дедукции , критерии различения правильных и неправильных способов рассуждения.
Создание логики специального языка, наряду с существующей на естественном языке, есть особый процесс, который предусматривает, что создана искусственная знаковая система является средством фиксации логической структуры мысли, с одной стороны, и средством исследования логических свойств и отношений мысли, с другой. То есть, язык логики — это прежде всего её метод. Принято говорить не «искусственный язык логики», а «формализованный язык логики». С лёгкой руки немецкого философа Иммануила Канта логике приписали прилагательное «формальная», поэтому логику стали называть формальной, а её метод — формализацией.
Достаточно качественная формализация, как и любое теоретическое рассмотрение, игнорирует некоторую часть доступной информации, но, вместе с тем, позволяет лучше понять свойства исследуемого предмета, недоступные непосредственному наблюдателю. Отсюда возрастающее значение формализованных стратегий глобализации (см. В. П. Терин. Этические императивы в стратегиях глобализации http://www.za-nauku.ru/index.php?option=com_content&task=view&id=3705&Itemid=35).
Примеры употребления слова формализация в литературе.
Оценка достоверности и достаточности доказательств пока не поддаетс формализации и в конечном счете носит содержательный характер, основывается на внутреннем убеждении На вопрос, возможна ли в принципе формализация мыслительного процесса при оценке доказательств по уголовным делам, утвердительно отвечает А.
В то время как всякая наша формализация идет по пути наивысшего отвлечения, ибо только с помощью такого рода операций нам удается достичь надежной инвариантности определений, эволюция идет по прямо противоположному пути.
Преобразования Лоренца, обобщающие формулы Галилея перехода от одной инерциальной системы отсчета в другую, являются неполной формализацией истинного математического представления о времени.
Найти такую формализацию стоимости - было стратегической целью маржинализма, рассматривающего формирование цены через теорию предельной полезности.
Было бы столь же неточно предполагать, будто всеобщая грамматика стала филологией, естественная история -- биологией, а анализ богатства -- политической экономией только благодаря тому, что все эти способы познания уточнили свои методы, ближе подошли к своим объектам, рационализировали свои понятия, выбрали более совершенные модели формализации, -- короче говоря, будто они вышли из своей предыстории благодаря некоему самоанализу разума.
Теория формализации раскрывает идею делимости как всеобщее основание физики.
Отсутствие всеобщей теории делимости и привело к возникновению квантовой механики как неполной формализации делимости.
Наоборот, категориальный состав традиционной онтологии с соответствующими формализациями и лишь негативными ограничениями переносится на это сущее, либо же в видах онтологической интерпретации субстанциальности субъекта на помощь призывается диалектика.
У обоих родителей это говорит о сниженном фоне настроения, тревожной мнительности и неуверенности в себе, наряду с негибкостью мышления, склонностью к образованию сверхценных идей, формализацией отношений и затруднениями в межличностных контактах.
После математической формализации принципа корреляции максимумов был проведен статистический эксперимент, в котором модель проверялась на ЗАВЕДОМО зависимых и заведомо независимых парах исторических текстов.
В части отрицательной: происходит вычленение области чистых форм познания, приобретающей одновременно и самостоятельность, и господство над всяким эмпирическим знанием, вновь и вновь порождая проект формализации конкретного знания и проект утверждения чистых наук во что бы то ни стало.
Источник: библиотека Максима Мошкова