ПОДСТАНОВОЧНАЯ КВАНТИФИКАЦИЯ В БАЗОВОЙ ЛОГИКЕ И ОНТОЛОГИЧЕСКИЕ ДОПУЩЕНИЯ В ФОРМАЛЬНЫХ МАТЕМАТИЧЕСКИХ ТЕОРИЯХ
"В.В. Целищев1,2, А.В. Бессонов1,2"
"1Новосибирский государственный университет, ул. Пирогова 2, Новосибирск, 630090 leitval@gmail.com 2Институт философии и права, Сибирское отделение РАН, ул. Николаева, 8, Новосибирск, 630090 trt@academ.org"
Ключевые слова: семантика, онтологические допущения, подстановочная квантификация, атомарные предложения, истина, semantics, ontological assumptions, substitutional quantification, atomic sentences, truth
Страницы: 32-48 Подраздел: Проблемы логики и методологии науки
Аннотация
В статье рассматриваются проблемы семантики для постановочной квантификации в сопоставлении с объектной квантификацией, а также сопутствующие онтологические допущения теорий. Анализируются три затруднения с подстановочной квантификацией, а именно, аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах. Показано, что семантика Гича - Лавина является вполне удовлетворительной для установления эквивалентности двух интерпретаций.
DOI: 10.15372/PS20160303 |