This paper is a contribution to a discussion in philosophy of technology by focusing on the epistemological status of the example. Of the various developments in the emerging, inchoate field of philosophy of technology, the “empirical turn” stands out as having left the most enduring mark on the trajectory contemporary research takes. From a historical point of view, the empirical turn can best be understood as a corrective to the overly “transcendentalizing” tendencies of “classical” philosophers of technology, such as Heidegger. (...) Empirically oriented philosophy of technology emphasizes actual technologies through case-study research into the formation of technical objects and systems (constructivist studies) and how they, for example, transform our perceptions and conceptions (the phenomenological tradition) or pass on and propagate relations of power (critical theory). This paper explores the point of convergence of classical and contemporary approaches by means of the notion of the “example” or “paradigm.” It starts with a discussion of the quintessential modern philosopher of technology, Martin Heidegger, and his thinking about technology in terms of the ontological difference. Heidegger’s framing of technology in terms of this difference places the weight of intelligibility entirely on the side of being, to such an extent that his examples become heuristic rather than constitutive. The second part of the paper discusses the methodological and epistemological import of the “example” and the form of intelligibility it affords. Drawing on the work of Wittgenstein (standard metre), Foucault (panopticism), and Agamben (paradigm), we argue that the example offers an alternative way of understanding the study of technologies from that of empirical case studies. (shrink)

One important aspect of biological explanation is detailed causal modeling of particular phenomena in limited experimental background conditions. Recognising this allows one to appreciate that a sufficient condition for a reduction in biology is a molecular model of (1) only the demonstrated causal parameters of a biological model and (2) only within a replicable experimental background. These identities—which are ubiquitous in biology and form the basis of ruthless reductions (Bickle, Philosophy and neuroscience: a ruthlessly reductive account, 2003)—are criticised as merely (...) “local” (Sullivan, Synthese 167:511–539, 2009) or “fragmentary” (Schaffner, Synthese, 151(3):377–402, 2006). However, in an instructive case, a biological model is preserved in molecular terms, demonstrating a complex phenomenon that has been successfully reduced. (shrink)

The Epistemology Of Computer Simulation has developed as an epistemological and methodological analysis of simulative sciences using quantitative computational models to represent and predict empirical phenomena of interest. In this paper, Executable Cell Biology and Agent-Based Modelling are examined to show how one may take advantage of qualitative computational models to evaluate reachability properties of reactive systems. In contrast to the thesis, advanced by EOCS, that computational models are not adequate representations of the simulated empirical systems, it is shown how (...) the representational adequacy of qualitative models is essential to evaluate reachability properties. Justification theory, if not playing an essential role in EOCS, is exhibited to be involved in the process of advancing and corroborating model-based hypotheses about empirical systems in ECB and ABM. Finally, the practice of evaluating model-based hypothesis by testing the simulated systems is shown to constitute an argument in favour of the thesis that computer simulations in ECB and ABM can be put on a par with scientific experiments. (shrink)

Designing models of complex phenomena is a difficult task in engineering that can be tackled by composing a number of partial models to produce a global model of the phenomena. We propose to embed the partial models in software agents and to implement their composition as a cooperative negotiation between the agents. The resulting multiagent system provides a global model of a phenomenon. We applied this approach in modelling two complex physiological processes: the heart rate regulation and the glucose-insulin metabolism. (...) Beyond the effectiveness demonstrated in these two applications, the idea of using models associated to software agents to give reason of complex phenomena is in accordance with current tendencies in epistemology, where it is evident an increasing use of computational models for scientific explanation and analysis. Therefore, our approach has not only a practical, but also a theoretical significance: agents embedding models are a technology suitable both to representing and to investigating reality. (shrink)

