What is the relation or connection between formalizations of induction and the actual inductive inferences of scientists? Building from recent works in the philosophy of logic, this paper argues that these formalizations of induction are best viewed as models and not literal descriptions of inductive inferences in science. Three arguments are put forward to support this claim. First, I argue that inductive support is the kind of phenomenon that can be justifiably modeled. Second, I argue that these formalizations have the (...) features that define models—that they have representors, artefacts, and idealizations. Third, I argue that these formalizations being models explains their plurality and revisability. (shrink)

Science continually contributes new models and rethinks old ones. The way inferences are made is constantly being re-evaluated. The practice and achievements of science are both shaped by this process, so it is important to understand how models and inferences are made. But, despite the relevance of models and inference in scientific practice, these concepts still remain contro-versial in many respects. The attempt to understand the ways models and infer-ences are made basically opens two roads. The first one is to (...) produce an analy-sis of the role that models and inferences play in science. The second one is to produce an analysis of the way models and inferences are constructed, especial-ly in the light of what science tells us about our cognitive abilities. The papers collected in this volume go both ways. (shrink)

Simulation and Similarity: Using Models to Understand the World is an account of modeling in contemporary science. Modeling is a form of surrogate reasoning where target systems in the natural world are studied using models, which are similar to these targets. My book develops an account of the nature of models, the practice of modeling, and the similarity relation that holds between models and their targets. I also analyze the conceptual tools that allow theorists to identify the trustworthy aspects of (...) models. Taken as a whole, I try to account for the ways that modeling is actually practiced by theorists, while abstracting sufficiently to understand the similarities and differences among examples of concrete, mathematical, and computational modeling.I am grateful to Wendy Parker, Jay Odenbaugh, and Bill Wimsatt for their careful and interesting reading of my book, as well as their constructive criticisms. Although I naturally disagree with some of their critiques, I have learned much .. (shrink)

The semantic approach to scientific representation is now long established as a favourite amongst philosophers of science. One of the foremost strains of this approach—the model-theoretic approach —is to represent scientific theories as families of models, all of which satisfy or ‘make true’ a given set of constraints. However some authors have criticised the approach on the grounds that certain scientific theories are logically inconsistent, and there can be no models of an inconsistent set of constraints. Thus it would seem (...) that the MTA fails to represent inconsistent scientific theories at all, and this raises concerns about the way it represents in general. In a series of papers and a recent book da Costa and French have developed a variant of the MTA approach which they call ‘partial structures’, and which they claim can accommodate inconsistent theories. I assess this claim, looking to two theories which have been called ‘inconsistent’: Bohr’s theory of the atom and classical electrodynamics. (shrink)

Inquiries into the nature of scientific modeling have tended to focus their attention on mathematical models and, relatedly, to think of nonconcrete models as mathematical structures. The arguments of this article are arguments for rethinking both tendencies. Nonmathematical models play an important role in the sciences, and our account of scientific modeling must accommodate that fact. One key to making such accommodations, moreover, is to recognize that one kind of thing we use the term ‘model’ to refer to is a (...) collection of propositions. (shrink)

Call a bit of scientific discourse a description of a missing system when (i) it has the surface appearance of an accurate description of an actual, concrete system (or kind of system) from the domain of inquiry, but (ii) there are no actual, concrete systems in the world around us fitting the description it contains, and (iii) that fact is recognised from the outset by competent practitioners of the scientific discipline in question. Scientific textbooks, classroom lectures, and journal articles abound (...) with such passages; and there is a widespread practice of talking and thinking as though there are systems which fit the descriptions they contain perfectly, despite the recognition that no actual, concrete systems do so—call this the face value practice. There are, furthermore, many instances in which philosophers engage in the face value practice whilst offering answers to epistemological and methodological questions about the sciences. Three questions, then: (1) How should we interpret descriptions of missing systems? (2) How should we make sense of the face value practice? (3) Is there a set of plausible answers to (1) and (2) which legitimates reliance on the face value practice in our philosophical work, and can support the weight of the accounts which are entangled with that practice? In this paper I address these questions by considering three answers to the first: that descriptions of missing systems are straightforward descriptions of abstract objects, that they are indirect descriptions of “property-containing” abstracta, and that they are (in a different way) indirect descriptions of mathematical structures. All three proposals are present in the literature, but I find them wanting. The result is to highlight the importance of developing a satisfactory understanding of descriptions of missing systems and the face value practice, to put pressure on philosophical accounts which rely on the practice, and to help us assess the viability of certain approaches to thinking about models, theory structure, and scientific representation. (shrink)

Within the modeling literature, there is often an implicit assumption about the relationship between a given model and a scientific explanation. The goal of this article is to provide a unified framework with which to analyze the myriad relationships between a model and an explanation. Our framework distinguishes two fundamental kinds of relationships. The first is metaphysical, where the model is identified as an explanation or as a partial explanation. The second is epistemological, where the model produces understanding that is (...) related to the explanation of interest. Our analysis reveals that the epistemological relationships are not always dependent on the metaphysical relationships, contrary to what has been assumed by many philosophers of science. Moreover, we identify several importantly different ways that scientific models instantiate these relationships. We argue that our framework provides novel insights concerning the nature of models, explanation, idealization, and understanding. (shrink)

