Journal of Philosophical Logic 30 (2):155 - 185 (2001)

David Makinson
London School of Economics
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 Alchourr6n/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)
Reprint years 2004
DOI 10.1023/A:1017599526096
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 64,229
Through your library

References found in this work BETA

Input/Output Logics.David Makinson & Leendert van der Torre - 2000 - Journal of Philosophical Logic 29 (4):383-408.

View all 11 references / Add more references

Citations of this work BETA

Deontic Logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
Modality, Weights and Inconsistent Premise Sets.Alex Silk - 2017 - Journal of Semantics 34 (4):683-707.
Permission From an Input/Output Perspective.David Makinson & Leendert van der Torre - 2003 - Journal of Philosophical Logic 32 (4):391 - 416.

View all 35 citations / Add more citations

Similar books and articles


Added to PP index

Total views
58 ( #185,848 of 2,455,617 )

Recent downloads (6 months)
1 ( #449,205 of 2,455,617 )

How can I increase my downloads?


My notes