in which explanations take the form of proofs (formal derivations), justifications (abstractions over proofs), subsumption by more general explanations, or contrafactuals in which the absence of an event or condition ensures that a phenomenon does not occur. Deductive reasoning is often used to produce logical explanations.