Acts of Promising in Dynamified Deontic Logic

  • Tomoyuki Yamada
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4914)


In this paper, the logic of acts of commanding ECL II introduced in Yamada (2007b) will be extended in order to model acts of promising together with acts of commanding. Effects of both kinds of acts are captured in terms, not of changes they bring about on propositional attitudes of their addressees, but of changes they bring about on deontic status of relevant action alternatives; they are modeled as deontic updators. This enables us to see how an act of promising performed by an agent and an act of commanding performed by another agent can jointly bring about a conflict of obligations. Complete axiomatization will be presented, and a comparison with Searle’s treatment of acts of promising in his argument for the derivability of “ought” from “is” will be made.


Proof System Deontic Logic Constitutive Rule Special Obligation Dynamic Extension 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Austin, J.L.: How to Do Things with Words. The William James Lectures. Harvard University(1955). In: Urmson, J.O., Sbisà, M. (eds.) How to Do Things with Words, 2nd edn., Harvard University Press, Cambridge (1955)Google Scholar
  2. Baltag, A., Moss, L.S., Solecki, S.: The Logic of Public Announcements, Common Knowledge, and Private Suspicions. Technical Report TR534. Department of Computer Science (CSCI), Indiana University (1999)Google Scholar
  3. van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logics 17, 157–182 (2007)CrossRefMathSciNetGoogle Scholar
  4. Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language, and Information 6, 147–169 (1997)zbMATHCrossRefMathSciNetGoogle Scholar
  5. Jeske, D.: Special Obligations. In: Stanford Encyclopedia of Philosophy (2002),
  6. Kooi, B., van Benthem, J.: Reduction Axioms for Epistemic Actions. In: Schmidt, R., et al. (eds): Preliminary Proceedings of AiML-,: Advances in Modal Logic. Technical Report Series, UMCS-04-9-1, Department of Computer Science, University of Manchester pp. 197-211 (2004)Google Scholar
  7. Plaza, J.A.: Logics of public communications. In: Emrich, M.L., et al. (eds.) Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201–216 (1989)Google Scholar
  8. Sbisà, M.: How to Read Austin. A lecture read at the 9th International Pragmatics Conference, Riva del Garda, July 10–15 (2005) Google Scholar
  9. Searle, J.: How to Derive “Ought” from “Is”. The Philosophical Review (January 1964)Google Scholar
  10. Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)Google Scholar
  11. Searle, J.: Expression and Meaning. Cambridge University Press, Cambridge (1979)Google Scholar
  12. Yamada, T.: An Ascription-Based Theory of Illocutionary Acts. In: Vanderveken, D., Kubo, S. (eds.) Essays in Speech Act Theory. Pragmatics & Beyond, New Series, vol. 77, pp. 151–174. John Benjamins, Amsterdam/Philadelphia (2002)Google Scholar
  13. Yamada, T.: Acts of Commanding and Changing Obligations. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol. 4371, pp. 1–19. Springer, Heidelberg (2007a)CrossRefGoogle Scholar
  14. Yamada, T.: Logical Dynamics of Commands and Obligations. In: Washio, T., et al. (eds.) JSAI 2006. LNCS (LNAI), vol. 4384, pp. 133–146. Springer, Heidelberg (2007b)CrossRefGoogle Scholar
  15. Yamada, T.: Logical Dynamics of Some Speech Acts that Affect Obligations and Preferences. In: van Benthem, J., Ju, S., Veltman, F. (eds.) A Meeting of Minds. Proceedings of the Workshop on Logic, Rationality and Interaction, Beijing. Texts in Computer Science, vol. 8, pp. 275–289. College Publications, London (2007c)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Tomoyuki Yamada
    • 1
  1. 1.Division of Philosophy and Cultural SciencesGraduate School of Letters, Hokkaido UniversitySapporoJapan

Personalised recommendations