Britz, KHeidema, JVarzinczak, I2011-12-132011-12-132011-09Britz, K, Heidema, J and Varzinczak, I. 2011. Constrained consequence. Logica Universalis, Vol 5(2), pp 327-3501661-82971661-8300http://www.springerlink.com/content/r3g3107r82642mk1/http://hdl.handle.net/10204/5395http://www.springerlink.com/content/r3g3107r82642mk1/Copyright: 2011 Springer verlag (germany). This is a Pre-Print version of the paper, the definitiveThere 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 the authors 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. They do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, their infra-classical reasoning demands (beyond a |= ß) that Mod(ß) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(a), and which can be described by a sentence a with ß |= a. Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies.enConstrained consequencesWeakening operatorInfra-classical entailmentNon-monotonic reasoningModal logicParadoxesArticleBritz, K., Heidema, J., & Varzinczak, I. (2011). Constrained consequence. http://hdl.handle.net/10204/5395Britz, K, J Heidema, and I Varzinczak "Constrained consequence." (2011) http://hdl.handle.net/10204/5395Britz K, Heidema J, Varzinczak I. Constrained consequence. 2011; http://hdl.handle.net/10204/5395.TY - Article AU - Britz, K AU - Heidema, J AU - Varzinczak, I AB - 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 the authors 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. They do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, their infra-classical reasoning demands (beyond a |= ß) that Mod(ß) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(a), and which can be described by a sentence a with ß |= a. Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies. DA - 2011-09 DB - ResearchSpace DP - CSIR KW - Constrained consequences KW - Weakening operator KW - Infra-classical entailment KW - Non-monotonic reasoning KW - Modal logic KW - Paradoxes LK - https://researchspace.csir.co.za PY - 2011 SM - 1661-8297 SM - 1661-8300 T1 - Constrained consequence TI - Constrained consequence UR - http://hdl.handle.net/10204/5395 ER -