Michael Weisberg and Kenneth Reisman argue that the Volterra Principle can be derived from multiple predator-prey models and that, therefore, the Volterra Principle is a prime example for robustness analysis. In the current article, I give new results regarding the Volterra Principle, extending Weisberg’s and Reisman’s work, and I discuss the consequences of these results for robustness analysis. I argue that we do not end up with multiple, independent models but rather with one general model. I identify the kind of (...) situation in which this generalization approach may occur, and I analyze the generalized Volterra Principle from an explanatory perspective. (shrink)

In a number of very influential publications, Epstein and Hoover (among other authors) have recently argued that a thoroughly micro-foundationalist approach towards economics is unconvincing for metaphysical reasons. However, as we show in this article, this metaphysical/social ontological approach to the debate fails to resolve the status of micro-foundations in the practice of economic modelling. To overcome this, we argue that endogenizing a model—that is, providing micro-foundations for it—correlates with making that model more complex. Specifically, we show that models with (...) more micro-foundations tend to have more parameters or variables. This matters, as there are well-established methodological reasons for preferring models with fewer parameters or variables—ceteris paribus. We therefore conclude that, from a practice-based point of view, micro-foundations are only defensible to the extent that they significantly improve the ability of the relevant model to fit the data of interest. In this way, we arrive at a practice-based, methodological reconceptualization of the debate surrounding the need for micro-foundations in economics. (shrink)

The aim of this paper is to develop ideas about robustness analyses. I introduce a form of robustness analysis that I call sufficient parameter robustness, which has been neglected in the literature. I claim that sufficient parameter robustness is different from derivational robustness, the focus of previous research. My purpose is not only to suggest a new taxonomy of robustness, but also to argue that previous authors have concentrated on a narrow sense of robustness analysis, which they have inadequately distinguished (...) from other investigations of models such as sensitivity analysis. (shrink)

Recent philosophy of science has witnessed a shift in focus, in that significantly more consideration is given to how scientists employ models. Attending to the role of models in scientific practice leads to new questions about the representational roles of models, the purpose of idealizations, why multiple models are used for the same phenomenon, and many more besides. In this paper, I suggest that these themes resonate with central topics in feminist epistemology, in particular prominent versions of feminist empiricism, and (...) that model-based science and feminist epistemology each has crucial resources to offer the other's project. (shrink)

Cancer is not one, but many diseases, and each is a product of a variety of causes acting (and interacting) at distinct temporal and spatial scales, or “levels” in the biological hierarchy. In part because of this diversity of cancer types and causes, there has been a diversity of models, hypotheses, and explanations of carcinogenesis. However, there is one model of carcinogenesis that seems to have survived the diversification of cancer types: the multi-stage model of carcinogenesis. This paper examines the (...) history of the multistage theory, and uses the theory as a case study in the limits and goals of unification as a theoretical virtue, comparing and contrasting it with “integrative” research. (shrink)

Cancer is not one, but many diseases, and each is a product of a variety of causes acting at distinct temporal and spatial scales, or ‘‘levels’’ in the biological hierarchy. In part because of this diversity of cancer types and causes, there has been a diversity of models, hypotheses, and explanations of carcinogenesis. However, there is one model of carcinogenesis that seems to have survived the diversification of cancer types: the multi-stage model of carcinogenesis. This paper examines the history of (...) the multistage theory, and uses the theory as a case study in the limits and goals of unification as a theoretical virtue, comparing and contrasting it with ‘‘integrative’’ research. (shrink)

In this paper, by means of a novel use of insights from the literature on scientific modelling, I will argue in favour of an instrumentalist approach to the models that are crucially involved in the study of adaptive systems within the Free-Energy Principle (FEP) framework. I will begin (§2) by offering a general, informal characterisation of FEP. Then (§3), I will argue that the models involved in FEP-theorising are plausibly intended to be isomorphic to their targets. This will allow (§4) (...) to turn the criticisms moved against isomorphism-based accounts of representation towards the FEP modelling practice. Since failure to establish an isomorphism between model and target would result in the former’s failure to represent the latter, and given that it is highly unlikely that FEP-models are ever isomorphic to their targets, maintaining that FEP-models represent their targets as they are, in a realist sense, is unwarranted. Finally (§5), I will consider what implications my argument in favour of an instrumentalist reading of FEP-models has for attempts at making use of the FEP to elaborate an account of what cognition exactly is. My conclusion is that we should not dismiss FEP-based accounts of cognition, as they would still be informative and would further our understanding of the nature of cognition. Nonetheless, the prospects of settling the philosophical debates that sparked the interest in having a “mark of the cognitive” are not good. (shrink)

