Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

БД "Статьи" - результаты поиска

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=интенсиональность<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Целищев, В. В.
Интенсиональность математического дискурса: необходимость истин математики [Текст] / В. В. Целищев // Философия науки. - 2018. - № 4. - С. 34-47. - Библиогр.: с. 46-47 (11 назв. ) . - ISSN 1560-7488

УДК

^a510.6

^a11/12

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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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

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

УДК

^a11/12

^a510.6

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

Доп.точки доступа:
Хлебалин, А. В.; Рассел, Б. (философ; логик)

Имеются экземпляры в отделах: всего 1 : н.з. (1)
Свободны: н.з. (1)

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

Целищев, В. В.
Парадоксы и интенсиональность в основаниях математики [Текст] / В. В. Целищев, А. В. Хлебалин // Философия науки. - 2021. - № 1. - С. 65-75. - Библиогр.: с. 73-75 (11 назв. ) . - ISSN 1560-7488

УДК

^a1

^a510

ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
дискурсы -- математический дискурс -- математическое мышление -- теоретико-множественные основания -- философские программы -- экстенсиональная трактовка математики
Аннотация: Рассматривается разрыв экстенсионального и интенсионального элементов математического дискурса в разработке программ оснований математики.

Доп.точки доступа:
Хлебалин, А. В.

Имеются экземпляры в отделах: всего 1 : н.з. (1)
Свободны: н.з. (1)

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

Тематический навигатор

Статистика за 02.09.2024
Число запросов	81829
Число посетителей	1
Число заказов	0

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