Achinstein, Putnam, and others have urged the rejection of the received view on theories (which construes theories as axiomatic calculi where theoretical terms are given partial observational interpretations by correspondence rules) because (i) the notion of partial interpretation cannot be given precise formulation, and (ii) the observational-theoretical distinction cannot be drawn satisfactorily. I try to show that these are the wrong reasons for rejecting the received view since (i) is false and it is virtually impossible to demonstrate the truth of (...) (ii). Nonetheless, the received view should be rejected because it obscures a number of epistemologically important features of scientific theorizing. I show this by sketching an alternative analysis which reveals some of these features and gives a more faithful picture of scientific theorizing. (shrink)

A basic aim of E. Beth's work in philosophy of science was to explore the use of formal semantic methods in the analysis of physical theories. We hope to show that a general framework for Beth's semantic analysis is provided by the theory of semi-interpreted languages, introduced in a previous paper. After developing Beth's analysis of nonrelativistic physical theories in a more general form, we turn to the notion of the 'logic' of a physical theory. Here we prove a result (...) concerning the conditions under which semantic entailment in such a theory is finitary. We argue, finally, that Beth's approach provides a characterization of physical theory which is more faithful to current practice in foundational research in the sciences than the familiar picture of a partly interpreted axiomatic theory. (shrink)

The prevalence of optimality models in the literature of evolutionary biology is testimony to their popularity and importance. Evolutionary biologist R. C. Lewontin, whose criticisms of optimality models are considered here, reflects that "optimality arguments have become extremely popular in the last fifteen years, and at present represent the dominant mode of thought." Although optimality models have received little attention in the philosophical literature, these models are very interesting from a philosophical point of view. As will be argued, optimality models (...) are central to evolutionary thought, yet they are not readily accomodated by the traditional view of scientific theories. According to the traditional view, we would expect optimality models to employ general, empirical laws of nature, but they do not. Fortunately, the semantic view of scientific theories, a recent alternative to the traditional view, more readily accomodates optimality models. As we would expect on the semantic view, optimality models can be construed as specifications of ideal systems. These specifications may be used to describe empirical systems--that is, the specifications may have empirical instances. But the specifications are not empirical claims, much less general, empirical laws. Although philosophers have yet to discuss the general features and uses of optimality models, these topics have stimulated much recent discussion among evolutionary biologists. Their discussions raise a number of precautions concerning the proper use of optimality models. Moreover, many of their caveats can be interpreted as general reminders that 1) optimality models specify ideal systems whose empirical instantiations may be quite restricted, and that 2) optimality models should not be construed as general, empirical laws. As G. F. Oster and E. O. Wilson caution, "the prudent course is to regard optimality models as provisional guides to further empirical research and not necessarily as the key to deeper laws of nature." It seems, then, that the semantic view of theories is more sensitive to the nature and limitations of optimality models than is the more traditional view of theories. (shrink)

Modalities explained through the idea of a logical space.