| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | b | |||
| 001 | Контрольный номер | DU/590688386 | ||
| 005 | Дата корректировки | 20220905145145.5 | ||
| 008 | Кодируемые данные | 20150701 | ||
| 040 | b | Код языка каталог. | rus | |
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| 084 | a | Индекс другой классификации/Индекс ББК | 72.3; 87.25; 87.256; 87.4 | |
| 100 | 1_ | a | Автор | Целищев В. В. |
| q | Полное имя | Целищев Виталий Валентинович | ||
| 100 | 1_ | a | Автор | Бессонов А. В. |
| q | Полное имя | Бессонов Александр Владимирович | ||
| 245 | 10 | a | Заглавие | Подстановочная квантификация в базовой логике и онтологические допущения в формальных математических теориях |
| 500 | a | Примечание | DOI: 10.15372/PS20160303 | |
| 504 | a | Библиография | Лит. в примеч. в конце статьи | |
| 520 | a | Аннотация | Рассматриваются проблемы семантики для подстановочной квантификации. Анализируются три затрудения с подстановочной квантификацией: аргумент о недостаточности имен, аргумент об избыточности числовых знаков, аргумент о непоименованных объектах. Показано, что семантика Гича - Лавина является удовлетворительной для установления эквивалентности двух интерпретаций. | |
| 650 | a | Основная рубрика | история науки | |
| a | Основная рубрика | логика | ||
| a | Основная рубрика | методология науки | ||
| a | Основная рубрика | наука | ||
| a | Основная рубрика | философия | ||
| a | Основная рубрика | философия науки | ||
| 653 | 1_ | a | Ключевые слова | XX век |
| a | Ключевые слова | атомарность | ||
| a | Ключевые слова | истина | ||
| a | Ключевые слова | история философии | ||
| a | Ключевые слова | мышление | ||
| a | Ключевые слова | научная интерпретация | ||
| a | Ключевые слова | научная мысль | ||
| a | Ключевые слова | научное знание | ||
| a | Ключевые слова | объектная квантификация | ||
| a | Ключевые слова | онтологические допущения | ||
| a | Ключевые слова | онтология | ||
| a | Ключевые слова | подстановочная квантификация | ||
| a | Ключевые слова | семантика | ||
| a | Ключевые слова | философский метод | ||
| a | Ключевые слова | формальная истина | ||
| a | Ключевые слова | эквивалентность интерпретаций | ||
| 773 | 0_ | t | Заглавие источника | Философия науки |
| d | Дата издания источника | 2016 | ||
| g | Прочая информация | № 3 (70). - С. 32 - 48 | ||
| w | Контрольный № источника | DU/533047818 | ||
| 901 | t | Тип документа | b |