This paper is a critical response to Andreas Bartels’ sophisticated defense of a structural account of scientific representation. We show that, contrary to Bartels’ claim, homomorphism fails to account for the phenomenon of misrepresentation. Bartels claims that homomorphism is adequate in two respects. First, it is conceptually adequate, in the sense that it shows how representation differs from misrepresentation and non-representation. Second, if properly weakened, homomorphism is formally adequate to accommodate misrepresentation. We question both claims. First, we show that homomorphism (...) is not the right condition to distinguish representation from misrepresentation and non-representation: a “representational mechanism” actually does all the work, and it is independent of homomorphism – as of any structural condition. Second, we test the claim of formal adequacy against three typical kinds of inaccurate representation in science which, by reference to a discussion of the notorious billiard ball model, we define as abstraction, pretence, and simulation. We first point out that Bartels equivocates between homomorphism and the stronger condition of epimorphism, and that the weakened form of homomorphism that Bartels puts forward is not a morphism at all. After providing a formal setting for abstraction, pretence and simulation, we show that for each morphism there is at least one form of inaccurate representation which is not accommodated. We conclude that Bartels’ theory – while logically laying down the weakest structural requirements – is nonetheless formally inadequate in its own terms. This should shed serious doubts on the plausibility of any structural account of representation more generally. (shrink)

The continental drift controversy has been deeply analysed in terms of rationalist notions, which seem to find there a unique topic to describe the weight of evidence for reaching consensus. In that sense, many authors suggest that Alfred Wegener’s theory of the original supercontinent Pangea and the subsequent continental displacements finally reached a consensus when irrefutable evidence became available. Therefore, rationalist approaches suggest that evidence can be enough by itself to close scientific controversies. In this article I analyse continental drift (...) debates from a different perspective which is based on styles of thought. I’ll argue that continental drift debate took much longer than it was usually recognized with two styles of thought coexisting for hundreds of years. These were fixism and mobilism and they were always confronting their own evidence and interpretations and functioning as general frameworks for the acceptability of a specific theory. Therefore, this text aims to bring much broader sociological elements than usually involved in the analysis of the continental drift theory. (shrink)

In this paper, I examine Wilfrid Sellars’ famous Myth of Jones. I argue the myth provides an ontologically austere account of thoughts and beliefs that makes sense of the full range of our folk psychological abilities. Sellars’ account draws on both Gilbert Ryle and Ludwig Wittgenstein. Ryle provides Sellars with the resources to make thoughts metaphysically respectable and Wittgenstein the resources to make beliefs rationally criticisable. By combining these insights into a single account, Sellars is able to see reasons as (...) causes and, hence, to respect the full range of our folk psychological generalisations. This is achieved by modelling folk psychological practice on theoretical reasoning. But despite frequent misinterpretation, Sellars does not claim that thoughts and beliefs are theoretical concepts. Thus, folk psychological explanation is not theoretical, and hence, it is not replaceable by scientific theory. Hence, scientific concepts will not eliminate folk psychological concepts. Thus, Sellars avoids eliminativism. (shrink)

This paper critically examines Weisberg’s weighted feature matching account of model-world similarity. A number of concerns are raised, including that Weisberg provides an account of what underlies scientific judgments of relative similarity, when what is desired is an account of the sorts of model-target similarities that are necessary or sufficient for achieving particular types of modeling goal. Other concerns relate to the details of the account, in particular to the content of feature sets, the nature of shared features and the (...) assumed independence of feature weightings. (shrink)

Combining active externalism in the form of the extended and distributed cognition hypotheses with virtue reliabilism can provide the long sought after link between mainstream epistemology and philosophy of science. Specifically, by reading virtue reliabilism along the lines suggested by the hypothesis of extended cognition, we can account for scientific knowledge produced on the basis of both hardware and software scientific artifacts. Additionally, by bringing the distributed cognition hypothesis within the picture, we can introduce the notion of epistemic group agents, (...) in order to further account for collective knowledge produced on the basis of scientific research teams. (shrink)