The ArgumentThe Netherlands has been a pioneering country in the development of macroeconometric modeling and its use in economic policy. The paper shows that the model was used to overcome the fragmented culture of Dutch pillarization. It proves that the specific use of modeling in the policy process is at least partly shaped by a nation's social structure. The case study relates to the outcome of a controversy within the social democratic pillar in the Netherlands in the period 1930–50 as (...) to how to plan the economic system in the context of the social developments leading up to the crisis, World War II, and the postwar recovery. (shrink)

Scientific representation is a currently booming topic, both in analytical philosophy and in history and philosophy of science. The analytical inquiry attempts to come to terms with the relation between theory and world; while historians and philosophers of science aim to develop an account of the practice of model building in the sciences. This article provides a review of recent work within both traditions, and ultimately argues for a practice-based account of the means employed by scientists to effectively achieve representation (...) in the modelling sciences. (shrink)

The positivistic Received View construed scientific theories syntactically as axiomatic calculi where theoretical terms were given a partial semantic interpretation via correspondence rules connecting them to observation statements. This paper assesses what, with hindsight, seem the most important defects in the Received View; surveys the main proposed successor analyses to the Received View--various Semantic Conception versions and the Structuralist Analysis; evaluates how well they avoid those defects; examines what new problems they face and where the most promising require further development (...) or leave unanswered questions; explores implications of recent work on models for understanding theories; and rebuts the few criticisms of the Semantic Conception that have surfaced. (shrink)

Metaphors are found all throughout science: in published papers, working hypotheses, policy documents, lecture slides, grant proposals, and press releases. They serve different functions, but perhaps most striking is the way they enable understanding, of a theory, phenomenon, or idea. In this paper, we leverage recent advances on the nature of metaphor and the nature of understanding to explore how they accomplish this feat. We attempt to shift the focus away from the epistemic value of the content of metaphors, to (...) the epistemic value of the metaphor’s consequences. Many famous scientific metaphors are epistemically good, not primarily because of what they say about the world, but because of how they cause us to think. Specifically, metaphors increase understanding either by improving our sets of representations, or by making it easier for us to encode and process data about complex subjects by changing how we are disposed to conceptualize those subjects. This view hints towards new positions concerning testimonial understanding, factivity, abilities, discovery via metaphor, and the relation between metaphors and models. (shrink)

In this paper, I discuss the discovery of the DNA structure by Francis Crick and James Watson, which has provoked a large historical literature but has yet not found entry into philosophical debates. I want to redress this imbalance. In contrast to the available historical literature, a strong emphasis will be placed upon analysing the roles played by theory, model, and evidence and the relationship between them. In particular, I am going to discuss not only Crick and Watson's well-known model (...) and Franklin's x-ray diffraction pictures (the evidence) but also the less well known theory of helical diffraction, which was absolutely crucial to Crick and Watson's discovery. The insights into this groundbreaking historical episode will have consequences for the ‘new’ received view of scientific models and their function and relationship to theory and world. The received view, dominated by works by Cartwright and Morgan and Morrison ([1999]), rather than trying to put forth a ‘theory of models’, is interested in questions to do with (i) the function of models in scientific practice and (ii) the construction of models. In regard to (i), the received view locates the model (as an idealized, simplified version of the real system under investigation) between theory and the world and sees the model as allowing the application of the former to the latter. As to (ii) Cartwright has argued for a phenomenologically driven view and Morgan and Morrison ([1999]) for the ‘autonomy’ of models in the construction process: models are determined neither by theory nor by the world. The present case study of the discovery of the DNA structure strongly challenges both (i) and (ii). In contrast to claim (i) of the received view, it was not Crick and Watson's model but rather the helical diffraction theory which served a mediating purpose between the model and the x-ray diffraction pictures. In particular, Cartwright's take on (ii) is refuted by a comparison of Franklin's bottom-up approach with Crick and Watson's top-down approach in constructing the model. The former led to difficulties, which only a strong confidence in the structure incorporated in the model could circumvent. How to Get to the Structure 1.1 X-ray diffraction and its synthesis 1.2 Model building and Pauling's panache 1.3 The structure of proteins 1.3.1 A failed inference to the best explanation 1.3.2 The misleading 5.1 Å spot in proteins and how to get rid of it 1.3.3 Derived predictions from Pauling's alpha-helix of protein molecules The CCV Theory of Helical X-Ray Diffraction 2.1 The role of the CCV theory in the discovery of the DNA structure Killing the Helix 3.1 Appreciating all evidence—in vain Conclusion Epilogue: Chargaff's Ratios CiteULike Connotea Del.icio.us What's this? (shrink)

