Императивы в stit-подходе

Аннотация

В статье обосновывается возможность рассматривать императив как предложение, описывающее побуждающую к действию стратегию, которая реализуется одним рациональным агентом в отношении другого. Отстаивается тезис, что такого рода стратегии, выступающие основанием практических умозаключений, могут быть описаны средствами модальных логик, в частности, средствами stit-логики. Дается изложение основ семантики stit-логики и предпринимается исследование, связанное с поиском модальной формулы, наилучшим образом отражающей множество свойств императива и соответствующего ему действия рационального агента. Особое внимание уделяется формулам, в которых различные модальные stit-операторы стоят в суперпозиции. На том основании, что обычно суперпозиция таких операторов лишает агента-адресата выбора, а агента-адресанта — незнания о том, будет ли успешным его побуждающее действие, вносится предложение использовать в определениях истинности различные точки соотнесения для различных по типу операторов, что позволяет сохранить основные свойства императива в отношении данных формул, теряемые в обычном случае. В заключении показывается, что для таких формул невозможно возникновение парадоксов, обычных для предлагаемых ранее императивных логик.