О становлении грамматических категорий языка логики предикатовстатья

Работа с статьей


[1] Шиян Т. А. О становлении грамматических категорий языка логики предикатов // Логика, язык и формальные модели. — Издательство СПбГУ Санкт-Петербург, 2012. — С. 180–188. В статье предлагается подход к истории становления символической логики, рассматривающий ее не как историю попыток математизации логики, а как историю возникновения и развития в рамках математики тех понятий и обозначений, которые в дальнейшем были использованы (и используются до сих пор) для построения языка логики предикатов. Обосновывается необходимость различения переменных и параметров как разных видов знаков и рассматривается история формирования этого различения и появления символьных обозначений для индивидных знаков. Рассматривается возникновение символьных обозначений математических операций, формирование понятия функции и способов обобщенного представления функций. Кратко рассматривается возникновение символьных обозначений математических отношений, и намечаются некоторые пути формирования понятия предиката. Уделяется некоторое внимание вопросам о возникновении первых символьных обозначений логических связок и о формировании современных представлений о квантификации.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть