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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

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

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

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

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

Ламберов, Л. Д.
Основания математики: теория множеств vs. Теория типов [Текст] / Л. Д. Ламберов // Философия науки. - 2017. - № 1. - С. 41-60. - Библиогр.: с. 60 (13 назв. ) . - ISSN 1560-7488

УДК

^a510

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

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

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

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

УДК

^a11/12

^a510.6

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

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

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

Доманов, Олег Анатольевич.
Теория типов в семантике пропозициональных установок [Текст] = 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); Доманов, О. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

Микиртумов, Иван Борисович.
Теоретико-типовая грамматика, интенсионалы и эпистемические установки [Текст] = 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); Доманов, О. А.
Нет сведений об экземплярах (Источник в БД не найден)

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

Борисов, Евгений Васильевич.
Проблема Куайна возвращается [Текст] = Quine's problem is coming back / Борисов Евгений Васильевич // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 58-61. - Библиогр.: с. 61 . - ISSN 1811-833X

УДК

^a81-11

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

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

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

Доманов, Олег Анатольевич.
Замечания о теории типов в семантике пропозициональных установок [Текст] = 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-)
Нет сведений об экземплярах (Источник в БД не найден)

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

10.

Назаршоев, Фирузшо Курбонбекович (аспирант).
"Идеальный тип" как отдельная мыслительная конструкция у Макса Вебера [Текст] / Назаршоев Фирузшо Курбонбекович // История государства и права. - 2023. - № 6. - С. 9-15. - Библиогр.: с. 15 (11 назв. ) . - ISSN 1812-3805

УДК

^a340.12

ББК 67.1 + 67.1
Рубрики: Право
История правовой мысли
Кл.слова (ненормированные):
вещные понятия -- идеальный тип -- идеальный типус -- позитивное право -- реляционные понятия -- теория типов -- философы -- эмпирический типус
Аннотация: В статье рассматривается "идеальный тип" как отдельная мыслительная конструкция, которая использовалась различными социологами для того, чтобы структурировать эмпирическую действительность, на которую был направлен их научный интерес. Словосочетание "идеальный тип" является загадочным феноменом методологии Вебера. О нем можно рассуждать только применяя "кавычки". Это слово явно не дотягивает до статуса научного термина, так как Вебер не предложил никакой окончательной дефиниции "идеального типа". Он предложил лишь некоторые описания или примеры того, как "идеальный тип" может "работать" в том или ином случае.

Доп.точки доступа:
Вебер, М. (немецкий социолог; философ ; 1864-1920); Еллинек, Г. (немецкий юрист ; 1851-1911); Риккерт, Г. (немецкий философ ; 1863-1936)
Нет сведений об экземплярах (Источник в БД не найден)

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

11.

Тискин, Даниил Борисович.
The medium is the message? К. Танкреди и Я. Шарвит о семантике высказываний об установках [Текст] = The medium is the message? Tancredi and Sharvit on the semantics of attitude reports / Тискин Даниил Борисович // Эпистемология и философия науки. - 2023. - Т. 60, № 3. - С. 91-111. - Библиогр.: с. 109-111 . - ISSN 1811-833X

УДК

^a81-11

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

Доп.точки доступа:
Танкреди, К. (философ); Шарвит, Я. (философ)
Нет сведений об экземплярах (Источник в БД не найден)

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

12.

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

УДК

^a81-11

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

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

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

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

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