Целищев В. В. Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях / Целищев Виталий Валентинович, Бессонов Александр Владимирович // Философия науки. - 2016. - № 3 (70). - С. 32 - 48. - Лит. в примеч. в конце статьи. - DOI: 10.15372/PS20160303.Отраслевые рубрики: история науки, логика, методология науки, наука, философия, философия науки Ключевые слова: XX век, атомарность, истина, история философии, мышление, научная интерпретация, научная мысль, научное знание, объектная квантификация, онтологические допущения, онтология, подстановочная квантификация, семантика, философский метод, формальная истина, эквивалентность интерпретаций Аннотация: Рассматриваются проблемы семантики для подстановочной квантификации. Анализируются три затрудения с подстановочной квантификацией: аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах. Показано, что семантика Гича - Лавина является удовлетворительной для установления эквивалентности двух интерпретаций.
|