Input/output logics

Journal of Philosophical Logic 29 (4):383-408 (2000)
  Copy   BIBTEX

Abstract

In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. Our purpose is to develop a theory of such input/output operations. Four are singled out: simple-minded, basic (making intelligent use of disjunctive inputs), simple-minded reusable (in which outputs may be recycled as inputs), and basic reusable. They are defined semantically and characterised by derivation rules, as well as in terms of relabeling procedures and modal operators. Their behaviour is studied on both semantic and syntactic levels.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,654

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2009-01-28

Downloads
277 (#64,576)

6 months
16 (#107,654)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

David Makinson
London School of Economics

Citations of this work

Deontic logic.Paul McNamara - 2010 - Stanford Encyclopedia of Philosophy.
Defeasible reasoning.Robert C. Koons - 2008 - Stanford Encyclopedia of Philosophy.
Constraints for Input/Output Logics.David Makinson & Leendert van der Torre - 2001 - Journal of Philosophical Logic 30 (2):155 - 185.

View all 55 citations / Add more citations

References found in this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.

Add more references