Минимальные логические требования к рациональной агентности


Автор: Зайцев Д. В. - подписаться на статьи автора
Журнал: Философия и общество. Выпуск №1(86)/2018 - подписаться на статьи журнала

В выступлении развивается подход, впервые представленный в статье [Kubyshkina, Zaitsev 2016]. Суть его состоит в том, чтобы, действуя в парадигме логик обобщенных истинностных значений, предложить истинностно-функциональную модель эпистемических рассуждений. При этом рациональным в логическом смысле считается агент, знающий условия истинности стандартных пропозициональных связок. Это позволяет учитывать не только (онтологическое) истинностное значение высказывания как таковое, но и характеристику знания агента (агент может знать или не знать о том, что некоторое высказывание является истинным). В результате два классических истинностных значения расщепляются на четыре комплексных значения. В упомянутой выше статье на основе этих соображений строится так называемая логика рационального агента (logic of rational agent, LRA) и предлагается ее адекватная аксиоматизация.