In 1958, to refute the argument known as the theoretician's dilemma, Hempel suggested that theoretical terms might be logically indispensable for inductive systematization of observational statements. This thesis, in some form or another, has later been supported by Scheffler, Lehrer, and Tuomela, and opposed by Bohnert, Hooker, Stegmüller, and Cornman. In this paper, a critical survey of this discussion is given. Several different putative definitions of the crucial notion inductive systematization achieved by a theory are discussed by reference to the (...) properties of inductive inference. The consequences of the following differences between deductive and inductive inference are emphasized: the lack of simple transitivity properties (even in a modified sense) of inductive inference, and the failure of the inductive analogue of the converse of The Deduction Theorem. The main conclusions are: (i) Hempel's original thesis may very well be right but his argument for it is unsatisfactory, (ii) theoretical terms can be logically indispensable for a non-Hempelian kind of inductive systematization, relative to both Craigian and Ramseyan elimination, (iii) Lehrer's attempt to prove the indispensability of theoretical terms for inductive-probabilistic systematization is, as a modification of Hempelian kind of inductive-deterministic systematization, unsatisfactory, and (iv) there does not seem to be much hope of escaping the conclusion (ii), if it is true, by extending the Craigian replacement programme along the lines suggested by Cornman. (shrink)

Contrary to the Empiricist model of science, successful sufficiently fundamental theories not only fit and unify their data fields but also prescribe the general terms in which relevantly to describe observation; specify what is and is not observable; specify the conditions under which what is observable, is observable; specify the instrumental means and reliability by which what is measurable is measured; specify what is causally, statistically, and merely accidentally connected. Moreover, such theories typically require all or most of the entire (...) remainder of science to be properly applied in any given situation and theoreticians' models play a crucial role in such applications. (I call these respectively the internal and external globalnesses of theories.) A discussion of the consequences of these global features of theories for philosophy of science is offered in the context of specific examples and a structural model for science. (shrink)