Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=подстановочная квантификация<.>)
Общее количество найденных документов : 1
1.


    Целищев, В. В.
    Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях [Текст] / В. В. Целищев, А. В. Бессонов // Философия науки. - 2016. - № 3. - С. 32-48. - Библиогр.: с. 47-48 (24 назв. ) . - ISSN 1560-7488
УДК
^a1
^a16
ББК 87 + 87.41
Рубрики: Философия
   Общие вопросы философии
   Логика
   Логический синтаксис и логическая семантика
Кл.слова (ненормированные):
истина -- квантификация -- объектная квантификация -- онтологические допущения -- подстановочная квантификация -- семантика -- числовые знаки
Аннотация: Рассматриваются проблемы семантики для постановочной квантификации в сопоставлении с объектной квантификацией, а также сопутствующие онтологические допущения теорий. Анализируются три затруднения с подстановочной квантификацией, а именно, аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах.


Доп.точки доступа:
Бессонов, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)