In this paper, I shall examine attempts to furnish formal models for deductive scientific explanation. All such attempts have had certain defects. The most serious of these defects is to be found in the fact that the extant models seem to be formally restrictive in ways that do not allow any obvious generalization of their conditions which will encompass the full range of all those scientific explanations which must be considered plausible candidates for translation into deductive models.

In 'Hempel and Oppenheim on Explanation', (see preceding article) Eberle, Kaplan, and Montague criticize the analysis of explanation offered by Hempel and Oppenheim in their 'Studies in the Logic of Explanation'. These criticisms are shown to be related to the fact that Hempel and Oppenheim's analysis fails to satisfy simultaneously three newly proposed criteria of adequacy for any analysis of explanation. A new analysis is proposed which satisfies these criteria and thus is immune to the criticisms brought against the earlier (...) analysis. (shrink)

It is widely agreed that ‘scientific law’ is one of the key scientific terms which any adequate philosophy of science must attempt to clarify or define. The importance of the concept ‘law’ is made evident by the fact that the distinctive functions of science—explanation and prediction—are usually analyzed with reference to laws. Thus events are explained by showing that descriptions of them are deducible from laws, and laws are utilized in deducing descriptions of unknown future events, thereby permitting their prediction. (...) Moreover, it has recently become clear that the concept ‘law’ is relevant to the analysis of counterfactual conditionals, disposition terms, and the physical modalities. An adequate explication of ‘law’, then, will further the analysis of these important concepts. (shrink)

Hempel and Oppenheim have stated in Part III of their paper “Studies in the Logic of Explanation” [2] a set of conditions for deductive explanation. However, their analysis has come under damaging systematic criticisms in a recent paper by Eberle, Kaplan and Montague [1], The principal aim of the present paper is to review the Hempel-Oppenheim analysis and propose a strengthened version of it that avoids the recent criticisms.

Various laws and theories in the natural and social sciences are presented with a view to discerning the syntactic and semantic characteristics of many idealizations in science. Three different kinds of idealizations are discussed: ideal conditions, ideal cases, and idealized theories. An ideal condition is a formula in which state variables occur, whose existential closure is false, and for which there is another formula that can be constructed out of the original formula such that the existential closure of the new (...) formula is true. An ideal case is a statement which is logically equivalent to a universal conditional which has an ideal condition as its antecedent. And an idealized theory is a set of false universal conditional statements. Alternative syntactic and semantic analyses are viewed and criticized. (shrink)