The structuralist approach represents the relation between a model and physical system as a relation between two mathematical structures. However, since a physical system is _prima facie_ _not_ a mathematical structure, the structuralist approach seemingly fails to represent the fact that science is about concrete, physical reality. In this paper, I take up this _problem of lost reality_ and suggest how it may be solved in a purely structuralist fashion. I start by briefly introducing both the structuralist approach and the (...) problem of lost reality and discussing the various (non-structuralist) solutions that have been proposed in the literature. Following this, I decompose the problem into the _ontological mismatch_ and _specification_ problems. In response to the former, I present a _metascientific dissolution argument_, according to which the difference in kind between mathematical structures and physical systems poses no deep obstacle to the structuralist approach, and consider some upshots of this argument for our views on representation. By way of conclusion, I argue that the metascientific dissolution argument paves the way for a solution to the specification problem as well. (shrink)

The philosopher of science faces overwhelming disagreement in the literature on the definition, nature, structure, ontology, and content of scientific theories. These disagreements are at least partly responsible for disagreements in many of the debates in the discipline which put weight on the concept scientific theory. I argue that available theories of theories and conceptual analyses of theory are ineffectual options for addressing this difficulty: they do not move debates forward in a significant way. Directing my attention to debates about (...) the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective way to make progress in the face of the noted problem: post-reformulation disagreements about theory cannot compromise the debate, and the questions that really matter can still be asked and answered. In addition the reformulation process demands that philosophers engage with science and the history of science in a more serious way than is usual in order to answer important questions about the justification for targeting a particular set of propositions (say) in a given context. All things considered, we should expect the benefits of a theory-eliminating debate-reformulation to heavily outweigh the costs for a highly significant number of debates of the relevant type. (shrink)

Review essay of How to do science with models. A philosophical primer. Springer briefs in philosophy, Axel Gelfert., 129, Price € 49,99 softcover, ISBN: 978-3-319-27954-1.

In recent years, the use of historical cases in philosophy of science has become a proper topic of reflection. In this article I will contribute to this research by means of a discussion of one very famous example of case-based philosophy of science, namely the debate on the London & London model of superconductivity between Cartwright, Suárez and Shomar on the one hand, and French, Ladyman, Bueno and Da Costa on the other. This debate has been going on for years, (...) without any satisfactory resolution. I will argue here that this is because both sides impose on the historical case a particular philosophical conception of scientific representation that does not do justice to the historical facts. Both sides assume, more specifically, that the case concerns the discovery of a representational connection between a given experimental insight – the Meissner effect – and the diamagnetic meaning of London and London’s new equations of superconductivity. I will show, however, that at the time of the Londons’ publication, neither the experimental insight nor the meaning of the new equations was established: both were open for discussion and they were stabilized only later. On the basis of this historical discussion, I will then propose an alternative approach to the case study: the case should not be seen as a site of confrontation between pre-existing philosophical accounts, but rather as a way to historically elaborate and develop philosophical concepts. I will then show how approaching the historical episode in this way suggests an alternative approach to the philosophical study of representation, according to which it involves the establishment, over time, of a stable connection between constellations of different elements that, through discussion and engagement with alternative views and approaches, come to constitute phenomenon and meaning. (shrink)

In this article my primary intention is to engage in a discussion on the inherent constraints of models, taken as models of theories, that reaches beyond the epistemological level. Naturally the paper takes into account the ongoing debate between proponents of the syntactic and the semantic view of theories and that between proponents of the various versions of scientific realism, reaching down to the most fundamental, subjective level of discourse. In this approach, while allowing for a limited discussion of physical (...) and positive science models, I am primarily focused on the structure and ontology of mathematical models, in particular Cohen’s forcing models and to a lesser extent Gödel’s constructible universe, to the extent that these were designed to answer questions bearing on the scope, the capacity and ultimately the ontology of models themselves, therefore influencing in one or the other way the status of models in general. This status, it is argued, is largely defined by the way models subsume a set-theoretical structure whose constraints, reducible to an extra-linguistic level of discourse, may implicitly condition the epistemic status of models as representations of axiomatic theories. In the last section I deal extensively with the inner constraints of theories as subjectively originated in a less technical philosophically oriented discussion with certain prompts from phenomenology. (shrink)

We develop an account of how mutually inconsistent models of the same target system can provide coherent information about the system. Our account makes use of ideas from the debate surrounding rob...

I consider three explanatory strategies from recent systems biology that are driven by mathematics as much as mechanistic detail. Analysis of differential equations drives the first strategy; topological analysis of network motifs drives the second; mathematical theorems from control engineering drive the third. I also distinguish three abstraction types: aggregations, which simplify by condensing information; generalizations, which simplify by generalizing information; and structurations, which simplify by contextualizing information. Using a common explanandum as reference point—namely, the robust perfect adaptation of chemotaxis (...) in Escherichia coli—I argue that each strategy invokes a different combination of abstraction types and that each targets its abstractions to different mechanistic details. (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)