Experimental modeling is the construction of theoretical models hand in hand with experimental activity. As explained in Section 1, experimental modeling starts with claims about phenomena that use abstract concepts, concepts whose conditions of realization are not yet specified; and it ends with a concrete model of the phenomenon, a model that can be tested against data. This paper argues that this process from abstract concepts to concrete models involves judgments of relevance, which are irreducibly normative. In Section 2, we (...) show, on the basis of several case studies, how these judgments contribute to the determination of the conditions of realization of the abstract concepts and, at the same time, of the quantities that characterize the phenomenon under study. Then, in Section 3, we compare this view on modeling with other approaches that also have acknowledged the role of relevance judgments in science. To conclude, in Section 4, we discuss the possibility of a plurality of relevance judgments and introduce a distinction between locally and generally relevant factors. (shrink)

Computer simulation has become important in ecological modeling, but there have been few assessments on how complex simulation models differ from more traditional analytic models. In Part I of this paper, I review the challenges faced in complex ecological modeling and how models have been used to gain theoretical purchase for understanding natural systems. I compare the use of traditional analytic simulation models and point how that the two methods require different kinds of practical engagement. I examine a case study (...) of three models from the insect resistance literature in transgenic crops to illustrate and explore differences in analytic and computer simulation models. I argue that analyzing simulation models has been often inappropriately managed with expectations derived from handling analytic models. In Part II, I look at simulation as a hermeneutic practice. I argue that simulation models are a practice or techné. I the explore five aspects of philosophical hermeneutics that may be useful in complex ecological simulation: (1) an openness to multiple perspectives allowing multiple levels of scientific pluralism, (2) the hermeneutic circle, a back and forth in active communication among both modelers and ecologists; (3) the recognition of human factors and the nature of human practices as such, including recognizing the role of judgments and choices in the modeling enterprise; (4) the importance of play in modeling; (5) the non-closed nature of hermeneutic engagement, continued dialogue, and recognizing the situatedness, incompleteness, and tentative nature of simulation models. (shrink)

Frigg and Reiss (2009) argue that philosophical problems in simulation bear enough resemblance to recognized issues in the philosophy of modeling that they only pose challenges analogous to those found in standard analytic models used to represent natural systems. They suggest that there are no new philosophical problems in computer simulation modeling beyond those found in traditional mathematical modeling. Winsberg (2009) has countered that there appear to be genuinely new epistemological problems in simulation modeling because the knowledge obtained from them (...) is ‘downward, motley, and autonomous.’ Here I draw out some specific ways that these epistemological problems are manifest in complex ecological simulation, especially in agent-based models. These models contain novel features that were impossible to anticipate prior to the computer revolution, and continue to present difficulties and challenges of both a practical and philosophical nature (Humphreys 2002). (shrink)

Lisciandra poses a challenge for robustness analysis as applied to economic models. She argues that substituting tractability assumptions risks altering the main mathematical structure of the model, thereby preventing the possibility of meaningfully evaluating the same model under different assumptions. In such cases RA is argued to be inapplicable. However, Lisciandra is mistaken to take the goal of RA as keeping the mathematical properties of tractability assumptions intact. Instead, RA really aims to keep the modeling component while varying the corresponding (...) mathematical formulation. Thus, her argument concerning whether the associated mathematical properties of certain assumptions can be kept intact is irrelevant to the success of RA. Furthermore, we explicate and develop Lloyd’s account of “model robustness” to provide solutions to Lisciandra’s challenges. Our solutions are, namely, error analysis and independent empirical support. We conclude that although complex economic models do face potential dangers, there are solutions and robustness analysis need not be given up.. (shrink)

As scientists begin to study increasingly complex questions, many have turned to computer simulation to assist in their inquiry. This methodology has been challenged by both analytic modelers and experimentalists. A primary objection of analytic modelers is that simulations are simply too complicated to perform model verification. From the experimentalist perspective it is that there is no means to demonstrate the reality of simulation. The aim of this paper is to consider objections from both of these perspectives, and to argue (...) that a proper understanding and application of robustness analysis is able to resolve them. ‡The author would like to thank Cristina Bicchieri, Michelle Foa, Paul Humphreys and Michael Weisberg for their helpful comments and suggestions. †To contact the author, please write to: Department of Philosophy, University of Pennsylvania, 433 Logan Hall, 249 S. 36th Street, Philadelphia, PA, 19104-6304; e-mail: [email protected]. (shrink)