Microbial model systems have a long history of fruitful use in fields that include evolution and ecology. In order to develop further insight into modelling practice, we examine how the competitive exclusion and coexistence of competing species have been modelled mathematically and materially over the course of a long research history. In particular, we investigate how microbial models of these dynamics interact with mathematical or computational models of the same phenomena. Our cases illuminate the ways in which microbial systems and (...) equations work as models, and what happens when they generate inconsistent findings about shared targets. We reveal an iterative strategy of comparative modelling in different media, and suggest reasons why microbial models have a special degree of epistemic tractability in multimodel inquiry. (shrink)

In this essay, I critically evaluate components of Michael Weisberg’s approach to models and modeling in his book Simulation and Similarity. First, I criticize his account of the ontology of models and mathematics. Second, I respond to his objections to fictionalism regarding models arguing that they fail. Third, I sketch a deflationary approach to models that retains many elements of his account but avoids the inflationary commitments.

In this essay, I first consider a popular view of models and modeling, the similarity view. Second, I contend that arguments for it fail and it suffers from what I call “Hughes’ worry.” Third, I offer a deflationary approach to models and modeling that avoids Hughes’ worry and shows how scientific representations are of apiece with other types of representations. Finally, I consider an objection that the similarity view can deal with approximations better than the deflationary view and show that (...) this is not so. (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)

Theoretical biology and economics are remarkably similar in their reliance on mathematical models, which attempt to represent real world systems using many idealized assumptions. They are also similar in placing a great emphasis on derivational robustness of modeling results. Recently philosophers of biology and economics have argued that robustness analysis can be a method for confirmation of claims about causal mechanisms, despite the significant reliance of these models on patently false assumptions. We argue that the power of robustness analysis has (...) been greatly exaggerated. It is best regarded as a method of discovery rather than confirmation. (shrink)

I present a new definition of verisimilitude, framed in terms of causes. Roughly speaking, according to it a scientific model is approximately true if it captures accurately the strengths of the causes present in any given situation. Against much of the literature, I argue that any satisfactory account of verisimilitude must inevitably restrict its judgments to context-specific models rather than general theories. We may still endorse—and only need—a relativized notion of scientific progress, understood now not as global advance but rather (...) as the mastering of particular problems. This also sheds new light on longstanding difficulties surrounding language-dependence and models committed to false ontologies. (shrink)

This paper gives a critical evaluation of the philosophical presuppositions and implications of two current schools in the sociology of knowledge: the Strong Programme of Bloor and Barnes; and the Constructivism of Latour and Knorr-Cetina. Bloor's arguments for his externalist symmetry thesis (i.e., scientific beliefs must always be explained by social factors) are found to be incoherent or inconclusive. At best, they suggest a Weak Programme of the sociology of science: when theoretical preferences in a scientific community, SC, are first (...) internally explained by appealing to the evidence, e, and the standards or values, V, accepted in SC, then a sociologist may sometimes step in to explain why e and V were accepted in SC. Latour's story about the social construction of facts in scientific laboratories is found to be misleading or incredible. The idea that scientific reality is an artifact turns out to have some interesting affinities with classical pragmatism, instrumentalism, phenomenology, and internal realism. However, the constructivist account of theoretical entities in terms of negotiation and social consensus is less plausible than the alternative realist story which explains consensus by the preexistence of mind-independent real entities. The author concludes that critical scientific realism, developed with the concept of truthlikeness, is compatible with the thesis that scientific beliefs or knowledge claims may be relative to various types of cognitive and practical interests. However, the realist denies, with good reasons, the stronger type of relativism which takes reality and truth to be relative to persons, groups, or social interests. (shrink)

The No-Miracles Argument (NMA) is often used to support scientific realism. We can formulate this argument as an inference to the best explanation this accusation of circularity by appealing to reliabilism, an externalist epistemology. In this paper I argue that this retreat fails. Reliabilism suffers from a potentially devastating difficulty known as the Generality Problem and attempts to solve this problem require adopting both epistemic and metaphysical assumptions regarding local scientific theories. Although the externalist can happily adopt the former, if (...) he adopts the latter then the Generality Problem arises again, but now at the level of scientific methodology. Answering this new version of the Generality Problem is impossible for the scientific realist without making the important further assumption that there exists the possibility of a unique rule of Doing this however would make the NMA viciously premise circular. (shrink)

