Ранта безосновательно называет произвольные подстановки переменных из одних контекстов ТТМЛ в другие “расширениями контекстов”, предполагая при этом, что контексты всегда формируют частичный порядок. Однако хорошо известно, что это не так: в общем случае категория контекстов ТТМЛ представляет собой локально декартово замкнутую категорию. Поэтому предложенное Домановым понимание таких подстановок как взаимных интерпретаций знаний, относящихся к различными эпистемическими агентам, является более адекватным. Предложенный Домановым анализ может быть усовершенствован, если эта точка зрения будет проведена более последовательно, чем это сделал Доманов в обсуждаемой статье.
Переведенное названиеMARTIN-LöF TYPE THEORY AS A MULTI-AGENT EPISTEMIC FORMAL SYSTEM
Язык оригиналарусский
Страницы (с-по)44-47
ЖурналЭПИСТЕМОЛОГИЯ И ФИЛОСОФИЯ НАУКИ
Том55
Номер выпуска4
СостояниеПринято в печать - 2018

ID: 35625386