Формализация: различия между версиями
| [отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Артурчик. (обсуждение | вклад) |
Amk1925 (обсуждение | вклад) Ссылка на статью ‘знаковая систем’. Метки: с мобильного устройства из мобильной версии |
||
Строка 3:
Поскольку лингвистическая структура [[Естественный язык|естественного языка]] не совпадает с логической структурой форм и законов мышления, которые воплощаются в этом языке, [[логика]] вынуждена создавать специальные средства, которые бы дали возможность изъять из естественного языка формы мышления, их логические свойства, существенные отношения между ними, определить принципы логической [[Дедуктивное умозаключение|дедукции]], критерии различия правильных и неправильных способов рассуждения.
Создание логики специального языка, наряду с существующей на естественном языке, есть особый процесс, который предусматривает, что создана искусственная [[знаковая система]] является средством фиксации логической структуры мысли, с одной стороны, и средством исследования логических свойств и отношений мысли, с другой. То есть, язык логики — это прежде всего её метод. Принято говорить не «искусственный язык логики», а «формализованный язык логики». С лёгкой руки немецкого философа [[Кант, Иммануил|Иммануила Канта]] логике приписали прилагательное «формальная», поэтому логику стали называть формальной, а её метод — формализацией.
Любая формализация по определению игнорирует некоторую часть доступной информации и, следовательно, обедняет содержательное представление об исследуемом объекте.<ref>Реймер Леонид Абрамович, кандидат экономических наук, старший научный сотрудник Института системного анализа РАН. Статья "О природе и предназначении измерений в экономике" Труды ИСА РАН , 2008. Т . 36 http://www.isa.ru/proceedings/images/documents/2008-36/152-176.pdf</ref>
| |||