Формализация
(от лат. Forma - вид, образ) - отображение объектов некоторой предметной области с помощью символов к.-л. Языка.Простейший вид Ф. - прямая репрезентация (обозначение, именование, описание) объектов с помощью терминов. Напр., в естественном языке роль таких терминов выполняют отдельные слова и выражения ("человек", "круг", "белая роза" и т.п.), а в математике - цифры, знаки сложения, умножения и др. Математических операций. Такая "дескриптивная" Ф. Лежит в основе всех др. Типов Ф., среди которых прежде всего различают естественную и научную Ф.Естественная Ф. Представляет собой отображение объектов с помощью того или иного естественного языка. Научная Ф. - с помощью соответствующего формального языка. В процессе научной Ф., с одной стороны, осуществляется более точное и компактное отображение конкретных свойств и отношений, характеризующих ту или иную область исследования, а с др.
Стороны, используются дополнительные символические средства, позволяющие путем чисто синтаксических (формальных) преобразований получать новое знание об исследуемой предметной области. Кроме терминов, к числу таких символических средств относятся переменные, формулы, мета фор мулы, правила преобразования формул и ме-таформул, а также различного рода вспомогательные символы (скобки, запятые и т.п.).В зависимости от специфики формального языка (его выразительных возможностей, компактности и др. Характеристик) результаты Ф. Могут существенно различаться по степени своей адекватности отображаемой предметной области. С этой т.зр. Среди различных видов научной Ф. Особенно важное значение имеет дедуктивная (логическая) Ф.
Такая Ф. Представляет собой отображение всеобщих взаимосвязей между знаниями - понятиями, суждениями, умозаключениями, содержательными теориями, системами теорий - с помощью дедуктивно упорядоченных систем символов.Дедуктивная Ф. Включает в себя четыре следующих элемента. 1) введение терминов исходных понятий, а также терминов основных отношений между этими понятиями, 2) введение переменных и правил построения на их основе соответствующих формул, 3) введение исходных доказуемых формул (аксиом), 4) введение правил логического вывода, позволяющих из аксиом получать производные от них доказуемые формулы (теоремы).В качестве объекта логической Ф. Может выступать любое обыденное или научное знание, смысловое содержание естественного или формального языка, в т.ч.
Система самих естественно-языковых или формальных символов. Дедуктивная Ф. Позволяет уточнить и систематизировать различные содержательные представления, сформулировать новые проблемы и возможные пути их решения. Адекватная Ф. Всякой достаточно глубокой содержательной теории имеет нетривиальный характер и нередко затруднена различного рода логическими ошибками и парадоксами. Методы дедуктивной Ф. Все шире применяются в различных областях естественно-научного и гуманитарного знания. Особенно важное практическое применение методы логической Ф. Имеют в информатике, в области компьютерного моделирования познавательных процессов человека..
Дополнительный поиск Формализация
На нашем сайте Вы найдете значение "Формализация" в словаре Философский словарь, подробное описание, примеры использования, словосочетания с выражением Формализация, различные варианты толкований, скрытый смысл.
Первая буква "Ф". Общая длина 12 символа