Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


- результаты поиска

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=интенсиональность математики<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Целищев, В. В.
    Гиперинтенсиональность в соотношении разветвленной теории типов и подстановочной теории Б. Рассела [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2020. - № 1. - С. 76-86. - Библиогр.: с. 85-86 (14 назв. ) . - ISSN 1560-7488
УДК
ББК 87.21 + 22.12
Рубрики: Философия
   Метафизика. Онтология

   Математика

   Математическая логика

Кл.слова (ненормированные):
аналитическая философия -- интенсиональность математики -- логики -- математические дискурсы -- подстановочная теория -- теория типов -- философы
Аннотация: Анализируется проблема интенсиональности математики в программе логицизма Б. Рассела. Подстановочная теория рассматривалась им в качестве средства разрешения парадоксов в перспективе сохранения универсалистского понимания логики, несовместимой с теорией типов.


Доп.точки доступа:
Хлебалин, А. В.; Рассел, Б. (философ; логик)
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

2.


    Целищев, В. В.
    Интенсивность в математике и невозможные возможные миры [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2020. - № 3. - С. 72-85. - Библиогр.: с. 83-85 (15 назв. ) . - ISSN 1560-7488
УДК
ББК 87.21 + 22.12
Рубрики: Философия
   Метафизика. Онтология

   Математика

   Математическая логика

Кл.слова (ненормированные):
интенсиональность математики -- математические дискурсы -- невозможные возможные миры -- семантика возможных миров
Аннотация: Анализируется способ экспликации интенсиональности математического дискурса средствами семантики возможных миров.


Доп.точки доступа:
Хлебалин, А. В.
Нет сведений об экземплярах (Источник в БД не найден)

Найти похожие

 
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)