In an earlier paper, a new theory of measure-free conditional objects was presented. In this paper, emphasis is placed upon the motivation of the theory. The central part of this motivation is established through an example involving a knowledge-based system. In order to evaluate combination of evidence for this system, using observed data, auxiliary attribute and diagnosis variables, and inference rules connecting them, one must first choose an appropriate algebraic logic description pair ALDP a formal language or syntax followed by a compatible logic or semantic evaluation or model. Three common choices- for this highly non-unique choice - are briefly discussed, the logics being Classical Logic, Fuzzy Logic, and Probability Logic. In all three, the key operator representing implication for the inference rules is interpreted as the often-used disjunction of a negation for any events a,b.