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