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

Main Article Content

Г. В. Карпов

Аннотация




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




Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
Г. В. Карпов. Императивы в stit-подходе // Логические исследования / Logical Investigations. 2018. Т. 21. № 2.
.
Раздел
Философская логика