This paper examines the nature of model-based reasoning in the interplay between theory and experiment in the context of biomedical engineering research laboratories, where problem solving involves using physical models. These "model systems" are sites of experimentation where in vitro models are used to screen, control, and simulate specific aspects of in vivo phenomena. As with all models, simulation devices are idealized representations, but they are also systems themselves, possessing engineering constraints. Drawing on research in contemporary cognitive science that construes (...) cognition as occurring in a complex distributed system comprising people and artifacts, I argue that reasoning with model systems is a constraint satisfaction process involving co-construction, manipulation, and revision of mental and physical models. (shrink)

Designing, building, and experimenting with physical simulation models are central problem‐solving practices in the engineering sciences. Model‐based simulation is an epistemic activity that includes exploration, generation and testing of hypotheses, explanation, and inference. This paper argues that to interpret and understand how these simulation models function in creating knowledge and technologies requires construing problem solving as accomplished by a researcher–artifact system. It draws on and further develops the framework of “distributed cognition” to interpret data collected in ethnographic and cognitive‐historical studies (...) of two biomedical engineering research laboratories, and articulates the notion of distributed model‐based cognition to answer the question posed in the title. (shrink)

Cases where analogy has played a significant role in the formation of a new scientific concept are well-documented. Yet, how is it that genuinely new representations can be constructed from existing representations? It is argued that the process of ‘generic modeling’ enables abstraction of features common to both the domain of the source of the analogy and of the target phenomena. The analysis focuses on James Clerk Maxwell's construction of the electromagnetic field concept. The mathematical representation Maxwell constructed turned out (...) to be a system of abstract laws that when applied to electromagnetic systems yield laws of a dynamical system that will not map back onto the mechanicals domains used in their construction. (shrink)

Cases where analogy has played a significant role in the formation of a new scientific concept are well-documented. Yet, how is it that genuinely new representations can be constructed from existing representations? It is argued that the process of ‘generic modeling’ enables abstraction of features common to both the domain of the source of the analogy and of the target phenomena. The analysis focuses on James Clerk Maxwell's construction of the electromagnetic field concept. The mathematical representation Maxwell constructed turned out (...) to be a system of abstract laws that when applied to electromagnetic systems yield laws of a dynamical system that will not map back onto the mechanicals domains used in their construction. (shrink)

The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of (...) recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences. (shrink)

We inquire into the question whether the Aristotelean or classical \emph{ideal} of science has been realised by the Model Revolution, initiated at Stanford University during the 1950ies and spread all around the world of philosophy of science --- \emph{salute} P.\ Suppes. The guiding principle of the Model Revolution is: \emph{a scientific theory is a set of structures in the domain of discourse of axiomatic set-theory}, characterised by a set-theoretical predicate. We expound some critical reflections on the Model Revolution; the conclusions (...) will be that the philosophical problem of what a \emph{scientific theory} is has \emph{not} been solved yet --- \emph{pace} P.\ Suppes. While reflecting critically on the Model Revolution, we also explore a proposal of how to complete the Revolution and briefly address the intertwined subject of \emph{scientific representation}, which has come to occupy center stage in philosophy of science over the past decade. (shrink)

The thesis of the empirical underdetermination of theories (U-thesis) maintains that there are incompatible theories which are empirically equivalent. Whether this is an interesting thesis depends on how the term incompatible is understood. In this paper a structural explication is proposed. More precisely, the U-thesis is studied in the framework of the model theoretic or emantic approach according to which theories are not to be taken as linguistic entities, but rather as families of mathematical structures. Theories of similarity structures are (...) studied as a paradigmatic case. The structural approach further reveals that the U-thesis is related to problems of uniqueness in the representational theory of measurement, questions of geometric conventionalism, and problems of structural underdetermination in mathematics. (shrink)

