Skip to main content
Log in

Towards a formal theory of defeasible deontic conditionals

  • Published:
Annals of Mathematics and Artificial Intelligence Aims and scope Submit manuscript

Abstract

The paper outlines the approach to the analysis of deontic conditionals taken in earlier work of Jones and Pörn, comparing it briefly with two main trends within dyadic deontic logic, and discussing problems associated with the augmentation principle and the factual detachment principle. A modification of the Jones and Pörn system is then presented, using a classical but not normal (in the sense of Chellas) deontic modality, to provide the basis for an alternative analysis of deontic conditionals. This new analysis validates neither the factual detachment nor the augmentation principles. However, influenced by the approach of Delgrande to default reasoning, it is shown how a restricted form of factual detachment might be accommodated within the revised system.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. A.J.I. Jones and I. Pörn, Ideality, sub-ideality and deontic logic, Synthese 65(1985).

  2. A.J.I. Jones and I. Pörn, “Ought” and “Must”, Synthese 66(1986).

  3. B.F. Chellas,Modal Logic — An Introduction (Cambridge University Press, Cambridge, UK, 1980).

    Google Scholar 

  4. R.M. Chisholm, Contrary-to-duty imperatives and deontic logic, Analysis 24(1963).

  5. B. Loewer and M. Beizer, Dyadic deontic detachment, Synthese 54(1983).

  6. A.J.I. Jones, Intentions and the logic of norms, appears in papers from the ESPRIT Basic Research Action MEDLAR (Mechanising Deduction in the Logics of Practical Reasoning), ed. J.R. Cunningham (Imperial College, London, 1990).

    Google Scholar 

  7. A.J.I. Jones and I. Pörn, On the logic of deontic conditionals, in:ΔEON'91 — Proc. 1st Int. Workshop on Deontic Logic in Computer Science, ed. J.-J. Ch. Meyer and R.J. Wieringa (Amsterdam, 1991).

  8. J.P. Delgrande, An approach to default reasoning based on a first-order conditional logic, Revised Report, Artificial Intelligence 36(1988).

  9. N. Ascher and M. Morreau, Commonsense entailment: a modal theory of nonmonotonic reasoning, in:Proc. JELIA'90, Lecture Notes in Artificial Intelligence 478 (Springer, 1990).

  10. F. Veltman, Defaults in update semantics, ITLI Prepublication Series LP-91-02 (Amsterdam, 1991).

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and permissions

About this article

Cite this article

Jones, A.J.I. Towards a formal theory of defeasible deontic conditionals. Ann Math Artif Intell 9, 151–166 (1993). https://doi.org/10.1007/BF01531265

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF01531265

Keywords

Navigation