The ontological status of theories themselves has recently re-emerged as a live topic in the philosophy of science. We consider whether a recent approach within the philosophy of art can shed some light on this issue. For many years philosophers of aesthetics have debated a paradox in the (meta)ontology of musical works (e.g. Levinson [1980]). Taken individually, there are good reasons to accept each of the following three propositions: (i) musical works are created; (ii) musical works are abstract objects; (iii) (...) abstract objects cannot be created. However it seems clear that, if one wants to avoid inconsistency, one cannot commit to all three. Following up recent developments courtesy of Cameron ([2008a]), we consider how one might respond to the corresponding set of propositions in the (meta)ontology of scientific theories. 1 Introduction2 Setting up the Problem3 What to Reject? 3.1 Scientific theories are not created? 3.2 Scientific theories are not abstract objects? 3.3 Abstract objects can be created?4 A Fourth Way: Truth-maker Theory5 Objections and Replies 5.1 What are the truth-makers? 5.2 Objections from World 3 5.3 Fictionalism 5.4 Concrete/abstract6 Conclusion. (shrink)

In a recent paper, Suárez and Cartwright return to the example of London and London's construction of a model for superconductivity and raise a number of concerns against the account of this construction presented in French and Ladyman and elsewhere. In this discussion note, we examine the challenge they raised and offer our responses.

What are scientific models? Philosophers of science have been trying to answer this question during the last three decades by putting forward a number of different proposals. Some say that models are best understood as abstract Platonic objects or fictional entities akin to Sherlock Holmes, while others focus on their mathematical nature and see them as set theoretical structures. Although each account has its own strengths in offering various insights on the nature of models, several objections have been raised against (...) these views which still remain unanswered, making the debate on the ontology of models seem unresolvable. The primary aim of this paper is to show that a large part of these difficulties stems from an inappropriate reading of the main question on the ontology of models as a purely metaphysical question. Building on Carnap, it is argued that the question of the ontology of scientific models is either an internal theoretical question within an already accepted linguistic framework or an external practical question regarding the choice of the most appropriate form of language in order to describe and explain the practice of scientific modelling. The main implication of this view is that the question of the ontology of models becomes a means of probing other related questions regarding the overall practice of scientific modelling, such as questions on the capacity of models to provide knowledge and the relation of models with background theories. (shrink)

This book is a sustained defense of the compatibility of the presence of idealizations in the sciences and scientific realism. So, the book is essentially a detailed response to the infamous arguments raised by Nancy Cartwright to the effect that idealization and scientific realism are incompatible.

"Partial realism" is a common position in the contemporary philosophy of science literature. It states that the "essential" elements of empirically successful scientific theories accurately represent corresponding features the world. This thesis makes several novel contributions related to this position. Firstly, it offers a new definition of the concept of “empirical success”, representing a principled merger between the use-novelty and unification accounts. Secondly, it provides a comparative critical analysis of various accounts of which elements are "essential" to the success of (...) a theory, including structural realism and the divide et impera strategy. A novel account of essentialness, entitled the “empirically successful sub-theory "account", is defended. Thirdly, it is argued that the realism/anti-realism debate should put to the side metaphysical questions and focus instead on partial realism's commitment to the continuity of science. Because this commitment lacks metaphysical implications, it is referred to as "deflationary realism". Anti-realists cannot reject deflationary realism as a matter of a priori principle; its overall viability can therefore only be assessed by a careful examination of the history of science. Finally, another consequence of partial realism, named "partial rationalism", is defended. Partial rationalism states that, in cases where several competing theories have been suggested, scientists are rational just in case they accept the essential elements of each of the scientific theories on offer. This novel position subverts the existing literature on scientific "revolutions", as it sometimes demands that scientists devise a synthesis between competing scientific theories, instead of "choosing" only one. The philosophical points defended in this thesis are illustrated and supported by case studies from the history of science, including Fresnel’s wave theory of light, the Copernican revolution, the "neo-Darwinian synthesis" in evolutionary biology, the "prion revolution" in molecular biology, the miasma theory of disease, and the chemical revolution. (shrink)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

Disagreements about the definition, nature, structure, ontology, and content of scientific theories are at least partly responsible for disagreements in other debates in the philosophy of science. I argue that available theories of theories and conceptual analyses of *theory* are ineffectual options for overcoming this difficulty. Directing my attention to debates about the properties of particular, named theories, I introduce ‘theory eliminativism’ as a certain type of debate-reformulation. As a methodological tool it has the potential to be a highly effective (...) way to make real progress in the face of the noted problem. After the recommended reformulation questions of genuine importance to philosophy of science can still be asked and answered, but now without any possibility of disagreements about ‘theories’ compromising the debate. (shrink)