Constraints for input/output logics

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)
DOI 10.1023/A:1017599526096
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 15,904
External links
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
David Makinson & Leendert van der Torre (2000). Input/Output Logics. Journal of Philosophical Logic 29 (4):383-408.

View all 7 references / Add more references

Citations of this work BETA
Xavier Parent (2011). Moral Particularism in the Light of Deontic Logic. Artificial Intelligence and Law 19 (2-3):75-98.

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

9 ( #246,136 of 1,725,427 )

Recent downloads (6 months)

4 ( #167,246 of 1,725,427 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.