Научная библиотека СГЮА

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

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

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

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

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

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

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

УДК

^a510.6

^a11/12

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

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

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

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

УДК

^a11/12

^a510.6

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

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

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

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

УДК

^a11/12

^a510.6

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

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

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

Целищев, Виталий Валентинович (доктор философских наук; профессор).
Интенсиональность: от философской логики к метаматематике [Текст] / В. В. Целищев // Вестник Томского государственного университета = Tomsk State University Journal. - 2020. - № 458 (сентябрь). - С. 85-89. - Библиогр.: с. 88 (12 назв.) . - ISSN 1561-7793

УДК

^a510.6

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

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

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

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

УДК

^a1

^a510

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

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

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

Доманов, Олег Анатольевич.
Теория типов в семантике пропозициональных установок [Текст] = Type Theory In the Semantics Of Propositional Attitudes / Доманов Олег Анатольевич // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 26-37. - Библиогр.: с. 36-37 . - ISSN 1811-833X

УДК

^a81-11

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

Доп.точки доступа:
Куайн, У. В. О. (философ ; 1908-2000); Мартин-Леф, П. (философ ; 1942-)
Нет сведений об экземплярах (Источник в БД не найден)

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

Тискин, Даниил Борисович.
На новой машине - старым путем? [Текст] = New Machinery, Olden Tasks? / Тискин Даниил Борисович // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 38-43. - Библиогр.: с. 43 . - ISSN 1811-833X

УДК

^a81-11

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

Доп.точки доступа:
Куайн, У. В. О. (философ ; 1908-2000); Доманов, О. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

Родин, Андрей Вячеславович.
Теория типов Мартина-Лефа как мультиагентная формальная эпистемическая система [Текст] = Martin-Lof type theory as a multi-agent epistemic system / Родин Андрей Вячеславович // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 44-47. - Библиогр.: с. 47 . - ISSN 1811-833X

УДК

^a81-11

ББК 81
Рубрики: Языкознание
Теория и философия языка
Кл.слова (ненормированные):
Куайна проблема -- высказывания -- дискуссии -- естественный язык -- интенсиональность -- истина -- истинные высказывания -- контекст -- логический анализ языка -- мультиагентные системы -- обоснованность знания -- объективность знания -- проблема Куайна -- пропозициональные установки -- референциальная неоднозначность -- референция -- семантика -- семантическая неоднозначность -- статьи -- теория типов -- формальная семантика -- эпистемические системы
Аннотация: Отклик на статью О. А. Доманова. Отождествление эпистемического агента с конкретным контекстом представляется во многих случаях упрощенным.

Доп.точки доступа:
Куайн, У. В. О. (философ ; 1908-2000); Доманов, О. А.; Мартин-Леф, П. (философ ; 1942-)
Нет сведений об экземплярах (Источник в БД не найден)

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

Ламберов, Лев Дмитриевич.
Новая аналитическая философия: комментарий к статье О. А. Доманова [Текст] = New analytic philosophy: a comment on Oleg A. Domanov's paper / Ламберов Лев Дмитриевич // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 48-52. - Библиогр.: с. 51-52 . - ISSN 1811-833X

УДК

^a81-11

ББК 81
Рубрики: Языкознание
Теория и философия языка
Кл.слова (ненормированные):
Куайна проблема -- аналитическая философия -- высказывания -- дискуссии -- естественный язык -- интенсиональность -- интуиционизм -- истина -- истинные высказывания -- контекст -- логический анализ языка -- мультиагентные системы -- обоснованность знания -- объективность знания -- проблема Куайна -- пропозициональные установки -- референциальная неоднозначность -- референция -- семантика -- семантическая неоднозначность -- статьи -- теория типов -- формальная семантика -- эпистемические системы
Аннотация: Отклик на статью "Теория типов в семантике пропозициональных установок". Недостаточно четко проводится различие между классическим и интуиционистским подходами к решению проблемы.

Доп.точки доступа:
Куайн, У. В. О. (философ ; 1908-2000); Доманов, О. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

10.

Микиртумов, Иван Борисович.
Теоретико-типовая грамматика, интенсионалы и эпистемические установки [Текст] = New analytic philosophy: a comment on Oleg A. Domanov's paper / Микиртумов Иван Борисович // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 43-57. - Библиогр.: с. 57 . - ISSN 1811-833X

УДК

^a81-11

ББК 81
Рубрики: Языкознание
Теория и философия языка
Кл.слова (ненормированные):
Куайна проблема -- высказывания -- грамматика -- дискуссии -- естественный язык -- интенсиональность -- интуиционизм -- истина -- истинные высказывания -- контекст -- логический анализ языка -- обоснованность знания -- объективность знания -- проблема Куайна -- пропозициональные установки -- референциальная неоднозначность -- референция -- семантика -- семантическая неоднозначность -- статьи -- теория типов -- формальная семантика -- эпистемические системы
Аннотация: Отклик на статью О. А. Доманова. Процедурный характер интенсионалов требует особой семантики эпистемических операторов.

Доп.точки доступа:
Куайн, У. В. О. (философ ; 1908-2000); Доманов, О. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

11.

Доманов, Олег Анатольевич.
Замечания о теории типов в семантике пропозициональных установок [Текст] = Remarks On Type Theory In the Semantics Of Propositional Attitudes / Доманов Олег Анатольевич // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 62-67. - Библиогр.: с. 66-67 . - ISSN 1811-833X

УДК

^a81-11

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

Доп.точки доступа:
Куайн, У. В. О. (философ ; 1908-2000); Мартин-Леф, П. (философ ; 1942-)
Нет сведений об экземплярах (Источник в БД не найден)

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

12.

Микиртумов, Иван Борисович.
Знакомство с вымышленным объектом: семантические условия и прагматические правила [Текст] = Acquaintance With a Fictional Object: Semantic Conditions And Pragmatic Rules / Микиртумов Иван Борисович // Эпистемология и философия науки. - 2023. - Т. 60, № 3. - С. 112-130. - Библиогр.: с. 128-130 . - ISSN 1811-833X

УДК

^a81-11

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

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

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

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

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