Формализация: различия между версиями
| [отпатрулированная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Нет описания правки |
Нет описания правки |
||
Строка 1:
'''Формализа́ция''' — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) как набор характерных джля нее признаков, использование котороых позволяет понять ее более содержательным образом. В развитом виде эти признаки предстают в виде [[Формальная система|формальной системы]]
Поскольку лингвистическая структура [[Естественный язык|естественного языка]] не совпадает с логической структурой форм и законов мышления, которые воплощаются в этом языке, [[логика]] вынуждена создавать специальные средства, которые бы дали возможность изъять из естественного языка формы мышления, их логические свойства, существенные отношения между ними, определить принципы логической [[Дедуктивное умозаключение|дедукции]], критерии различения правильных и неправильных способов рассуждения.
| |||