Attention to scientific practice offers a novel response to philosophical queries about how conceptual understanding is empirically accountable. The locus of the issue is thereby shifted, from perceptual experience to experimental and fieldwork interactions. More important, conceptual articulation is shown to be not merely ?spontaneous? and intralinguistic, but instead involves a establishing a systematic domain of experimental operations. The importance of experimental practice for conceptual understanding is especially clearly illustrated by cases in which entire domains of scientific investigation were first (...) made accessible to articulated conceptual understanding. We thereby see more clearly how experimental systems themselves, and not merely the theories and models they make possible, have an intentional directedness and ?representational? import. (shrink)

Toy models are highly idealized and extremely simple models. Although they are omnipresent across scientific disciplines, toy models are a surprisingly under-appreciated subject in the philosophy of science. The main philosophical puzzle regarding toy models concerns what the epistemic goal of toy modelling is. One promising proposal for answering this question is the claim that the epistemic goal of toy models is to provide individual scientists with understanding. The aim of this article is to precisely articulate and to defend this (...) claim. In particular, we will distinguish between autonomous and embedded toy models, and then argue that important examples of autonomous toy models are sometimes best interpreted to provide how-possibly understanding, while embedded toy models yield how-actually understanding, if certain conditions are satisfied. _1_ Introduction _2_ Embedded and Autonomous Toy Models _2.1_ Embedded toy models _2.2_ Autonomous toy models _2.3_ Qualification _3_ A Theory of Understanding for Toy Models _3.1_ Preliminaries and requirements _3.2_ The refined simple view _4_ Two Kinds of Understanding with Toy Models _4.1_ Embedded toy models and how-actually understanding _4.2_ Against a how-actually interpretation of all autonomous toy models _4.3_ The how-possibly interpretation of some autonomous toy models _5_ Conclusion. (shrink)

Molecular biologists exploit information conveyed by mechanistic models for experimental purposes. In this article, I make sense of this aspect of biological practice by developing Keller’s idea of the distinction between ‘models of’ and ‘models for’. ‘Models of (phenomena)’ should be understood as models representing phenomena and are valuable if they explain phenomena. ‘Models for (manipulating phenomena)’ are new types of material manipulations and are important not because of their explanatory force, but because of the interventionist strategies they afford. This (...) is a distinction between aspects of the same model. In molecular biology, models may be treated either as ‘models of’ or as ‘models for’. By analysing the discovery and characterization of restriction–modification systems and their exploitation for DNA cloning and mapping, I identify the differences between treating a model as a ‘model of’ or as a ‘model for’. These lie in the cognitive disposition of the modeller towards the model: a modeller will look at a model as a ‘model of’ if interested in its explanatory force, or as a ‘model for’ if interested in the material manipulations it can possibly afford. (shrink)

Ecologists attempt to understand the diversity of life with mathematical models. Often, mathematical models contain simplifying idealizations designed to cope with the blooming, buzzing confusion of the natural world. This strategy frequently issues in models whose predictions are inaccurate. Critics of theoretical ecology argue that only predictively accurate models are successful and contribute to the applied work of conservation biologists. Hence, they think that much of the mathematical work of ecologists is poor science. Against this view, I argue that model (...) building is successful even when models are predictively inaccurate for at least three reasons: models allow scientists to explore the possible behaviors of ecological systems; models give scientists simplified means by which they can investigate more complex systems by determining how the more complex system deviates from the simpler model; and models give scientists conceptual frameworks through which they can conduct experiments and fieldwork. Critics often mistake the purposes of model building, and once we recognize this, we can see their complaints are unjustified. Even though models in ecology are not always accurate in their assumptions and predictions, they still contribute to successful science. (shrink)

