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