| Найдено документов - 1 | Найти похожие: "Заглавие" = 'Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях' | Версия для печати |
Сортировать по:
1. Статья из журнала
Целищев, В. В.
Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях / В. В. Целищев, А. В. Бессонов
// Философия науки. — 2016. — № 3 (70). - С. 32 - 48. — DOI: 10.15372/PS20160303. — Лит. в примеч. в конце статьи.
Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях / В. В. Целищев, А. В. Бессонов
// Философия науки. — 2016. — № 3 (70). - С. 32 - 48. — DOI: 10.15372/PS20160303. — Лит. в примеч. в конце статьи.
URL биб.описания: https://lib.uni-dubna.ru/MegaPro_new/UserEntry?Action=FindDocs&ids=169532&idb=ec_110
Подробнее
Авторы: Целищев В. В., Бессонов А. В.
Аннотация: Рассматриваются проблемы семантики для подстановочной квантификации. Анализируются три затрудения с подстановочной квантификацией: аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах. Показано, что семантика Гича - Лавина является удовлетворительной для установления эквивалентности двух интерпретаций.
Отраслевые рубрики: история науки, логика, методология науки, наука, философия, философия науки
Ключевые слова: XX век, атомарность, истина, история философии, мышление, научная интерпретация, научная мысль, научное знание, объектная квантификация, онтологические допущения, онтология, подстановочная квантификация, семантика, философский метод, формальная истина, эквивалентность интерпретаций
Индексы ББК: 72.3, 87.25, 87.256, 87.4
Представления: Формат MARC21