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

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


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