If models can be true, where is their truth located? Giere (Explaining science, University of Chicago Press, Chicago, 1998) has suggested an account of theoretical models on which models themselves are not truth-valued. The paper suggests modifying Giere’s account without going all the way to purely pragmatic conceptions of truth—while giving pragmatics a prominent role in modeling and truth-acquisition. The strategy of the paper is to ask: if I want to relocate truth inside models, how do I get it, what (...) else do I need to accept and reject? In particular, what ideas about model and truth do I need? The case used as an illustration is the world’s first economic model, that of von Thünen (1826/1842) on agricultural land use in the highly idealized Isolated State. (shrink)

This article shows how the MISS account of models—as isolations and surrogate systems—accommodates and elaborates Sugden’s account of models as credible worlds and Hausman’s account of models as explorations. Theoretical models typically isolate by means of idealization, and they are representatives of some target system, which prompts issues of resemblance between the two to arise. Models as representations are constrained both ontologically (by their targets) and pragmatically (by the purposes and audiences of the modeller), and these relations are coordinated by (...) a model commentary. Surrogate models are often about single mechanisms. They are distinguishable from substitute models, which are examined without any concern about their connections with the target. Models as credible worlds are surrogate models that are believed to provide access to their targets on account of their credibility (of which a few senses are distinguished). (shrink)

This article shows how the MISS account of models—as isolations and surrogate systems—accommodates and elaborates Sugden’s account of models as credible worlds and Hausman’s account of models as explorations. Theoretical models typically isolate by means of idealization, and they are representatives of some target system, which prompts issues of resemblance between the two to arise. Models as representations are constrained both ontologically (by their targets) and pragmatically (by the purposes and audiences of the modeller), and these relations are coordinated by (...) a model commentary. Surrogate models are often about single mechanisms. They are distinguishable from substitute models, which are examined without any concern about their connections with the target. Models as credible worlds are surrogate models that are believed to provide access to their targets on account of their credibility (of which a few senses are distinguished). (shrink)

In this paper, I propose that the debate in epistemology concerning the nature and value of understanding can shed light on the role of scientific idealizations in producing scientific understanding. In philosophy of science, the received view seems to be that understanding is a species of knowledge. On this view, understanding is factive just as knowledge is, i.e., if S knows that p, then p is true. Epistemologists, however, distinguish between different kinds of understanding. Among epistemologists, there are those who (...) think that a certain kind of understanding—objectual understanding—is not factive, and those who think that objectual understanding is quasi-factive. Those who think that understanding is not factive argue that scientific idealizations constitute cognitive success, which we then consider as instances of understanding, and yet they are not true. This paper is an attempt to draw lessons from this debate as they pertain to the role of idealizations in producing scientific understanding. I argue that scientific understanding is quasi-factive. (shrink)

According to Ian Hacking’s Entity Realism, unobservable entities that scientists carefully manipulate to study other phenomena are real. Although Hacking presents his case in an intuitive, attractive, and persuasive way, his argument remains elusive. I present five possible readings of Hacking’s argument: a no-miracle argument, an indispensability argument, a transcendental argument, a Vichian argument, and a non-argument. I elucidate Hacking’s argument according to each reading, and review their strengths, their weaknesses, and their compatibility with each other.

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.

Sciences are often regarded as providing the best, or, ideally, exact, knowledge of the world, especially in providing laws of nature. Ilya Prigogine, who was awarded the Nobel Prize for his theory of non-equilibrium chemical processes—this being also an important attempt to bridge the gap between exact and non-exact sciences [mentioned in the Presentation Speech by Professor Stig Claesson (nobelprize.org, The Nobel Prize in Chemistry 1977)]—has had this ideal in mind when trying to formulate a new kind of science. Philosophers (...) of science distinguish theory and reality, examining relations between these two. Nancy Cartwright’s distinction of fundamental and phenomenological laws, Rein Vihalemm’s conception of the peculiarity of the exact sciences, and Ronald Giere’s account of models in science and science as a set of models are deployed in this article to criticise the common view of science and analyse Ilya Prigogine’s view in particular. We will conclude that on a more abstract, philosophical level, Prigogine’s understanding of science doesn’t differ from the common understanding. (shrink)

