Standard

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

In: ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ, Vol. 55, No. 4, 2018, p. 44-47.

Research output: Contribution to journal › Comment/debate › peer-review

Harvard

Родин, АВ 2018, 'Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система', ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ, vol. 55, no. 4, pp. 44-47.

APA

Родин, А. В. (Accepted/In press). Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система. ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ, 55(4), 44-47.

Vancouver

Родин АВ. Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система. ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ. 2018;55(4):44-47.

Author

Родин, Андрей Вячеславович. / Теория типов Мартина-Лёфа как мультиагентная формальная эпистемическая система. In: ЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ. 2018 ; Vol. 55, No. 4. pp. 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