ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА

  • Андрей Вячеславович Родин Институт философии РАН
Ключевые слова: constructive type theory, interpretations of contexts, epistemic agent

Аннотация

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

Скачивания

Данные скачивания пока недоступны.

Литература

Martin-Löf, P. Intuitionistic Type Theory. Notes by Giovanni Sambin of a series of lectures given in Padua, June 1980. Napoli: Bibliopolis, 1984. 91 pp.

Pitts, A. "Categorical logic", in: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. 5. Oxford: Oxford University Press, 2001, pp. 39-128.

Ranta, A. Type-Theoretical Grammar. Oxford: Clarendon Press, 1994. 226 pp.
Опубликован
2019-03-21
Как цитировать
Родин А. В. ТЕОРИЯ ТИПОВ МАРТИНА-ЛЁФА КАК МУЛЬТИАГЕНТНАЯ ФОРМАЛЬНАЯ ЭПИСТЕМИЧЕСКАЯ СИСТЕМА // Эпистемология и философия науки. 2019. Т. 55. № 4. С. 44–47.