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