Формализация: различия между версиями

Создание логики специального языка, наряду с существующей на естественном языке, есть особый процесс, который предусматривает, что создана искусственная знаковая система является средством фиксации логической структуры мысли, с одной стороны, и средством исследования логических свойств и отношений мысли, с другой. То есть, язык логики — это прежде всего её метод. Принято говорить не «искусственный язык логики», а «формализованный язык логики». С лёгкой руки немецкого философа [[Кант, Иммануил|Иммануила Канта]] логике приписали прилагательное «формальная», поэтому логику стали называть формальной, а ее метод — формализацией.

 

 

== Примечания ==