ABSTRACT

On many occasions there appears to be a real need for a relevant implication relation which does not introduce or carry superfluous or irrelevant information. In an implication connection A —*• B, B contains superfluous content if B contains content not represented in A. An implication meets a tight containment requirement if it does not sanction the introduction of such superfluous content. The standard relevant logics do not meet such a containment requirement (though they can satisfy other plausible accounts of containment; see e n t , p. 155). They fail it because, in particular, of principles like Addition, A — A V B and B A V B, which tack on disjunctively what may be fresh or extra information.