Constrained Consequence

Logica Universalis 5 (2):327-350 (2011)
  Copy   BIBTEX


There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework for a whole spectrum of consequence relations, flexible enough to be tailored for choices from a variety of contexts. We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, our infra-classical reasoning demands (beyond ${\alpha\models\beta}$ ) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence ${\bullet\alpha}$ with ${\beta\models\bullet\alpha}$ . Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies



    Upload a copy of this work     Papers currently archived: 74,389

External links

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

Through your library

Similar books and articles

Modal Logic Based Theory for Non-Monotonic Reasoning.Pierre Siegel & Camilla Schwind - 1993 - Journal of Applied Non-Classical Logics 3 (1):73-92.
The Nature of Nonmonotonic Reasoning.Charles G. Morgan - 2000 - Minds and Machines 10 (3):321-360.
Conditionals in Reasoning.John Cantwell - 2009 - Synthese 171 (1):47 - 75.
Displaying the Modal Logic of Consistency.Heinrich Wansing - 1999 - Journal of Symbolic Logic 64 (4):1573-1590.
Abductive Logics in a Belief Revision Framework.Bernard Walliser, Denis Zwirn & Hervé Zwirn - 2004 - Journal of Logic, Language and Information 14 (1):87-117.
On AGM for Non-Classical Logics.Renata Wassermann - 2011 - Journal of Philosophical Logic 40 (2):271 - 294.
Three Paradoxes of Medical Diagnosis.G. William Moore & Grover M. Hutchins - 1987 - Theoretical Medicine and Bioethics 2 (2):197-215.
Modulated Logics and Flexible Reasoning.Walter Carnielli & Maria Cláudia C. Grácio - 2008 - Logic and Logical Philosophy 17 (3):211-249.


Added to PP

54 (#215,827)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
How We Reason.Philip Nicholas Johnson-Laird - 2006 - Oxford University Press.
Paraconsistent Logic.Graham Priest - 2008 - Stanford Encyclopedia of Philosophy.
Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.

View all 26 references / Add more references