ТЕОРЕТИКО-МОДЕЛЬНАЯ РОЛЬ НЕЛОГИЧЕСКИХ КОНСТАНТ В ФОРМАЛЬНЫХ СИСТЕМАХ
В.В. Целищев
"Институт философии и права СО РАН, г. Новосибирск, ул. Николаева, 8, 630090 director@philosophy.nsc.ru"
Ключевые слова: нелогические константы, аксиоматика, переменная, неявное определение, семантика, теория моделей, non-logical constants, axiomatic, variable, implicit definition, semantics, model theory
Страницы: 32-41 Подраздел: Проблемы логики и методологии науки
Аннотация
В статье рассматривается проблема введения в семантическую теорию нелогических констант. Анализируется полемика Д. Гильберта и Г. Фреге о природе неявных определений в аксиоматике в качестве мотива введения теоретико-модельной трактовки переменных. Предлагается индексикальная трактовка нелогических констант в математическом дискурсе.
Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее