The book Model-Based Reasoning in Scientific Discovery, aims to explain how specific modeling practices employed by scientists are productive methods of ...

From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of which may be suspected from this steady interest in it, contains a thorough introduction to elementary classical logic in a relaxed way, suitable for mathematics students who just want to get to know logic. The presentation always points out the connections of logic to other parts of mathematics. The reader (...) immediately see the logic is "just another branch of mathematics" and not something more sacred." Acta Scientiarum Mathematicarum, Hungary. (shrink)

Debate over the nature of science has recently moved from the halls of academia into the public sphere, where it has taken shape as the "science wars." At issue is the question of whether scientific knowledge is objective and universal or socially mediated, whether scientific truths are independent of human values and beliefs. Ronald Giere is a philosopher of science who has been at the forefront of this debate from its inception, and Science without Laws offers a much-needed mediating perspective (...) on an increasingly volatile line of inquiry. Giere does not question the major findings of modern science: for example, that the universe is expanding or that inheritance is carried by DNA molecules with a double helical structure. But like many critics of modern science, he rejects the widespread notion of science--deriving ultimately from the Enlightenment--as a uniquely rational activity leading to the discovery of universal truths underlying all natural phenomena. In these highly readable essays, Giere argues that it is better to understand scientists as merely constructing more or less abstract models of limited aspects of the world. Such an understanding makes possible a resolution of the issues at stake in the science wars. The critics of science are seen to be correct in rejecting the Enlightenment idea of science, and its defenders are seen to be correct in insisting that science does produce genuine knowledge of the natural world. Giere is utterly persuasive in arguing that to criticize the Enlightenment ideal is not to criticize science itself, and that to defend science one need not defend the Enlightenment ideal. Science without Laws thus stakes out a middle ground in these debates by showing us how science can be better conceived in other ways. (shrink)

We outline Ladyman's 'metaphysical' or 'ontic' form of structuralrealism and defend it against various objections. Cao, in particular, has questioned theview of ontology presupposed by this approach and we argue that by reconceptualisingobjects in structural terms it offers the best hope for the realist in thecontext of modern physics.

A case study of the development of quantum field theory and of S-matrix theory, from their inceptions to the present, is presented. The descriptions of science given by Kuhn and by Lakatos are compared and contrasted as they apply to this case study. The episodes of the developments of these theories are then considered as candidates for competing research programs in Lakatos' methodology of scientific research programs. Lakatos' scheme provides a reasonable overall description and a plausible assessment of the relative (...) value of these two programs in terms of progressive and degenerating problem shifts. Also discussed are the roles of various types of models as they have been used in these areas of theoretical high-energy physics. (shrink)

We examine, from the partial structures perspective, two forms of applicability of mathematics: at the “bottom” level, the applicability of theoretical structures to the “appearances”, and at the “top” level, the applicability of mathematical to physical theories. We argue that, to accommodate these two forms of applicability, the partial structures approach needs to be extended to include a notion of “partial homomorphism”. As a case study, we present London's analysis of the superfluid behavior of liquid helium in terms of Bose‐Einstein (...) statistics. This involved both the introduction of group theory at the top level, and some modeling at the “phenomenological” level, and thus provides a nice example of the relationships we are interested in. We conclude with a discussion of the “autonomy” of London's model. (shrink)

In this paper a constructive empiricist account of scientific change is put forward. Based on da Costa's and French's partial structures approach, two notions of empirical adequacy are initially advanced (with particular emphasis on the introduction of degrees of empirical adequacy). Using these notions, it is shown how both the informativeness and the empirical adequacy requirements of an empiricist theory of scientific change can then be met. Finally, some philosophical consequences with regard to the role of structures in this context (...) are drawn.Now, we daily see what science is doing for us. This could not be unless it taught us something about reality; the aim of science is not things themselves, as the dogmatists in their simplicity imagine, but the relations between things; outside those relations there is no reality knowable. (shrink)