Ecological neutral theory has been controversial as an alternative to niche theory for explaining community structure. Neutral theory, which explains community structure in terms of ecological drift, is frequently charged with being unrealistic, but commentators have usually not provided an account of theory or model realism. In this paper, I propose a framework for comparing the “realism” or accuracy of alternative theories within a domain with respect to the extent to which the theories abstract and idealize. Using this framework I (...) argue, contrary to most previous commentators, that neutral and niche theories are similarly realistic. Realism cannot provide a basis for accepting or rejecting either type of theory; instead, community ecologists should continue working with a plurality of models. While theoretical unification may become possible, we should treat a plurality of complementary, partial models as the expected situation within community ecology. (shrink)

The niche has been central to ecology for most of the discipline’s history, yet there have been few attempts by philosophers to work out the ontology of the niche. A challenge is that there is a plurality of seemingly inconsistent definitions of the niche in ecology. This paper characterizes the population-level ecological niche by distinguishing among niche concepts, niche models, and the niche as a phenomenon. I argue that 'niche concepts' should be interpreted as theoretical frameworks or modelling strategies. I (...) also argue that there is a unified niche phenomenon underlying the seemingly heterogeneous models and definitions. The plurality of niche concepts in ecology should be seen as an expected consequence of the nature of modelling complex systems. (shrink)

Is there a field of social intelligence? Many various disciplines approach the subject and it may only seem natural to suppose that different fields of study aim at explaining different phenomena; in other words, there is no special field of study of social intelligence. In this paper, I argue for an opposite claim. Namely, there is a way to integrate research on social intelligence, as long as one accepts the mechanistic account to explanation. Mechanistic integration of different explanations, however, comes (...) at a cost: mechanism requires explanatory models to be fairly complete and realistic, and this does not seem to be the case for many models concerning social intelligence, especially models of economical behavior. Such models need either be made more realistic, or they would not count as contributing to the same field. I stress that the focus on integration does not lead to ruthless reductionism; on the contrary, mechanistic explanations are best understood as explanatorily pluralistic. (shrink)

Is there a field of social intelligence? Many various disciplines approach the subject and it may only seem natural to suppose that different fields of study aim at explaining different phenomena; in other words, there is no special field of study of social intelligence. In this paper, I argue for an opposite claim. Namely, there is a way to integrate research on social intelligence, as long as one accepts the mechanistic account to explanation. Mechanistic integration of different explanations, however, comes (...) at a cost: mechanism requires explanatory models to be fairly complete and realistic, and this does not seem to be the case for many models concerning social intelligence, especially models of economical behavior. Such models need either be made more realistic, or they would not count as contributing to the same field. I stress that the focus on integration does not lead to ruthless reductionism; on the contrary, mechanistic explanations are best understood as explanatorily pluralistic. (shrink)

In 1966 the population biologist Richard Levins gave a forceful and in?uential defence of a method called “robustness analysis” (RA). RA is a way of assessing the result of a model by showing that different but related models give the same result. As Levins put it, “our truth is the intersection of independent lies” (1966, 423). Steven Orzack and Elliott Sober (1993) responded with an equally forceful critique of this method, concluding that the idea of robustness “lacks proper de?nition and (...) that its bearing on the question of whether a proposition is true is highly problematic” (533). Replies to Orzack and Sober, from Levins (1993) and Weisberg (2006b), have rejected the idea that RA, on its own, can con?rm the results of models. I argue that these replies have not properly addressed Orzack and Sober’s real criticisms, which focus not on the role of empirical data in RA but on the problem of ensuring that the models used in RA are independent. By drawing on accounts of RA in experimental science, I argue that there is in fact a fallible but viable form of RA that can both con?rm the results of models and incorporate empirical data. However, for reasons other than those of Orzack and Sober, I conclude that RA may be of limited use in model-based science, as the example of ?shery biology can show. (shrink)

