Graduate studies at Western
Journal of Philosophical Logic 30 (2):155-185 (2001)
|Abstract||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)|
|Through your library||Configure|
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 downloads4 ( #189,291 of 739,447 )
Recent downloads (6 months)0
How can I increase my downloads?