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)