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

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

Авторы

Целищев В.В.

Тэги

нелогические константы аксиоматика переменная неявное определение семантика теория моделей.

Тематические рубрики

Прикладные науки. Медицина. Технология

Предметные рубрики

В этом же номере:

О ДВУХ НЕВЕРНЫХ ДОГМАХ, СВЯЗАННЫХ СО ВТОРОЙ ТЕОРЕМОЙ ГЁДЕЛЯ О НЕПОЛНОТЕ АРИФМЕТИКИ. II, ФИЛОСОФСКИЕ И БИОЭТИЧЕСКИЕ АСПЕКТЫ РАЗВИТИЯ НОВЫХ КОНВЕРГЕНТНЫХ ТЕХНОЛОГИЙ КАК ФАКТОРА ТРАНСФОРМАЦИИ СРЕДЫ ОБИТАНИЯ ЧЕЛОВЕКА, ...

Резюме по документу**

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

** - вычисляется автоматически, возможны погрешности

Похожие документы:

Похожие документы из РУАЭСТ
|
Похожие документы из Руконт

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

Помощь:

Участники: