Родин, Андрей Вячеславович. Теория типов Мартина-Лефа как мультиагентная формальная эпистемическая система [Текст] = Martin-Lof type theory as a multi-agent epistemic system / Родин Андрей Вячеславович // Эпистемология и философия науки. - 2018. - Т. 55, № 4. - С. 44-47. - Библиогр.: с. 47 . - ISSN 1811-833X
Рубрики: Языкознание Теория и философия языка Кл.слова (ненормированные): Куайна проблема -- высказывания -- дискуссии -- естественный язык -- интенсиональность -- истина -- истинные высказывания -- контекст -- логический анализ языка -- мультиагентные системы -- обоснованность знания -- объективность знания -- проблема Куайна -- пропозициональные установки -- референциальная неоднозначность -- референция -- семантика -- семантическая неоднозначность -- статьи -- теория типов -- формальная семантика -- эпистемические системы Аннотация: Отклик на статью О. А. Доманова. Отождествление эпистемического агента с конкретным контекстом представляется во многих случаях упрощенным. Доп.точки доступа: Куайн, У. В. О. (философ ; 1908-2000); Доманов, О. А.; Мартин-Леф, П. (философ ; 1942-) Нет сведений об экземплярах (Источник в БД не найден) |