There are a variety of topics in the philosophy of science that need to be rethought, in varying degrees, after one pays careful attention to the ways in which computer simulations are used in the sciences. There are a number of conceptual issues internal to the practice of computer simulation that can benefit from the attention of philosophers. This essay surveys some of the recent literature on simulation from the perspective of the philosophy of science and argues that philosophers have (...) a lot to learn by paying closer attention to the practice of simulation. (shrink)

Both ecologists and statistical physicists use a variety of highly idealized models to study active matter and self-organizing critical phenomena. In this paper, I show how universality classes play a crucial role in justifying the application of highly idealized ‘minimal’ models to explain and understand the critical behaviors of active matter systems across a wide range of scales and scientific fields. Appealing to universality enables us to see why the same minimal models can be used to explain and understand behaviors (...) across these different systems despite drastic differences in the causes and mechanisms responsible for the behaviors of interest. After analyzing these cases in detail, I argue that accounts that focus on identifying common causes or mechanisms in order to explain patterns are unable to accommodate these cases. In contrast, I argue that the justification for using these minimal models is that they are within the same universality class as real systems whose causes and mechanisms are known to be different. I also use these cases to identify several different kinds of explanatory autonomy that have important implications for how scientists ought to approach the modeling of multiscale phenomena. (shrink)

I critically examine some recent work on the philosophy of scientific fictions, focusing on the work of Winsberg. By considering two case studies in fracture mechanics, the strip yield model and the imaginary crack method, I argue that his reliance upon the social norms associated with an element of a model forces him to remain silent whenever those norms fail to clearly match the characteristic of fictions or non-fictions. In its place, I propose a normative epistemology of fictions which clarifies (...) a model's ontological commitments when the community of scientists lack any clear, shared norms of use. Specifically, I will introduce a variational account of fictions as an extension of Laymon's monotonic improvability account of idealizations. I will conclude by connecting this variational account of fictions to didactic fictions in general. (shrink)

Making sense of modeling: beyond representation Content Type Journal Article Category Original paper in Philosophy of Science Pages 335-352 DOI 10.1007/s13194-011-0032-8 Authors Isabelle Peschard, Philosophy Department, San Francisco State University, 1600 Holloway Ave, San Francisco, CA 94132, USA Journal European Journal for Philosophy of Science Online ISSN 1879-4920 Print ISSN 1879-4912 Journal Volume Volume 1 Journal Issue Volume 1, Number 3.

‘Mapping accounts’ of applied mathematics hold that the application of mathematics in physical science is best understood in terms of ‘mappings’ between mathematical structures and physical structures. In this paper, I suggest that mapping accounts rely on the assumption that the mathematics relevant to any application of mathematics in empirical science can be captured in an appropriate mathematical structure. If we are interested in assessing the plausibility of mapping accounts, we must ask ourselves: how plausible is this assumption as a (...) working hypothesis about applied mathematics? In order to do so, we examine the role played by mathematics in the multiscalar modelling of sea ice melting behaviour and examine whether we can indeed capture the mathematics involved in the kind of mathematical structure employed by the mapping account. Along the way, we note that the cases of applied mathematics that appear in discussions of mapping accounts almost exclusively involve the employment of a single clearly circumscribed mathematical field or domain. While the core assumption of mapping accounts may appear plausible in such situations, we ultimately suggest that the mapping account is not able to handle the important added complexities involved in our sea ice case study. In particular, the notion of mathematical structure around which such accounts are framed does not seem to be able to capture the way in which some applications of mathematics require that very different pieces of mathematics be related to one another on the basis of both mathematical and empirical information. (shrink)

This paper starts by looking at the coincidence of surprising behavior on the nanolevel in both matter and simulation. It uses this coincidence to argue that the simulation approach opens up a pragmatic mode of understanding oriented toward design rules and based on a new instrumental access to complex models. Calculations, and their variation by means of explorative numerical experimentation and visualization, can give a feeling for a model's behavior and the ability to control phenomena, even if the model itself (...) remains epistemically opaque. Thus, the investigation of simulation in nanoscience provides a good example of how science is adapting to a new instrument: computer simulation. (shrink)

In this paper, we explore the extent to which issues of simulation model validation take on novel characteristics when the models in question become particularly complex. Our central claim is that complex simulation models in general, and global models of climate in particular, face a form of confirmation holism. This holism, moreover, makes analytic understanding of complex models of climate either extremely difficult or even impossible. We argue that this supports a position we call convergence skepticism: the belief that the (...) existence of a plurality of different models making a plurality of different forecasts of future climate is likely to be a persistent feature of global climate science. (shrink)

I propose that a sociological and historical examination of nanotechnologists can contribute more to an understanding of nanotechnology than an ontological definition. Nanotechnology emerged from the convergent evolution of numerous "technical knowledge communities"-networks of tightly-interconnected people who operate between disciplines and individual research groups. I demonstrate this proposition by sketching the co-evolution of computational chemistry and computational nanotechnology. Computational chemistry arose in the 1950s but eventually segregated into an ab initio, basic research, physics-oriented flavor and an industry-oriented, molecular modeling and (...) visualization, biochemical flavor. Computational nanotechnology arose in the 1990s as a synthesis of these two subgroups, infused by people and practices from computational materials science, engineering, computer science, and elsewhere. I show that to understand the aims and outcomes of computational nanotechnology-and nanotechnology more generally-we need to understand relationships between different, but related, nano knowledge communities and their dependence on particular practices, artifacts, and theories. (shrink)

In this paper, I draw a parallel between the stability of physical systems and that of economic ones, such as the US financial system. I argue that the use of equilibrium assumptions is central to the analysis of dynamic behavior for both kinds of systems, and that we ought to interpret such idealizing strategies as footholds for causal exploration and explanation. Our considerations suggest multi-scale modeling as a natural home for such reasoning strategies, which can provide a backdrop for the (...) assessment and prevention of financial crises. Equilibrium assumptions are critical elements of the epistemic scaffolding that make up multi-scale models, which we should understand as a means of constructing explanations of dynamic behavior. (shrink)

In scientific modeling, continuum idealizations bridge scales but at the cost of fundamentally misrepresenting the microstructure of the system. This engenders a mystery. If continuum idealizations are dispensable in principle, this de-problematizes their representational inaccuracy, since continuum properties reduce to lower-scale properties, but the mystery of how this reduction could be carried out endures. Alternatively, if continuum idealizations are indispensable in principle, this is consistent with their explanatory and predictive success but renders their representational inaccuracy mysterious. I argue for a (...) deflationary solution, enlisting the applied scientific method of upscaling as demonstrated in a case from soil hydrology. (shrink)

Exact sciences are described as sciences whose theories are formalized. These are contrasted to inexact sciences, whose theories are not formalized. Formalization is described as a broader category than mathematization, involving any form/content distinction allowing forms, e.g., as represented in theoretical models, to be studied independently of the empirical content of a subject-matter domain. Exactness is a practice depending on the use of theories to control subject-matter domains and to align theoretical with empirical models and not merely a state of (...) a science. Inexact biological sciences tolerate a degree of “mismatch” between theoretical and empirical models and concepts. Three illustrations from biological sciences are discussed in which formalization is achieved by various means: Mendelism, Weismannism, and Darwinism. Frege’s idea of a “conceptual notation” is used to further characterize the notion of a form/content distinction. (shrink)

Despite being one of the most dependable methods used by applied mathematicians and engineers in handling complex systems, the finite element method commits variational crimes. This paper contextualizes the concept of variational crime within a broader account of mathematical practice by explaining the tradeoff between complexity and accuracy involved in the construction of numerical methods. We articulate two standards of accuracy used to determine whether inexact solutions are good enough and show that, despite violating the justificatory principles of one, the (...) finite element method nevertheless succeeds in obtaining its legitimacy from the other. (shrink)

I present a case study of scientific discovery, where building two functional and behavioral approximations of neurons, one physical and the other computational, led to conceptual and implementation breakthroughs in a neural engineering laboratory. Such building of external systems that mimic target phenomena, and the use of these external systems to generate novel concepts and control structures, is a standard strategy in the new engineering sciences. I develop a model of the cognitive mechanism that connects such built external systems with (...) internal models, and I examine how new discoveries, and consensus on discoveries, could arise from this external‐internal coupling and the building process. The model is based on the emerging framework of common coding, which proposes a shared representation in the brain between the execution, perception, and imagination of movement. (shrink)

Novel computational representations, such as simulation models of complex systems and video games for scientific discovery, are dramatically changing the way discoveries emerge in science and engineering. The cognitive roles played by such computational representations in discovery are not well understood. We present a theoretical analysis of the cognitive roles such representations play, based on an ethnographic study of the building of computational models in a systems biology laboratory. Specifically, we focus on a case of model-building by an engineer that (...) led to a remarkable discovery in basic bioscience. Accounting for such discoveries requires a distributed cognition analysis, as DC focuses on the roles played by external representations in cognitive processes. However, DC analyses by and large have not examined scientific discovery, and they mostly focus on memory offloading, particularly how the use of existing external representations changes the nature of cognitive tasks. In contrast, we study discovery processes and argue that discoveries emerge from the processes of building the computational representation. The building process integrates manipulations in imagination and in the representation, creating a coupled cognitive system of model and modeler, where the model is incorporated into the modeler's imagination. This account extends DC significantly, and we present some of the theoretical and application implications of this extended account. (shrink)