Switch to: Citations

Add references

You must login to add references.
  1. Agency and Deontic Logic.John F. Horty - 2001 - Oxford University Press.
    John Horty effectively develops deontic logic (the logic of ethical concepts like obligation and permission) against the background of a formal theory of agency. He incorporates certain elements of decision theory to set out a new deontic account of what agents ought to do under various conditions over extended periods of time. Offering a conceptual rather than technical emphasis, Horty's framework allows a number of recent issues from moral theory to be set out clearly and discussed from a uniform point (...)
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Defaults in Update Semantics.Frank Veltman - 1996 - Journal of Philosophical Logic 25 (3):221 - 261.
    The aim of this paper is twofold: (i) to introduce the framework of update semantics and to explain what kind of semantic phenomena may successfully be analysed in it: (ii) to give a detailed analysis of one such phenomenon: default reasoning.
    Download  
     
    Export citation  
     
    Bookmark   236 citations  
  • Norm and Action: A Logical Enquiry.G. M. Von Wright - 1963
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Reasoning with Moral Conflicts.John F. Horty - 2003 - Noûs 37 (4):557–605.
    Let us say that a normative conflict is a situation in which an agent ought to perform an action A, and also ought to perform an action B, but in which it is impossible for the agent to perform both A and B. Not all normative conflicts are moral conflicts, of course. It may be that the agent ought to perform the action A for reasons of personal generosity, but ought to perform the action B for reasons of prudence: perhaps (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Imperative Change and Obligation to Do.Berislav Žarnić - 2003 - In Krister Segerberg & Rysiek Sliwinski (eds.), Logic, Law, Morality: Thirteen Essays in Practical Philosophy in Honour of Lennart Åqvist. Uppsala: Department of Philosophy, Uppsala University. pp. 79-95.
    The ambition of the paper is to provide a solution to the problem posed by Von Wright (1999): how is it possible that the two actions, one of producing P and the other of preventing P can have different deontic status, the former being obligatory and the latter being forbidden. The solution for the problem is sought for by an investigation into connections between imperative and deontic logic. First, it is asked whether a solution could be found in Lemmon's (1965) (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Deontic Logics for Prioritized Imperatives.Jörg Hansen - 2006 - Artificial Intelligence and Law 14 (1-2):1-34.
    When a conflict of duties arises, a resolution is often sought by use of an ordering of priority or importance. This paper examines how such a conflict resolution works, compares mechanisms that have been proposed in the literature, and gives preference to one developed by Brewka and Nebel. I distinguish between two cases – that some conflicts may remain unresolved, and that a priority ordering can be determined that resolves all – and provide semantics and axiomatic systems for accordingly defined (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Facing the Future: Agents and Choices in Our Indeterminist World.Nuel Belnap - 2001 - Oxford University Press on Demand.
    Here is an important new theory of human action, a theory that assumes actions are founded on choices made by agents who face an open future.
    Download  
     
    Export citation  
     
    Bookmark   162 citations  
  • A Deontic Logic of Action.Krister Segerberg - 1982 - Studia Logica 41 (2-3):269 - 282.
    The formal language studied in this paper contains two categories of expressions, terms and formulas. Terms express events, formulas propositions. There are infinitely many atomic terms and complex terms are made up by Boolean operations. Where and are terms the atomic formulas have the form = ( is the same as ), Forb ( is forbidden) and Perm ( is permitted). The formulae are truth functional combinations of these. An algebraic and a model theoretic account of validity are given and (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Logical Dynamics of Some Speech Acts That Affect Obligations and Preferences.Tomoyuki Yamada - 2008 - Synthese 165 (2):295 - 315.
    In this paper, illocutionary acts of commanding will be differentiated from perlocutionary acts that affect preferences of addressees in a new dynamic logic which combines the preference upgrade introduced in DEUL (dynamic epistemic upgrade logic) by van Benthem and Liu with the deontic update introduced in ECL II (eliminative command logic II) by Yamada. The resulting logic will incorporate J. L. Austin’s distinction between illocutionary acts as acts having mere conventional effects and perlocutionary acts as acts having real effects upon (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Norm and Action.G. H. von Wright - 1963 - New York: Humanities.
    Download  
     
    Export citation  
     
    Bookmark   82 citations  
  • Belief Revision in a Framework for Default Reasoning.Gerhard Brewka - 1991 - In André Fuhrmann & Michael Morreau (eds.), The Logic of Theory Change. Springer. pp. 206--222.
    Download  
     
    Export citation  
     
    Bookmark   12 citations