In the early eighties, philosophers of science came to the conviction that discovery and creativity form an integral part of scientific rationality. Ever since, the?positivists? have been criticised for their neglect of these topics. It is the aim of this paper to show that the positivists' approach to scientific discovery is not only much richer than is commonly recognized, but that they even defended an important thesis which some of the `friends of discovery' seem to have forgotten. Contrary to what (...) is generally accepted, I shall also show that there is no reason at all why the positivists should have ignored discovery. (shrink)

This paper is about mechanisms and models, and how they interact. In part, it is a response to recent discussion in philosophy of biology regarding whether natural selection is a mechanism. We suggest that this debate is indicative of a more general problem that occurs when scientists produce mechanistic models of populations and their behaviour. We can make sense of claims that there are mechanisms that drive population-level phenomena such as macroeconomics, natural selection, ecology, and epidemiology. But talk of mechanisms (...) and mechanistic explanation evokes objects with well-defined and localisable parts which interact in discrete ways, while models of populations include parts and interactions that are neither local nor discrete in any actual populations. This apparent tension can be resolved by carefully distinguishing between the properties of a model and those of the system it represents. To this end, we provide an analysis that recognises the flexible relationship between a mechanistic model and its target system. In turn, this reveals a surprising feature of mechanistic representation and explanation: it can occur even when there is a mismatch between the mechanism of the model and that of its target. Our analysis reframes the debate, providing an alternative way to interpret scientists’ mechanism-talk , which initially motivated the issue. We suggest that the relevant question is not whether any population-level phenomenon such as natural selection is a mechanism, but whether it can be usefully modelled as though it were a particular type of mechanism. (shrink)

This article explores the question of how scientific uncertainty can be managed in medical decision making using the Advisory Committee on Immunization Practices as a case study. It concludes that where a high degree of technical consensus exists about the evidence and data, decision makers act according to a clear decision rule. If a high degree of technical consensus does not exist and uncertainty abounds, the decision will be based on a variety of criteria, including readily available resources, decision-process constraints, (...) and the available knowledge base, among other things. Decision makers employ a variety of heuristic devices and techniques, thereby employing a pragmatic approach to uncertainty in medical decision making. The article concludes with recommendations for managing scientific uncertainty in medical decision making. (shrink)

I begin by distinguishing two notions of model, the notion of a truth-making structure and the notion of a mathematical model (in one specific sense). I then argue that although the models of the semantic view have often been taken to be both truth-making structures and mathematical models, this is in part due to a failure to distinguish between two ways of truth-making; in fact, the talk of truth-making is best excised from the view altogether. The result is a version (...) of the semantic view which is better supported by the direct evidence offered for it, better equipped to achieve its avowed aims, and, I think, closer to the intentions of the original proponents of the view in many ways, despite some of their own declarations to the contrary. (shrink)

It used to be thought that folk psychology is the only game in town. Focusing merely on what people do will not allow you to predict what they are likely to do next. For that, you must consider their beliefs, desires, intentions, etc. Recent evidence from developmental psychology and fMRI studies indicates that this conclusion was premature. We parse motion in an environment as behavior of a particular type, and behavior thus construed can feature in systematizations that we know. Building (...) on the view that folk psychological knowledge is knowledge of theoretical models, I argue that social knowledge is best understood as lying on a continuum between behavioral and full-blown psychological models. Between the two extremes, we have what I call social models. Social models represent social structures in terms of their overall purpose and circumscribe individuals' roles within them. These models help us predict what others will do or plan what we should do without providing information about what agents think or want. Thinking about social knowledge this way gives us a more nuanced picture of what capacities are engaged in social planning and interaction, and gives us a better tool with which to think about the social knowledge of animals and young children. (shrink)