Stit-logic for Imperatives

##plugins.themes.bootstrap3.article.main##

G. V. Karpov

Abstract

In this paper the possibility of interpreting imperatives as sentences that are used by rational agents to impel or motivate other rational agents to act in a desired way investigates by the author. We claim that such impelling strategies, that ground practical reasoning, can be pictured formally by means of stit-logic. We introduce the basic semantical ideas of stit-logic and discuss the most acceptable way of formal representation of imperative and its corresponding impelling effect. Special attention is paid to embedded stit-formulas. We demonstrate that such formulas cannot serve as an appropriate way of imperative formalization since an agent-addressee lacks the possibility of choice, and the agent-sender becomes “omnipotent” about the future course of agent-addressee’s action. We show that this unwanted situation can be eliminated, and basic imperative properties can still be expressed with embedded stit-formulas, if different kinds of indexes are used in semantic definitions for different kind of stit-operators. Finally we put an assertion that using such formulas, evaluated with respect to different kind of indexes, leaves no room for usual paradoxes of imperative logic.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Блинов А.Л., Петров В.В. Элементы логики действий. М.: Наука, 1991. 232 c.
Карпов Г.В. Правила вывода в императивной логике // Логикофилософские штудии. 2013. Вып. 11. № 2. С. 5–18.
Kenny A. J. Practical Inference // Analysis. 1966. Vol. 26. № 3. P. 65–75.
Chellas B. F. Time and Modality in the Logic of Agency // Studia Logica. 1992. Vol. 51. № 3/4. P. 485–517.
Belnap N. Backwards and Forwards in the Modal Logic of Agency // Philosophy and Phenomenological Research. 1991. Vol. 51. № 4. P. 777–807.
Belnap N. Before Refraining: Concepts for Agency // Erkenntnis. 1991. Vol. 34. № 2. P. 137–169.
Belnap N., Perloff M. The Way of the Agent // Studia Logica. 1992. Vol. 51. № 3/4. P. 463–484.
Belnap N., Perloff M. In the Realm of Agents// Annals of Mathematics and Artificial Intelligence 9. 1993. P. 25–48.
Horty J. F. An alternative stit operator. Maryland: Manuscript, 1989.
Horty J. F. Agency and Deontic Logic. Oxford, 2001. 208 p.
Horty J. F., Belnap N. The Deliberative Stit: A Study of Action, Omission, Ability, and Obligation // Journal of Philosophical Logic. 1995. Vol. 24. № 6. P. 583–644.
Balbiani P., Herzig A., Troquard N. Alternative axiomatics and complexity of deliberative stit theories // Journal of Philosophical Logic. 2008. Vol. 37. № 4. P. 387–406.
Xu M. Axioms for Deliberative Stit // Journal of Philosophical Logic. 1998. Vol. 27. № 5. P. 505–552.