Weak Conditional Logics of Normality

Abstract

A default conditional # # has most often been informally interpreted as a defeasible version of a classical conditional, usually the material conditional. That is, the intuition is that a default should behave (implicitly or explicitly) as its (say) material counterpart "by default" or unless explicitly overridden. In this paper, we develop an alternative interpretation, in which a default is regarded more like a rule, leading from premises to conclusion. To this end, a general semantic framework under a "rule-based" interpretation is developed, and a family of weak conditional logics is specified, along with associated proof theories. Nonmonotonic