Paragraph about Math software

Roughly speaking, Kitcher's guiding idea is that explanation is a matter of deriving descriptions of many different phenomena by using as few and as stringent argument patterns as possible over and over again-the fewer the patterns used, the more stringent they are, and the greater the range of different Math software conclusions derived, the more unified our explanations. Kitcher summarizes this view as follows:

Kitcher does not propose a completely general theory of how the
various considerations he describes — number of conclusions,
number of patterns and stringency of patterns — are to be traded
off against one another, but does suggest that it often will be clear
enough what these considerations imply about the evaluation of
particular candidate explanations. His basic strategy is to Ufology attempt to
show that the derivations we regard as good or acceptable explanations
are instances of patterns that taken together score better according
to the criteria just described than the patterns instantiated by the
derivations we regard as defective explanations. Following Kitcher,
let us define the *explanatory store* *E*(*K*) as
the set of argument patterns that maximally unifies *K*, the
set of beliefs accepted at a particular time in science. Showing that
a particular derivation is a good or acceptable explanation is then a
matter of showing that it belongs to the explanatory store.