David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Journal of Philosophical Logic 30 (2):155-185 (2001)
In a previous paper we developed a general theory of input/output logics. These are operations resembling inference, but where inputs need not be included among outputs, and outputs need not be reusable as inputs. In the present paper we study what happens when they are constrained to render output consistent with input. This is of interest for deontic logic, where it provides a manner of handling contrary-to-duty obligations. Our procedure is to constrain the set of generators of the input/output system, considering only the maximal subsets that do not yield output conflicting with a given input. When inputs are authorised to reappear as outputs, both maxichoice revision in the sense of Alchourrón/Makinson and the default logic of Poole emerge as special cases, and there is a close relation with Reiter default logic. However, our focus is on the general case where inputs need not be outputs. We show in what contexts the consistency of input with output may be reduced to its consistency with a truth-functional combination of components of generators, and under what conditions constrained output may be obtained by a derivation that is constrained at every step.
|Keywords||input/output logic contrary-to-duty obligations deontic logic consistency constraints default logics revision|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Peter B. M. Vranas (2008). New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers. Noûs 42 (4):529-572.
Xavier Parent (2011). Moral Particularism in the Light of Deontic Logic. Artificial Intelligence and Law 19 (2-3):75-98.
Audun Stolpe (2010). Norm-System Revision: Theory and Application. [REVIEW] Artificial Intelligence and Law 18 (3):247-283.
Similar books and articles
Muhammad Ali Khalidi (2007). Innate Cognitive Capacities. Mind and Language 22 (1):92-115.
David Makinson & Leendert van der Torre (2003). Permission From an Input/Output Perspective. Journal of Philosophical Logic 32 (4):391-416.
Ned Block (2002). Behaviorism Revisited. Behavioral and Brain Sciences 24 (5):977-978.
David Makinson & Leendert van der Torre (2000). Input/Output Logics. Journal of Philosophical Logic 29 (4):383-408.
Added to index2009-01-28
Total downloads9 ( #237,242 of 1,707,756 )
Recent downloads (6 months)4 ( #160,112 of 1,707,756 )
How can I increase my downloads?