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