Epistemology & Philosophy of Science

Volume 55, Issue 4, 2018

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

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