In his 1966 paper “The Strategy of model-building in Population Biology”, Richard Levins argues that no single model in population biology can be maximally realistic, precise and general at the same time. This is because these desirable model properties trade-off against one another. Recently, philosophers have developed Levins’ claims, arguing that trade-offs between these desiderata are generated by practical limitations on scientists, or due to formal aspects of models and how they represent the world. However this project is not complete. (...) The trade-offs discussed by Levins had a noticeable effect on modelling in population biology, but not on other sciences. This raises questions regarding why such a difference holds. I claim that in order to explain this finding, we must pay due attention to the properties of the systems, or targets modelled by the different branches of science.Keywords: Trade-offs; Population biology; Scientific models; Generality; Precision. (shrink)

The question of whether the idealized models of theoretical economics are explanatory has been the subject of intense philosophical debate. It is sometimes presupposed that either a model provides the actual explanation or it does not provide an explanation at all. Yet, two sets of issues are relevant to the evaluation of model-based explanation: what conditions should a model satisfy in order to count as explanatory and does the model satisfy those conditions. My aim in this paper is to unpack (...) this distinction and show that separating the first set of issues from the second is crucial to an accurate diagnosis of the distinctive challenges that economic models pose. Along the way I sketch a view of model-based explanation in economics that focuses on the role that non-empirical and empirical strategies play in increasing confidence in the adequacy of a given model-based explanation. (shrink)

The free energy principle is notoriously difficult to understand. In this paper, we relate the principle to a framework that philosophers of biology are familiar with: Ruth Millikan’s teleosemantics. We argue that: systems that minimise free energy are systems with a proper function; and Karl Friston’s notion of implicit modelling can be understood in terms of Millikan’s notion of mapping relations. Our analysis reveals some surprising formal similarities between the two frameworks, and suggests interesting lines of future research. We hope (...) this will aid further philosophical evaluation of the free energy principle. (shrink)

Over the last fifteen years, an ambitious explanatory framework has been proposed to unify explanations across biology and cognitive science. Active inference, whose most famous tenet is the free energy principle, has inspired excitement and confusion in equal measure. Here, we lay the ground for proper critical analysis of active inference, in three ways. First, we give simplified versions of its core mathematical models. Second, we outline the historical development of active inference and its relationship to other theoretical approaches. Third, (...) we describe three different kinds of claim -- labelled mathematical, empirical and general -- routinely made by proponents of the framework, and suggest dialectical links between them. Overall, we aim to increase philosophical understanding of active inference so that it may be more readily evaluated. -/- This the final submitted version of the Introduction to the Topical Collection "The Free Energy Principle: From Biology to Cognition", forthcoming in Biology & Philosophy. (shrink)

In the last few years, biologists and computer scientists have claimed that the introduction of data science techniques in molecular biology has changed the characteristics and the aims of typical outputs (i.e. models) of such a discipline. In this paper we will critically examine this claim. First, we identify the received view on models and their aims in molecular biology. Models in molecular biology are mechanistic and explanatory. Next, we identify the scope and aims of data science (machine learning in (...) particular). These lie mainly in the creation of predictive models which performances increase as data set increases. Next, we will identify a tradeoff between predictive and explanatory performances by comparing the features of mechanistic and predictive models. Finally, we show how this a priori analysis of machine learning and mechanistic research applies to actual biological practice. This will be done by analyzing the publications of a consortium—The Cancer Genome Atlas—which stands at the forefront in integrating data science and molecular biology. The result will be that biologists have to deal with the tradeoff between explaining and predicting that we have identified, and hence the explanatory force of the ‘new’ biology is substantially diminished if compared to the ‘old’ biology. However, this aspect also emphasizes the existence of other research goals which make predictive force independent from explanation. (shrink)

Using the context of controversies surrounding evolutionary developmental biology (EvoDevo) and the possibility of an Extended Evolutionary Synthesis, I provide an account of theory structure as idealized theory presentations that are always incomplete (partial) and shaped by their conceptual content (material rather than formal organization). These two characteristics are salient because the goals that organize and regulate scientific practice, including the activity of using a theory, are heterogeneous. This means that the same theory can be structured differently, in part because (...) theory presentations (as idealizations) intentionally depart from different features known to be present in a theory. Since there are diverse and potentially incompatible theory structures derived from heterogeneous goals found in scientific practices, a question arises about the absence of a unifying theory structure in the background. The notion of a “theory façade” offers a fruitful perspective on this potentially unsettling result. (shrink)

In the last few years, biologists and computer scientists have claimed that the introduction of data science techniques in molecular biology has changed the characteristics and the aims of typical outputs (i.e. models) of such a discipline. In this paper we will critically examine this claim. First, we identify the received view on models and their aims in molecular biology. Models in molecular biology are mechanistic and explanatory. Next, we identify the scope and aims of data science (machine learning in (...) particular). These lie mainly in the creation of predictive models which performances increase as data set increases. Next, we will identify a tradeoff between predictive and explanatory performances by comparing the features of mechanistic and predictive models. Finally, we show how this a priori analysis of machine learning and mechanistic research applies to actual biological practice. This will be done by analyzing the publications of a consortium—The Cancer Genome Atlas—which stands at the forefront in integrating data science and molecular biology. The result will be that biologists have to deal with the tradeoff between explaining and predicting that we have identified, and hence the explanatory force of the ‘new’ biology is substantially diminished if compared to the ‘old’ biology. However, this aspect also emphasizes the existence of other research goals which make predictive force independent from explanation. (shrink)

Scientific models are often said to be more or less general depending on how many cases they cover. In this paper we argue that the cardinality of cases is insufficient as a metric of generality, and we present a novel account based on measure theory. This account overcomes several problems with the cardinality approach, and additionally provides some insight into the nature of assessments of generality. Specifically, measure theory affords a natural and quantitative way of describing local spaces of possibility. (...) The generality of models can be understood as the measure of possibilities to which the models apply. In order to illustrate our view, we consider the example of structural genomics, the ongoing project of building three-dimensional models of biological macromolecules like proteins. Using measure theory, we interpret the practice of homology modeling, where such models are understood to apply widely but imperfectly to the space of possible proteins. (shrink)

We claim that the process of theoretical model refinement in economics is best characterised as robustness analysis: the systematic examination of the robustness of modelling results with respect to particular modelling assumptions. We argue that this practise has epistemic value by extending William Wimsatt's account of robustness analysis as triangulation via independent means of determination. For economists robustness analysis is a crucial methodological strategy because their models are often based on idealisations and abstractions, and it is usually difficult to tell (...) which idealisations are truly harmful. (shrink)

This paper distinguishes between causal isolation robustness analysis and independent determination robustness analysis and suggests that the triangulation of the results of different epistemic means or activities serves different functions in them. Circadian clock research is presented as a case of causal isolation robustness analysis: in this field researchers made use of the notion of robustness to isolate the assumed mechanism behind the circadian rhythm. However, in contrast to the earlier philosophical case studies on causal isolation robustness analysis (Weisberg and (...) Reisman in Philos Sci 75:106–131, 2008 ; Kuorikoski et al. in Br J Philos Sci 61:541–567, 2010 ), robustness analysis in the circadian clock research did not remain in the level of mathematical modeling, but it combined it with experimentation on model organisms and a new type of model, a synthetic model. (shrink)

How can mathematical models which represent the causal structure of the world incompletely or incorrectly have any scientific value? I argue that this apparent puzzle is an artifact of a realist emphasis on representation in the philosophy of modeling. I offer an alternative, pragmatic methodology of modeling, inspired by classic papers by modelers themselves. The crux of the view is that models developed for purposes other than explanation may be justified without reference to their representational properties.

Among many properties distinguishing emergence, such as novelty, irreducibility and unpredictability, computational accounts of emergence in terms of computational incompressibility aim first at making sense of such unpredictability. Those accounts prove to be more objective than usual accounts in terms of levels of mereology, which often face objections of being too epistemic. The present paper defends computational accounts against some objections, and develops what such notions bring to the usual idea of unpredictability. I distinguish the objective unpredictability, compatible with determinism (...) and entailed by emergence, and various possibilities of predictability at emergent levels. This makes sense of practices common in complex systems studies that forge qualitative predictions on the basis of comparisons of simulations with multiple values of parameters. I consider robustness analysis as a way to ensure the ontological character of computational emergence. Finally, I focus on the property of novelty, as it is displayed by biological evolution, and ask whether computer simulations of evolution can produce the same kind of emergence as the open-ended evolution attested in Phanerozoic records. (shrink)

“Practice” has become a ubiquitous term in the history of science, and yet historians have not always reflected on its philosophical import and especially on its potential connections with ethics. In this essay, we draw on the work of the virtue ethicist Alasdair MacIntyre to develop a theory of “communal practices” and explore how such an approach can inform the history of science, including allegations about the corruption of science by wealth or power; consideration of scientific ethics or “moral economies”; (...) the role of values in science; the ethical distinctiveness of scientific vocations; and the relationship between history of science and the practice of science itself. (shrink)

The multiple-models approach, which has its origins in Levins’s work, is gaining broader acceptance among philosophers. Levins asserted that there is a trade-off between modeling desiderata, which justified the multiple-models approach through two separate justificatory paths. Some attention has been paid to the trade-off thesis, culminating in a paper by Matthewson and Weisberg. However, no attention has been paid to how the trade-off is supposed to justify the multiple-models approach. I argue that a trade-off between generality and precision cannot support (...) one of Levins’s justificatory paths, and I consider what that might mean for the multiple-models approach. (shrink)

Michael Weisberg’s account of scientific models concentrates on the ways in which models are similar to their targets. He intends not merely to explain what similarity consists in, but also to capture similarity judgments made by scientists. In order to scrutinize whether his account fulfills this goal, I outline one common way in which scientists judge whether a model is similar enough to its target, namely maximum likelihood estimation method. Then I consider whether Weisberg’s account could capture the judgments involved (...) in this practice. I argue that his account fails for three reasons. First, his account is simply too abstract to capture what is going on in MLE. Second, it implies an atomistic conception of similarity, while MLE operates in a holistic manner. Third, Weisberg’s atomistic conception of similarity can be traced back to a problematic set-theoretic approach to the structure of models. Finally, I tentatively suggest how these problems might be solved by a holistic approach in which models and targets are compared in a non-set-theoretic fashion. (shrink)

In this essay I propose that what design principles in systems biology and systems neuroscience do is to present abstract characterizations of mechanisms, and thereby facilitate mechanistic explanation. To show this, one design principle in systems neuroscience, i.e., the multilayer perceptron, is examined. However, Braillard contends that design principles provide a sort of non-mechanistic explanation due to two related reasons: they are very general and describe non-causal dependence relationships. In response to this, I argue that, on the one hand, all (...) mechanisms are more or less general, and on the other, many design principles are causal systems. (shrink)

This article reviews the recent literature on idealization, specifically idealization in the course of scientific modeling. We argue that idealization is not a unified concept and that there are three different types of idealization: Galilean, minimalist, and multiple models, each with its own justification. We explore the extent to which idealization is a permanent feature of scientific representation and discuss its implications for debates about scientific realism.

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

Sagoff (2016) criticizes widely used “theoretical” methods in ecology; arguing that those methods employ models that rely on problematic metaphysical assumptions and are therefore uninformative and useless for practical decision-making. In this paper, I show that Sagoff misconstrues how such model-based methods work in practice, that the main threads of his argument are problematic, and that his substantive conclusions are consequently unfounded. Along the way, I illuminate several ways the model-based inferential methods he criticizes can be, and have been, usefully (...) informative. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different "degrees of contingency". We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual and hypothetical conditionals that can exhibit different “degrees of contingency”. We use this idea to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, this structure explains why idealizations, despite being deformations of reality, are so successful in scientific practice. For illustrative (...) purposes, we provide an example from population genetics, the Wright-Fisher Model. (shrink)

According to Pigliucci and Kaplan, there is a revolution underway in how we understand fitness landscapes. Recent models suggest that a perennial problem in these landscapes—how to get from one peak across a fitness valley to another peak—is, in fact, non-existent. In this paper I assess the structure and the extent of Pigliucci and Kaplan’s proposed revolution and argue for two points. First, I provide an alternative interpretation of what underwrites this revolution, motivated by some recent work on model-based science. (...) Second, I show that the implications of this revolution need to carefully assessed depending on question being asked, for peak-shifting is not central to all evolutionary questions that fitness landscapes have been used to explore. (shrink)

This paper's purpose is to set forth the conditions of explanation in the domain of formal modelling of social action. Explanation is defined as an adequate account of the underlying factors bringing about a phenomenon. The modelling of a social phenomenon can claim explanatory value in this sense if the following two conditions are fulfilled. (1) The generative mechanisms involved translate the effects of real factors abstracted from their phenomenal context, not those of purely ideal ones. (2) The explanatory hypotheses, (...) which account for the effects of explanatory factors, and the purely descriptive hypotheses, which introduce conceptual simplifications and summarise complex secondary mechanisms, are relatively independent from each other with regard to the phenomenon represented. This condition subjects the model to testing by alternatives through the development of purely descriptive hypotheses in the sense of explanatory or analytical realism. (shrink)

