Издательство СО РАН

Издательство СО РАН

Адрес Издательства СО РАН: Россия, 630090, а/я 187
Новосибирск, Морской пр., 2

soran2.gif

Baner_Nauka_Sibiri.jpg


Яндекс.Метрика

Поиск по журналу

Философия науки

2016 год, номер 2

ТЕОРЕТИКО-МОДЕЛЬНАЯ РОЛЬ НЕЛОГИЧЕСКИХ КОНСТАНТ В ФОРМАЛЬНЫХ СИСТЕМАХ

В.В. Целищев
"Институт философии и права СО РАН, г. Новосибирск, ул. Николаева, 8, 630090
director@philosophy.nsc.ru"
Ключевые слова: нелогические константы, аксиоматика, переменная, неявное определение, семантика, теория моделей, non-logical constants, axiomatic, variable, implicit definition, semantics, model theory
Страницы: 32-41
Подраздел: Проблемы логики и методологии науки

Аннотация

В статье рассматривается проблема введения в семантическую теорию нелогических констант. Анализируется полемика Д. Гильберта и Г. Фреге о природе неявных определений в аксиоматике в качестве мотива введения теоретико-модельной трактовки переменных. Предлагается индексикальная трактовка нелогических констант в математическом дискурсе.

DOI: 10.15372/PS20160203
Скачать pdf-версию статьи



Наш сайт использует куки. Продолжая им пользоваться, вы соглашаетесь на обработку персональных данных в соответствии с политикой конфиденциальности. Подробнее
Отказаться Принять