Acts of Promising in Dynamified Deontic Logic | SpringerLink
Skip to main content

Acts of Promising in Dynamified Deontic Logic

  • Conference paper
  • First Online:
New Frontiers in Artificial Intelligence (JSAI 2007)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4914))

Included in the following conference series:

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  • 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 

  • 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 

  • van Benthem, J., Liu, F.: Dynamic Logic of Preference Upgrade. Journal of Applied Non-Classical Logics 17, 157–182 (2007)

    Article  MathSciNet  Google Scholar 

  • Gerbrandy, J., Groeneveld, W.: Reasoning about Information Change. Journal of Logic, Language, and Information 6, 147–169 (1997)

    Article  MathSciNet  Google Scholar 

  • Jeske, D.: Special Obligations. In: Stanford Encyclopedia of Philosophy (2002), http://plato.stanford.edu/entries/special-obligations/

  • 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 

  • 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 

  • Sbisà, M.: How to Read Austin. A lecture read at the 9th International Pragmatics Conference, Riva del Garda, July 10–15 (2005)

    Google Scholar 

  • Searle, J.: How to Derive “Ought” from “Is”. The Philosophical Review (January 1964)

    Google Scholar 

  • Searle, J.: Speech Acts: An Essay in the Philosophy of Language. Cambridge University Press, Cambridge (1969)

    Book  Google Scholar 

  • Searle, J.: Expression and Meaning. Cambridge University Press, Cambridge (1979)

    Book  Google Scholar 

  • 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 

  • 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)

    Chapter  Google Scholar 

  • 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)

    Chapter  Google Scholar 

  • 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 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Ken Satoh Akihiro Inokuchi Katashi Nagao Takahiro Kawamura

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Yamada, T. (2008). Acts of Promising in Dynamified Deontic Logic. In: Satoh, K., Inokuchi, A., Nagao, K., Kawamura, T. (eds) New Frontiers in Artificial Intelligence. JSAI 2007. Lecture Notes in Computer Science(), vol 4914. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78197-4_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-78197-4_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-78196-7

  • Online ISBN: 978-3-540-78197-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics