Другие журналы на сайте ИНТЕЛРОС

Журнальный клуб Интелрос » Эпистемология & философия науки » №4, 2018

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

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

Архив журнала
эп№3, 2020я№4, 2020эп№2, 2021фин№1, 2021№2, 2020№1, 2020№4, 2019№3, 2019№2, 2019№4, 2018№1, 2019№3, 2018№1, 2018№2, 2018№4, 2017№3, 2017№2, 2017№1, 2017№4, 2016№3, 2016№2, 2016№4, 2015№2, 2012№1, 2012№4, 2011№3, 2011№2, 2011№1, 2011№4, 2010№3, 2010№2, 2010№1, 2010№4, 2009№3, 2009№1, 2009
Поддержите нас
Журналы клуба