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

Базы данных


Вид поиска
Книги фонда НБ СГЮА
Дипломные работы выпускников СГЮА за последние 5 лет
Авторефераты
Диссертации
Период.издания науч.абонемента
Редкие книги Научной библиотеки СГЮА
Каталог электронных носителей
Труды ученых СГЮА
Саратовский край
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=математические дискурсы<.>)
Общее количество найденных документов : 5
Показаны документы с 1 по 5
1.


    Целищев, В. В.
    Теоретико-модельная роль нелогических констант в формальных системах [Текст] / В. В. Целищев // Философия науки. - 2016. - № 2. - С. 32-41. - Библиогр.: с. 41 (19 назв. ) . - ISSN 1560-7488
УДК
^a1
^a510.6
ББК 87.25 + 22.12
Рубрики: Философия
   Философия науки
   Математика
   Математическая логика
Кл.слова (ненормированные):
аксиоматика -- константы -- математические дискурсы -- нелогические константы -- семантическая теория
Аннотация: Рассматривается проблема введения в семантическую теорию нелогических констант. Анализируется полемика Д. Гильберта и Г. Фреге о природе неявных определений в аксиоматике в качестве мотива введения теоретико-модельной трактовки переменных. Предлагается индексикальная трактовка нелогических констант в математическом дискурсе.


Доп.точки доступа:
Гильберт, Д. (математик); Фреге, Г. (ученый)
Нет сведений об экземплярах (Источник в БД не найден)

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


    Целищев, В. В.
    IF-логика в системе математического теоретизирования [Текст] / В. В. Целищев // Философия науки. - 2017. - № 1. - С. 18-29. - Библиогр.: с. 27-29 (15 назв. ) . - ISSN 1560-7488
УДК
^a510.6
ББК 22.12
Рубрики: Математика
   Математическая логика
Кл.слова (ненормированные):
IP-логика -- Коши теорема -- адекватность математического аппарата -- дискурсы -- логика первого порядка -- математические дискурсы -- математическое теоретизирование -- равномерная непрерывность -- стандартная логика -- теорема Коши
Аннотация: Рассмотрено сопоставление выразительных средств стандартной логики первого порядка и IF-логики как логики математического дискурса. В качестве примера рассмотрена проблема равномерной непрерывности в связи с теоремой Коши. Показано, что ограничения, свойственные стандартной логике первого порядка, преодолеваются в IF-логике. Продемонстрирована ошибочность критики о недостаточности IF-логики для математического теоретизирования.

Нет сведений об экземплярах (Источник в БД не найден)

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


    Целищев, В. В.
    Интенсиональность математического дискурса: необходимость истин математики [Текст] / В. В. Целищев // Философия науки. - 2018. - № 4. - С. 34-47. - Библиогр.: с. 46-47 (11 назв. ) . - ISSN 1560-7488
УДК
^a510.6
^a11/12
ББК 22.12 + 87.21
Рубрики: Математика
   Математическая логика
   Философия
   Метафизика. Онтология
Кл.слова (ненормированные):
интенсиональность -- математическая практика -- математические дискурсы -- математические истины -- модальная логика -- модальность
Аннотация: Рассматривается применение модальной логики к анализу математического дискурса. Показано, что такое применение требует осторожности, поскольку часто приводит к абсурдным результатам. В частности, анализируется тезис о том, что в математике доказуема необходимость математических истин. Показано, что подобное смешение метафизики и математической логики является неправомерным.

Нет сведений об экземплярах (Источник в БД не найден)

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


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


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

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


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


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

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)