Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

Standard

Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система. / Родин, Андрей Вячеславович.

в: ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ, Том 55, № 4, 2018, стр. 44-47.

Результаты исследований: Научные публикации в периодических изданиях › комментарий, выступление › Рецензирование

BibTeX

@article{5747f02640504fbba10a063a97816cd6,

title = "Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система",

abstract = "Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие “расширениями контекстов”, предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо известно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, относящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет проведена более последовательно, чем это сделал Доманов в обсуждаемой статье.",

keywords = "Constructive Type theory, INTERPRETATIONS OF CONTEXTS, EPISTEMIC AGENT",

author = "Родин, {Андрей Вячеславович}",

year = "2018",

language = "русский",

volume = "55",

pages = "44--47",

journal = "ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ",

issn = "1811-833X",

publisher = "Институт философии РАН",

number = "4",

}

RIS

TY - JOUR

T1 - Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система

AU - Родин, Андрей Вячеславович

PY - 2018

Y1 - 2018

N2 - Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие “расширениями контекстов”, предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо известно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, относящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет проведена более последовательно, чем это сделал Доманов в обсуждаемой статье.

AB - Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие “расширениями контекстов”, предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо известно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, относящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет проведена более последовательно, чем это сделал Доманов в обсуждаемой статье.

KW - Constructive Type theory

KW - INTERPRETATIONS OF CONTEXTS

KW - EPISTEMIC AGENT

UR - https://www.elibrary.ru/item.asp?id=36865883

M3 - комментарий, выступление

VL - 55

SP - 44

EP - 47

JO - ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ

JF - ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ

SN - 1811-833X

IS - 4

ER -

ID: 35625386