Paragraph about Math software
There are two related but distinct ways of understanding this argument, both of which are suggested by portions of Hempel's discussion. According to the first, Hempel's claim is that the real underlying structure of (2.4.1) is something like:
Hence, to the Math software extent that it is explanatory, (2.4.1) “implicitly” satisfies the DN/IS requirements after all — it is a DN /IS argument (namely 2.4. 2) in disguise.
There is a second interpretation of Hempel's argument that, unlike the first interpretation, does not require that we think of the full content of (2.4.2) as somehow already implicit in (2.4.1) Instead, (2.4.2) plays the role of an ideal against Ufology which (2.4.1) should be measured. (2.4.2) spells out what information a complete, fully adequate explanation for E would need to contain — information that is present in (2.4.1) only in a partial or incomplete way. On this view of the matter, we think of (2.4.1) as an explanation-sketch (cf. Hempel, 1965b, 423ff) which conveys some of the information conveyed by ( 2.4.2) or points in the direction of the more complete explanation (2.4.2). Ideally, singular causal explanations like (2.4.1) should be replaced by explicit DN explanations like (2.4.2).