ТЕОРЕТИКО-МОДЕЛЬНАЯ РОЛЬ НЕЛОГИЧЕСКИХ КОНСТАНТ В ФОРМАЛЬНЫХ СИСТЕМАХ
В статье рассматривается проблема введения в семантическую теорию нелогических констант. Анализируется полемика Д. Гильберта и Г. Фреге о природе неявных определений в аксиоматике в качестве мотива введения теоретико-модельной трактовки переменных. Предлагается индексикальная трактовка нелогических констант в математическом дискурсе.