Mathematical idealizations are scientific representations that result from assumptions that are believed to be false, and where mathematics plays a crucial role. I propose a two stage account of how to rank mathematical idealizations that is largely inspired by the semantic view of scientific theories. The paper concludes by considering how this approach to idealization allows for a limited form of scientific realism. ‡I would like to thank Robert Batterman, Gabriele Contessa, Eric Hiddleston, Nicholaos Jones, and Susan Vineberg for helpful (...) discussions and encouragement. †To contact the author, please write to: Department of Philosophy, Beering Hall, Purdue University, 100 N. University Street, West Lafayette, IN 47907-2098; e-mail: [email protected]. (shrink)

El presente escrito se propone presentar el modelo de tres niveles del conocimiento científico (datos, fenómenos y teorías) desde los recientes resultados de la filosofía de la ciencia obtenidos por dos perspectivas filosóficas particulares: el nuevo experimentalismo y el enfoque semántico de las teorías. Para ello contrasta los planteamientos principales de estas dos perspectivas con el modelo de dos niveles del conocimiento científico (observación y teoría) del positivismo lógico, que dominó el panorama de la filosofía de la ciencia en las (...) primeras seis décadas del siglo XX. (shrink)

One way visual representations might function in scientific reasoning is to convey content that is true or false, analogous to making a claim. An alternative way that visual representations might function is as an object that may make statements true or false, but is not itself true or false, analogous to a scientific model. In this paper I evaluate the most recent and extended defense of this latter position and show that the case study involved does not in fact support (...) the view that the diagrams discussed function as truth-makers rather than truth bearers. (shrink)

Fictionalists believe that scientific models are about model systems that are imaginary. Michael Weisberg has claimed that fictionalism is indefensible because many scientific models are about model systems that are unimaginable. According to a certain account of imagination, what Weisberg says is plausible. According to another, more defensible account of imagination, it is not. I discuss these issues within the context of an allegedly unimaginable model system in ecology, but the conclusions I draw are more general. I then describe how (...) fictionalism should be recast in order to deal with Weisberg’s critique. (shrink)

In this paper, a modest version of the Semantic View is motivated as both tenable and potentially fruitful for philosophy of science. An analysis is proposed in which the Semantic View is characterized by three main claims. For each of these claims, a distinction is made between stronger and more modest interpretations. It is argued that the criticisms recently leveled against the Semantic View hold only under the stronger interpretations of these claims. However, if one only commits to the modest (...) interpretation for all the claims, then the view obtained, the Modest Semantic View, is tenable and fruitful for the philosophy of science. (shrink)

El presente escrito se propone presentar el modelo de tres niveles del conocimiento científico (datos, fenómenos y teorías) desde los recientes resultados de la filosofía de la ciencia obtenidos por dos perspectivas filosóficas particulares: el nuevo experimentalismo y el enfoque semántico de las teorías. Para ello contrasta los planteamientos principales de estas dos perspectivas con el modelo de dos niveles del conocimiento científico (observación y teoría) del positivismo lógico, que dominó el panorama de la filosofía de la ciencia en las (...) primeras seis décadas del siglo XX. (shrink)

In drawing on Poincare’s conventionalism, Cassirer’s neo-Kantianism, Duhem’s methodological conservatism, and Russell’s holist doctrine of scientific knowledge, Worrall (1989) launched in his classical paper a new position in realism debate. The champions of structural realism have managed to combine a sense in which the development of science is cumulative with a picture of theory change that coheres with the argument of the “pessimistic meta-induction”. Twenty two years after the publication of Worrall’s paper, the volume under review presents an exciting recapitulation (...) of the structuralist movement’s main achievements. The recapitulation is most welcome, since from the very outset of its development not only did structural realism oppose the forms of logical reductionism, but it also got its emancipation as a philosophical position through suggesting an alternative to van Fraassen’s constructive empiricism, while at the same time provoking a transformation of the latter into structu .. (shrink)

In this essay I shall focus on the adoption of the Semantic Approach by structural realists, including myself, who have done so on the grounds that it wears its structuralist sympathies on its sleeve. Despite this, the SA has been identified as standing in tension with the ontological commitments of the so-called ’ontic’ form of this view and so I shall explore that tension before discussing the usefulness of the SA in framing scientific representation and concluding with a discussion of (...) the implications of the ontological status of theories and models themselves. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

In this paper I begin with a recent challenge to the Semantic Approach and identify an underlying assumption, namely that identity conditions for theories should be provided. Drawing on previous work, I suggest that this demand should be resisted and that the Semantic Approach should be seen as a philosophical device that we may use to represent certain features of scientific practice. Focussing on the partial structures variant of that approach, I then consider a further challenge that arises from a (...) concern with the role of idealisations in that practice. I argue that the partial structures approach is capable of meeting this challenge and I conclude with some broader observations about the role of such formal accounts within the philosophy of science. (shrink)

William Whewell’s account of induction differs dramatically from the one familiar from twentieth-century debates. I argue that Whewell’s induction can be usefully understood by comparing the difference between his views and more standard accounts to contemporary debates between semantic and syntactic views of theories: rather than understanding inductive inference as capturing a relationship between sentences or propositions, Whewell understands it as a method for constructing a model of the world. The difference between this view and the more familiar picture of (...) induction is reflected in other aspects of Whewell’s philosophy of science, particularly his treatment of consilience and the order of discovery. (shrink)