ИСТИНА

В докладе предлагается подход к истории становления символической логики, рассматривающий ее не как историю попыток математизации логики, а как историю возникновения и развития в рамках математики тех понятий и обозначений, которые в дальнейшем были использованы (и используются до сих пор) для построения языка логики предикатов. Обосновывается необходимость различения переменных и параметров как разных видов знаков и рассматривается история формирования этого различения и появления символьных обозначений для индивидных знаков. Рассматривается возникновение символьных обозначений математических операций, формирование понятия функции и способов обобщенного представления функций. Кратко рассматривается возникновение символьных обозначений математических отношений, и намечаются некоторые пути формирования понятия предиката. Уделяется некоторое внимание вопросам о возникновении первых символьных обозначений логических связок и о формировании современных представлений о квантификации.