The concept of 'levels of organization' has come under fire recently as being useless for scientific and philosophical purposes. In this paper, we show that 'levels' is actually a remarkably resilient and constructive conceptual tool that can be, and in fact is, used for a variety of purposes. To this effect, we articulate an account of the importance of the levels concept seen in light of its status as a major organizing concept of biology. We argue that the usefulness of (...) ‘levels’ is best seen in the heuristic contributions the concept makes to treating and structuring scientific problems. We illustrate this with two examples from biological research. (shrink)

This essay analyzes and develops recent views about explanation in biology. Philosophers of biology have parted with the received deductive-nomological model of scientific explanation primarily by attempting to capture actual biological theorizing and practice. This includes an endorsement of different kinds of explanation (e.g., mathematical and causal-mechanistic), a joint study of discovery and explanation, and an abandonment of models of theory reduction in favor of accounts of explanatory reduction. Of particular current interest are philosophical accounts of complex explanations that appeal (...) to different levels of organismal organization and use contributions from different biological disciplines. The essay lays out one model that views explanatory integration across different disciplines as being structured by scientific problems. I emphasize the philosophical need to take the explanatory aims pursued by different groups of scientists into account, as explanatory aims determine whether different explanations are competing or complementary and govern the dynamics of scientific practice, including interdisciplinary research. I distinguish different kinds of pluralism that philosophers have endorsed in the context of explanation in biology, and draw several implications for science education, especially the need to teach science as an interdisciplinary and dynamic practice guided by scientific problems and explanatory aims. (shrink)

The paper aims to provide a detailed assessment of Tim Crane’s recent invocation of the notion of scientific models in the way of dealing with the issue of the brain’s representational states. In this paper, I assess Crane’s proposal under a charitable and a less charitable reading. I argue that Crane’s use of scientific models is at best compatible with his expression of psychological realism. However, Crane’s use of model-based strategy by no means underlay, support, or strengthen his psychological realism. (...) Rather, traditional reasons from the metaphysics of mind, acting quite separately from empirical scientific reasons, must be used to support this realism, and Crane has merely removed the threat posed to these metaphysical arguments by the existence of the so-called mereological fallacy in empirical neuroscience. Therefore, while he has saved the neuroscientific language from philosophical attack, he has perhaps even strengthened the divide between neuroscience and philosophy. I conclude the paper by outlining the sketch of a broadbrush scientifically informed strategy for defending psychological realism. (shrink)

Richard Levins’s (Am Sci 54(4):421–431, 1966) paper sets a landmark for the significance of scientific model-making in biology. Colombo and Palacios (Biol Philos 36(5):1–26. 10.1007/s10539-021-09818-x, 2021) have recently built their critique of the explanatory power of the Free Energy Principle on Levins’s insight into the relationship between generality, realism, and precision. This paper addresses the issue of the plausibility of biological explanations that are grounded in the Free Energy Principle (FEP) and deals with the question of the realist fortitude of (...) FEP’s theoretical framework. It indicates that what is required for establishing the plausibility of the explanation of a target system given a model of that system is the dosage or the harmony between the generality and accuracy of explanatory models. This would also provide a basis for seeing how scientific realism could be a viable option with respect to FEP. (shrink)

Free Energy Principle underlies a unifying framework that integrates theories of origins of life, cognition, and action. Recently, FEP has been developed into a Markovian monist perspective. The paper expresses scepticism about the validity of arguments for Markovian monism. The critique is based on the assumption that Markovian models are scientific models, and while we may defend ontological theories about the nature of scientific models, we could not read off metaphysical theses about the nature of target systems from our theories (...) of nature of scientific models. The paper draws attention to different ways of understanding Markovian models, as material entities, fictional entities, and mathematical structures. I argue that none of these interpretations contributes to the defence of a metaphysical stance. This is because scientific representation is a sophisticated process, and properties of Markovian models—such as the property of being neither physical nor mental—could not be projected onto their targets to determine the ontological properties of targets easily. (shrink)

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (shrink)