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.