Abstract.I chart the considerable changes in the status and conception of the Lenz-Ising model from 1920 to 1950 in terms of three phases: In the early 1920s, Lenz and Ising introduced the model in the field of ferromagnetism. Based on an exact derivation, Ising concluded that it is incapable of displaying ferromagnetic behavior, a result he erroneously extended to three dimensions. In the next phase, Lenz and Ising’s contemporaries rejected the model as a representation of ferromagnetic materials because of its (...) conflict with the new quantum mechanics. In the third phase, from the early 1930s to the early 1940s, the model was revived as a model of cooperative phenomena. I provide more detail on this history than the earlier accounts of Brush (1967) and Hoddeson, Schubert, Heims, and Baym (1992) and question some of their conclusions. Moreover, my account differs from these in its focus on the development of the model in its capacity as a model. It examines three aspects of this development: (1) the attitudes on the degree of physical realism of the Lenz-Ising model in its representation of physical phenomena; (2) the various reasons for studying and using it; and (3) the effect of the change in its theoretical basis during the transition from the old to the new quantum mechanics. A major theme of my study is that even though the Lenz-Ising model is not fully realistic, it is more useful than more realistic models because of its mathematical tractability. I argue that this point of view, important for the modern conception of the model, is novel and that its emergence, while perhaps not a consequence of its study, is coincident with the third phase of its development. (shrink)

In this paper, I address the issue of scientific modelling in contemporary linguistics, focusing on the generative tradition. In so doing, I identify two common varieties of linguistic idealisation, which I call determination and isolation respectively. I argue that these distinct types of idealisation can both be described within the remit of Weisberg’s :639–659, 2007) minimalist idealisation strategy in the sciences. Following a line set by Blutner :27–35, 2011), I propose this minimalist idealisation analysis for a broad construal of the (...) generative linguistic programme and thus cite examples from a wide range of linguistic frameworks including early generative syntax, Minimalism, the parallel architecture and optimality theory. Lastly, I claim that from a modelling perspective, the dynamic turn in syntax can be explained as a continuation, as opposed to a marked shift, of the generative modelling paradigm. Seen in this light, my proposal is an even broader construal of the generative tradition, along scientific modelling lines. Thus, I offer a lens through which to appreciate the scientific contribution of generative grammar, amid an increased resistance to some of its core theoretical posits, in terms of a brand of structural realism in the philosophy of science and specifically scientific modelling. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

Meynell’s contention is that feminists should attend to pictures in science as distinctive bearers of epistemic content that cannot be reduced to propositions. Remarks on the practice and function of medical illustration—specifically, images Nancy Tuana used in her discussion of the construction of ignorance of women’s sexual function (2004)—show pictures to be complex and powerful epistemic devices. Their affinity with perennial feminist concerns, the relation between epistemic subject and object, and the nature of social knowledge, are of particular interest.

Computer models and simulations have become, since the 1960s, an essential instrument for scientific inquiry and political decision making in several fields, from climate to life and social sciences. Philosophical reflection has mainly focused on the ontological status of the computational modeling, on its epistemological validity and on the research practices it entails. But in computational sciences, the work on models and simulations are only two steps of a longer and richer process where operations on data are as important as, (...) and even more time and energy-consuming than modeling itself. Drawing on two study cases—computational embryology and computational epidemiology—this article contributes to filling the gap by focusing on the operations of producing and re-using data in computational sciences. The different phases of the scientific and artisanal work of modelers include data collection, aggregation, homogenization, assemblage, analysis and visualization. The article deconstructs the ideas that data are self-evident informational aggregates and that data-driven approaches are exempted from theoretical work. More importantly, the paper stresses the fact that data are constructed and theory laden not only in their fabrication, but also in their reusing. (shrink)

What is the best way to analyse abstraction in scientific modelling? I propose to focus on abstracting as an epistemic activity, which is achieved in different ways and for different purposes depending on the actual circumstances of modelling and the features of the models in question. This is in contrast to a more conventional use of the term ‘abstract’ as an attribute of models, which I characterise as black-boxing the ways in which abstraction is performed and to which epistemological advantage. (...) I exemplify my claims through a detailed reconstruction of the practices involved in creating two types of models of the flowering plant Arabidopsisthaliana, currently the best-known model organism in plant biology. This leads me to distinguish between two types of abstraction processes: the ‘material abstracting’ required in the production of Arabidopsis specimens and the ‘intellectual abstracting’ characterising the elaboration of visual models of Arabidopsis genomics. Reflecting on the differences between these types of abstracting helps to pin down the epistemic skills and research commitments used by researchers to produce each model, thus clarifying how models are handled by researchers and with which epistemological implications. (shrink)

Knowledge-making practices in biology are being strongly affected by the availability of data on an unprecedented scale, the insistence on systemic approaches and growing reliance on bioinformatics and digital infrastructures. What role does theory play within data-intensive science, and what does that tell us about scientific theories in general? To answer these questions, I focus on Open Biomedical Ontologies, digital classification tools that have become crucial to sharing results across research contexts in the biological and biomedical sciences, and argue that (...) they constitute an example of classificatory theory. This form of theorizing emerges from classification practices in conjunction with experimental know-how and expresses the knowledge underpinning the analysis and interpretation of data disseminated online. (shrink)

Scientific classification has long been recognized as involving a specific style of reasoning and doing research, and as occasionally affecting the development of scientific theories. However, the role played by classificatory activities in generating theories has not been closely investigated within the philosophy of science. I argue that classificatory systems can themselves become a form of theory, which I call classificatory theory, when they come to formalize and express the scientific significance of the elements being classified. This is particularly evident (...) in some of the classification practices used in contemporary experimental biology, such as bio-ontologies used to classify genomic data and typologies used to classify “normal” stages of development in developmental biology. In this paper, I explore some characteristics of classificatory theories and ways in which they differ from other types of scientific theories and other components of scientific epistemology, such as models and background assumptions. (shrink)

Many areas of frontier physics are confronted with the crisis of a lack of accessible, direct evidence. As a result, direct model building has failed to lead to any new empirical discoveries. In this paper I argue that these areas of frontier physics have developed common methods for turning precision measurements of known quantities into potential evidence for anomalies hinting at new physics. This method of framework generalization has arisen as a sort of model-independent method for generalizing beyond known physics (...) and organizing experimental searches. I argue that this method is well-justified given the current epistemic landscape, and that theory construction in general is much broader than simply building new dynamical models. (shrink)

Agent-based models are increasingly important in social science research. They have two obvious apparent virtues: they can model complex macrosociological phenomena without strong assumptions about agents and without analytic solutions for models, and they seem to instantiate the methodological individualist program in a concrete way. We argue that the latter claim is false. After providing schematic accounts of ABM models and a first introduction to ways in which to characterize individualist explanations, we work through six conceptions of individualist explanations that (...) are decreasingly "less individualist" and argue that ABM-based explanations in the social sciences are not inevitably individualist in any of these senses. ABMs allow for explanatory relations among social entities and properties in the model environment and they are silent on what basic agents are, allowing social entities and properties to play basic explanatory roles. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the _essential_ content of fundamental physical theories is a _prescription for interfacing with natural systems and translating local data into compact theoretical (...) language_. The descriptive-ontological aspects of theories, if any, are taken as _inessential_ content on this view: they do not contribute to the predictive success of the theory. Rather than describing _what is there_, the essence of a physical theory is to tell us _what to do_ when interfacing with a physical system. (shrink)

Francesco Guala has developed some novel and radical ideas on the problem of external validity, a topic that has not received much attention in the experimental economics literature. In this paper I argue that his views on external validity are not justified and the conclusions which he draws from these views, if widely adopted, could substantially undermine the experimental economics enterprise. In rejecting the justification of these views, the paper reaffirms the importance of experiments in economics.

This paper addresses the question of how scientists determine which type of hypothesis is most suitable for tackling a particular problem by examining the historical case of the anomalous β spectrum in early nuclear physics, a puzzle that occasioned the most diverse hypotheses amongst physicists at the time. It is shown that such determinations are most often implicitly informed by scientists' individual perspectives on the structural relations between the various elements of the theory and the problem at hand. In addition (...) to this main result, it is suggested that Wolfgang Pauli's neutrino idea may well have been an adaptation of Ernst Rutherford's original and older neutron idea, which would provide evidence that the adaptation of older ideas is a more common practice than is often thought. (shrink)

The philosophy of science community mourns the loss of Margaret Catherine Morrison, who passed away on January 9, 2021, after a long battle with cancer. Margie, as she was known to all who knew her, was highly regarded for her influential contributions to the philosophy of science, particularly her studies of the role of models and simulations in the natural and social sciences. These contributions made her a world-leading philosopher of science, instrumental in shifting philosophers' attention from the structure of (...) scientific theories to the practice of science. Her sophisticated studies of the function of models in scientific practice drew on detailed knowledge of the theories and experiments of physics as well as the history of physics. In emphasizing the autonomy of scientific models and their interventional character, her insights had some affinity with Cartwright's and Hacking’s views on phenomenological laws, entity realism, the instrumentalist interpretation of scientific theories, and the disunity of science. But Morrison’s approach was distinguished by the conviction that the existence of unobservable entities cannot be defended independently of the theories that support their evidence, and that scientific practice cannot be adequately understood without examining the reasons for theory unification. (shrink)

Hasok Chang is developing a new form of pragmatic scientific realism that aims to reorient the debate away from truth and towards practice. Central to his project is replacing truth as correspondence with his new notion of ‘operational coherence’, which is introduced as: 1) A success term with probative value to judge and guide epistemic activities. 2) A more useful alternative than truth as correspondence in guiding scientific practice. I argue that, given its current construal as neither necessary nor sufficient (...) for success, operational coherence is too weak and fails to satisfy both 1) and 2). I offer a stronger construal of operational coherence which aims to improve on Chang’s account by tying it to systematic success. This makes operational coherence necessary and sufficient for success. This new account, if successful, rescues 1) but not 2). I then take a step back and try to locate Chang’s pragmatic realism within the broader pragmatist tradition by comparing his views to the founding fathers Peirce, James and Dewey. I also assess to what extent we should consider Chang’s position ‘realist’, arguing that despite the many relativists threads running through it, Chang’s pragmatic realism is deserving of the realist label because its aims to maximize our learning from reality, even if it falls short of what many traditional realist are happy to accept as realism. I finish with comments on the epistemology of science pointing out that there is nothing intrinsic about a practice-based philosophy of science that precludes having both operational coherence and correspondence and highlighting that given a proper understanding these two notions could, in fact, be understood as complementary. I suggest one way this could be done. (shrink)

Models provide scientists with knowledge about target systems. An important group of models are those that are called general. However, what exactly is meant by generality in this context is somewhat unclear. The aim of this paper is to draw out a distinction between two notions of generality that has implications for scientific practice. Some models are general in the sense that they apply to many systems in the world and have many particular targets. Another sense is captured by models (...) that are aimed at understanding the fundamental or underlying dynamics of a phenomenon, as opposed to how it manifests in each particular case. They have non-specific, i.e. generic targets. While both notions of generality and genericness are legitimate and correspond to different aspects of scientific practice, they must be distinguished. Failing to do so obscures the danger of overgeneralisation faced by general models and facilitates the illegitimate use of generic models as general models. This can lead to a reduction of the explanatory and predictive power of both. (shrink)