Idealizing conditions are scapegoats for scientific hypotheses, too often blamed for falsehood better attributed to less obvious sources. But while the tendency to blame idealizations is common among both philosophers of science and scientists themselves, the blame is misplaced. Attention to the nature of idealizing conditions, the content of idealized hypotheses, and scientists’ attitudes toward those hypotheses shows that idealizing conditions are blameless when hypotheses misrepresent. These conditions help to determine the content of idealized hypotheses, and they do so in (...) a way that prevents those hypotheses from being false by virtue of their constituent idealizations. (shrink)

This paper argues that scientific studies distinguish themselves from other studies by a combination of their processes, their (knowledge) elements and the roles of these elements. This is supported by constructing a process model. An illustrative example based on Newtonian mechanics shows how scientific knowledge is structured according to the process model. To distinguish scientific studies from research and scientific research, two additional process models are built for such processes. We apply these process models: (1) to argue that scientific progress (...) should emphasize both the process of change and the content of change; (2) to chart the major stages of scientific study development; and (3) to define “science”. (shrink)

Our concern is in explaining how and why models give us useful knowledge. We argue that if we are to understand how models function in the actual scientific practice the representational approach to models proves either misleading or too minimal. We propose turning from the representational approach to the artefactual, which implies also a new unit of analysis: the activity of modelling. Modelling, we suggest, could be approached as a specific practice in which concrete artefacts, i.e., models, are constructed with (...) the help of specific representational means and used in various ways, for example, for the purposes of scientific reasoning, theory construction and design of experiments and other artefacts. Furthermore, in this activity of modelling the model construction is intertwined with the construction of new phenomena, theoretical principles and new scientific concepts. We will illustrate these claims by studying the construction of the ideal heat engine by Sadi Carnot. (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.

Scientific research is constrained by limited resources, so it is imperative that it be conducted efficiently. This paper introduces the notion of epistemic expression, a kind of representation that expedites the solution of research problems. Epistemic expressions are representations that (i) contain information in a way that enables more reliable information to place the most stringent constraints on possible solutions and (ii) make new information readily extractible by biasing the search through that space. I illustrate these conditions using historical and (...) contemporary examples of biomolecular structure determination. Then, I argue that the notion of epistemic expression parts ways with pragmatic accounts of scientific representation and an understanding of models as artifacts, neither of which require models to accurately represent. Explicating epistemic expression thus fills a gap in our understanding of scientific practice, extending Morrison and Morgan's (1999) conception of models as investigative instruments. (shrink)

Inferentialists about scientific representation hold that an apparatus’s representing a target system consists in the apparatus allowing “surrogative inferences” about the target. I argue that a serious problem for inferentialism arises from the fact that many scientific theories and models contain internal inconsistencies. Inferentialism, left unamended, implies that inconsistent scientific models have unlimited representational power, since an inconsistency permits any conclusion to be inferred. I consider a number of ways that inferentialists can respond to this challenge before suggesting my own (...) solution. I develop an analogy to exploitable glitches in a game. Even though inconsistent representational apparatuses may in some sense allow for contradictions to be generated within them, doing so violates the intended function of the apparatus’s parts and hence violates representational “gameplay.”. (shrink)

Formal criteria of theoretical equivalence are mathematical mappings between specific sorts of mathematical objects, notably including those objects used in mathematical physics. Proponents of formal criteria claim that results involving these criteria have implications that extend beyond pure mathematics. For instance, they claim that formal criteria bear on the project of using our best mathematical physics as a guide to what the world is like, and also have deflationary implications for various debates in the metaphysics of physics. In this paper, (...) I investigate whether there is a defensible view according to which formal criteria have significant non-mathematical implications, of these sorts or any other, reaching a chiefly negative verdict. Along the way, I discuss various foundational issues concerning how we use mathematical objects to describe the world when doing physics, and how this practice should inform metaphysics. I diagnose the prominence of formal criteria as stemming from contentious views on these foundational issues, and endeavor to motivate some alternative views in their stead. (shrink)

This review essay of two edited volumes sketches how STS scholars have analyzed scientific representation and visualization in recent work. Several key foci have emerged, among them attending closely to materiality, engaging the digital through embodied action, turning to ontology, as well as benefitting from artistic practice and critique. In diverse ways these choices are informed by a discontentment with the Cartesian split of mind and body as well as the picture theory of language. Yet, naturalism endures as a template, (...) an expectation, and sometimes a specter with and against which much representational work in science is done. What STS scholars have learnt about representation in laboratory and expert settings still awaits being employed more comprehensively for making sense of practices beyond the lab, especially in contested political, social and ecological environments. In setting out to do so, they ought to reflect on the kinds of logic that their practices of representing representation enact. (shrink)

Presentists argue that only the present is real. In this paper, I ask what duration the present has on a presentist’s account. While several answers are available, each of them requires the adoption of a measure and, with that adoption, additional work must be done to define the present. Whether presentists conclude that a reductionist account of duration is acceptable, that duration is not an applicable concept for their notion of the present, that the present has a duration of zero, (...) or that that the present has a duration, a more robust account of the present is required. I suggest that some of the most difficult questions about duration can be avoided at the cost of no longer viewing presentism as a theory about time, but rather as a theory about existence. In the conclusion, I suggest an interpretation of presentism that allows it to endorse the view that time is nothing more than the measure of change. (shrink)

Scientists appeal to models when explaining phenomena. Such explanations are often dubbed model explanations or model-based explanations. But what are the precise conditions for ME? Are ME special explanations? In our paper, we first rebut two definitions of ME and specify a more promising one. Based on this analysis, we single out a related conception that is concerned with explanations that are induced from working with a model. We call them ‘model-induced explanations’. Second, we study three paradigmatic cases of alleged (...) ME. We argue that all of them are MIE, upon closer examination. Third, we argue that this undermines the building consensus that model explanations are special explanations that, e.g., challenge the factivity of explanation. Instead, it suggests that what is special about models in science is the epistemology behind how models induce explanations. (shrink)

In this paper, we will explore one way in which understanding can—and, we will argue, should—be valuable. We will do this by drawing on what has been said about the different ways knowledge can be valuable. Our main contribution will be to identify one heretofore undiscussed way knowledge could be valuable, but isn’t—specifically, having value to someone other than the understander. We suggest that it is a desideratum on an account of understanding that understanding have the specified type of value; (...) our basis for this claim will come from recent work in cognitive psychology. This desideratum can then be used to measure the success of various accounts of understanding. We argue that accounts of understanding that have a particular structure will predict why understanding has that sort of value. For good measure, we then engage in a bit of a literature review, investigating which extant accounts of understanding satisfy this desideratum. (shrink)

The article develops and justifies, on the basis of the epistemological argumentation theory, two central pieces of the theory of evaluative argumentation interpretation: 1. criteria for recognizing argument types and 2. rules for adding reasons to create ideal arguments. Ad 1: The criteria for identifying argument types are a selection of essential elements from the definitions of the respective argument types. Ad 2: After presenting the general principles for adding reasons (benevolence, authenticity, immanence, optimization), heuristics are proposed for finding missing (...) reasons, for deductive arguments, e.g., semantic tableaux are suggested. (shrink)

While many recent accounts of scientific representation have given a central role to the agency and intentions of scientists in explaining representation, they have left these agential concepts unanalyzed. An account of scientific, representational actions will be a useful piece in offering a more complete account of the practice of representation in science. Drawing on an Anscombean approach to the nature of intentional actions, the Means-End Account of Scientific, Representational Actions describes three features of scientific, representational actions: (I) the final (...) description in the means-end ordering of descriptions is some scientific aim; (II) that interaction with a vehicle distinct from its target stands as an earlier description which is ordered toward the final description as means to end; and (III) the means-end structure is licensed by scientific practice. After describing each of the components of the Means-End Account in greater detail through the example of the representational use of a mathematical model, I explain how it can demarcate scientific, representational actions from other sorts of actions. I close by describing some payoffs of the account, showing how it contributes to a more thorough understanding of the practice of representation in science and how it can be of use in understanding the close connection between representation and other forms of scientific activity. (shrink)

Brief overview of the debates held in the workshop on scientific representation, in Prague, May 2018.

How do models represent reality? There are two conditions that scientific models must satisfy to be representations of real systems, the aboutness condition and the epistemic condition. In this article, I critically assess the two main fictionalist theories of models as representations, the indirect fiction view and the direct fiction view, with respect to these conditions. And I develop a novel proposal, what I call ‘the new fiction view of models’. On this view, models are akin to fictional stories; they (...) represent real-world phenomena if they stand in a denotation relation with reality; and they enable knowledge of reality via the generation of theoretical hypotheses, model–world comparisons and direct attributions. (shrink)

What features will something have if it counts as an explanation? And will something count as an explanation if it has those features? In the second half of the 20th century, philosophers of science set for themselves the task of answering such questions, just as a priori conceptual analysis was generally falling out of favor. And as it did, most philosophers of science just moved on to more manageable questions about the varieties of explanation and discipline-specific scientific explanation. Often, such (...) shifts are sound strategies for problem-solving. But leaving fallow certain basic conceptual issues can also result in foundational debates. (shrink)

In science policy, it is generally acknowledged that science-based problem-solving requires interdisciplinary research. For example, policy makers invest in funding programs such as Horizon 2020 that aim to stimulate interdisciplinary research. Yet the epistemological processes that lead to effective interdisciplinary research are poorly understood. This article aims at an epistemology for interdisciplinary research, in particular, IDR for solving ‘real-world’ problems. Focus is on the question why researchers experience cognitive and epistemic difficulties in conducting IDR. Based on a study of educational (...) literature it is concluded that higher-education is missing clear ideas on the epistemology of IDR, and as a consequence, on how to teach it. It is conjectured that the lack of philosophical interest in the epistemology of IDR is due to a philosophical paradigm of science, which prevents recognizing severe epistemological challenges of IDR, both in the philosophy of science as well as in science education and research. The proposed alternative philosophical paradigm entails alternative philosophical presuppositions regarding aspects such as the aim of science, the character of knowledge, the epistemic and pragmatic criteria for accepting knowledge, and the role of technological instruments. This alternative philosophical paradigm assume the production of knowledge for epistemic functions as the aim of science, and interprets ‘knowledge’ as epistemic tools that must allow for conducting epistemic tasks by epistemic agents, rather than interpreting knowledge as representations that objectively represent aspects of the world independent of the way in which it was constructed. The engineering paradigm of science involves that knowledge is indelibly shaped by how it is constructed. Additionally, the way in which scientific disciplines construct knowledge is guided by the specificities of the discipline, which can be analyzed in terms of disciplinary perspectives. This implies that knowledge and the epistemic uses of knowledge cannot be understood without at least some understanding of how the knowledge is constructed. Accordingly, scientific researchers need so-called metacognitive scaffolds to assist in analyzing and reconstructing how ‘knowledge’ is constructed and how different disciplines do this differently. In an engineering paradigm of science, these metacognitive scaffolds can also be interpreted as epistemic tools, but in this case as tools that guide, enable and constrain analyzing and articulating how knowledge is produced. In interdisciplinary research, metacognitive scaffolds assist interdisciplinary communication aiming to analyze and articulate how the discipline constructs knowledge. (shrink)

An underlying assumption in computational approaches in cognitive and brain sciences is that the nervous system is an input–output model of the world: Its input–output functions mirror certain relations in the target domains. I argue that the input–output modelling assumption plays distinct methodological and explanatory roles. Methodologically, input–output modelling serves to discover the computed function from environmental cues. Explanatorily, input–output modelling serves to account for the appropriateness of the computed function to the explanandum information-processing task. I compare very briefly the (...) modelling explanation to mechanistic and optimality explanations, noting that in both cases the explanations can be seen as complementary rather than contrastive or competing. (shrink)

This article develops an approach to modelling and models in science—the hybrid view—that is against model fictionalism of a recent stripe. It further argues that there is a version of fictionalism about models to which my approach is neutral and which makes sense only if one adopts a special sort of antirealism. Otherwise, my approach strongly suggests that one stay away from fictionalism and embrace realism directly.

The present paper argues that ‘mature mathematical formalisms’ play a central role in achieving representation via scientific models. A close discussion of two contemporary accounts of how mathematical models apply—the DDI account (according to which representation depends on the successful interplay of denotation, demonstration and interpretation) and the ‘matching model’ account—reveals shortcomings of each, which, it is argued, suggests that scientific representation may be ineliminably heterogeneous in character. In order to achieve a degree of unification that is compatible with successful (...) representation, scientists often rely on the existence of a ‘mature mathematical formalism’, where the latter refers to a—mathematically formulated and physically interpreted—notational system of locally applicable rules that derive from (but need not be reducible to) fundamental theory. As mathematical formalisms undergo a process of elaboration, enrichment, and entrenchment, they come to embody theoretical, ontological, and methodological commitments and assumptions. Since these are enshrined in the formalism itself, they are no longer readily obvious to either the novice or the proficient user. At the same time as formalisms constrain what may be represented, they also function as inferential and interpretative resources. (shrink)

In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the extent that we detect it in diverse ways. But what precise sense of diversity is at work here? In this paper, I show that the formal explications of evidential diversity most often appealed to in work on robustness – which all draw in one way or another on probabilistic independence – fail to shed light on the notion of diversity (...) relevant to robustness analysis. I close by briefly outlining a promising alternative approach inspired by Horwich’s (1982) eliminative account of evidential diversity. (shrink)

Since the beginning of the 20th century, philosophers of science have asked, "what kind of thing is a scientific theory?" The logical positivists answered: a scientific theory is a mathematical theory, plus an empirical interpretation of that theory. Moreover, they assumed that a mathematical theory is specified by a set of axioms in a formal language. Later 20th century philosophers questioned this account, arguing instead that a scientific theory need not include a mathematical component; or that the mathematical component need (...) not be specified by a set of axioms in a formal language. We survey various accounts of scientific theories entertained in the 20th century -- removing some misconceptions, and clearing a path for future research. (shrink)

This volume showcases the best of recent research in the philosophy of science. A compilation of papers presented at the EPSA 13, it explores a broad distribution of topics such as causation, truthlikeness, scientific representation, gender-specific medicine, laws of nature, science funding and the wisdom of crowds. Papers are organised into headings which form the structure of the book. Readers will find that it covers several major fields within the philosophy of science, from general philosophy of science to the more (...) specific philosophy of physics, philosophy of chemistry, philosophy of the life sciences, philosophy of psychology, and philosophy of the social sciences and humanities, amongst others. This volume provides an excellent overview of the state of the art in the philosophy of science, as practiced in different European countries and beyond. ​It will appeal to researchers with an interest in the philosophical underpinnings of their own discipline, and to philosophers who wish to explore the latest work on the themes explored. (shrink)

. Through examining a case study of a major fluids modelling code, this paper charts two key properties of software as a material for building models. Scientific software development is characterized by piecemeal growth, and as a code expands, it begins to manifest frustrating properties that provide an important axis of motivation in the laboratory. The first such feature is a tendency towards brittleness. The second is an accumulation of supporting technologies that sometimes cause scientists to express a frustration with (...) the bureaucracy of highly regulated working practices. Both these features are important conditions for the pursuit of research through simulation. (shrink)

I develop an account of scientific representations building on Charles S. Peirce's rich, and still underexplored, notion of iconicity. Iconic representations occupy a central place in Peirce's philosophy, in his innovative approach to logic and in his practice as a scientist. Starting from a discussion of Peirce's approach to diagrams, I claim that Peirce's own representations are in line with his formulation of iconicity, and that they are more broadly connected to the pragmatist philosophy he developed in parallel with his (...) scientific work. I then defend the contemporary relevance of Peirce's approach to iconic representations, and specifically argue that Peirce offers a useful ‘third way’ between what Mauricio Suárez has recently described as the ‘analytical’ and ‘practical’ inquiries into the concept of representation. As a philosophically minded scientist and an experimentally inclined philosopher, Peirce never divorced the practice of representing from questions about what counts as a representation... (shrink)

The picture of synthetic biology as a kind of engineering science has largely created the public understanding of this novel field, covering both its promises and risks. In this paper, we will argue that the actual situation is more nuanced and complex. Synthetic biology is a highly interdisciplinary field of research located at the interface of physics, chemistry, biology, and computational science. All of these fields provide concepts, metaphors, mathematical tools, and models, which are typically utilized by synthetic biologists by (...) drawing analogies between the different fields of inquiry. We will study analogical reasoning in synthetic biology through the emergence of the functional meaning of noise, which marks an important shift in how engineering concepts are employed in this field. The notion of noise serves also to highlight the differences between the two branches of synthetic biology: the basic science-oriented branch and the engineering-oriented branch, which differ from each other in the way they draw analogies to various other fields of study. Moreover, we show that fixing the mapping between a source domain and the target domain seems not to be the goal of analogical reasoning in actual scientific practice. (shrink)

In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...) of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations. (shrink)

Theories of scientific representation, following Chakrawartty's categorization, are divided into two groups. Whereas cognitive-functional views emphasize agents' intentions, informational theories stress the objective relation between represented and representing. In the first part, a modified structuralist theory is introduced that takes into account agents' intentions. The second part is devoted to dismissing a criticism against the structural account of representation on which similarity as the backbone of representation raises serious problems, since it has definite logical features, i.e. reflexivity, symmetry and transitivity, (...) which representation lacks. Drawing on the representational relation between quantum and statistical field theories, I argue that scientific representation displays these logical features, although depending on the context they may be used or not. (shrink)

Philosophers of science have often favoured reductive approaches to how-possibly explanation. This article identifies three alternative conceptions making how-possibly explanation an interesting phenomenon in its own right. The first variety approaches “how possibly X?” by showing that X is not epistemically impossible. This can sometimes be achieved by removing misunderstandings concerning the implications of one’s current belief system but involves characteristically a modification of this belief system so that acceptance of X does not result in contradiction. The second variety offers (...) a potential how-explanation of X. It is usually followed by a range of further potential how-explanations of the same phenomenon. In recent literature the factual claims implied by the second variety have been downplayed whereas the heuristic role of mapping the space of conceptual possibilities has been emphasized. I will focus especially on this truth-bracketing sense of potentiality when looking closer at the second variety in the paper. The third variety has attracted less interest. It presents a partial how-explanation of X. Typically it aims to establish the existence of a mechanism by which X could be and was generated. The third conception stands out as the natural alternative for the advocate of ontic how-possibly explanations. This article transfers Salmon’s view that explanation-concepts can be broadly divided into epistemic, modal, and ontic to the context of how-possibly explanations. Moreover, it is argued that each of the three above-mentioned varieties of how-possibly explanation occurs in science. To recognize this may be especially relevant for philosophers. We are often misled by the promises of various why-explanation accounts, and seem to have forgotten nearly everything about the diversity of how-possibly explanations. (shrink)

Previously, I (Boesch 2017) described a notion called “representational licensing”—the set of activities of scientific practice by which scientists establish the intended representational use of a vehicle. In this essay, I expand and develop this concept of representational licensing. I begin by showing how the concept is of value for both pragmatic and substantive approaches to scientific representation. Then, through the examination of a case study of the Mississippi River Basin Model, I point out and explain some of the activities (...) of representational licensing that help to establish the representational nature of this model. Throughout the exploration of the case study, I pause to identify some important lessons which apply more generally about the nature of representational licensing in science. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

Science is replete with falsehoods that epistemically facilitate understanding by virtue of being the very falsehoods they are. In view of this puzzling fact, some have relaxed the truth requirement on understanding. I offer a factive view of understanding that fully accommodates the puzzling fact in four steps: (i) I argue that the question how these falsehoods are related to the phenomenon to be understood and the question how they figure into the content of understanding it are independent. (ii) I (...) argue that the falsehoods do not figure into the understanding’s content by being elements of its periphery or core. (iii) Drawing lessons from case studies, I argue that the falsehoods merely enable understanding. When working with such falsehoods, only the truths we extract from them are elements of the content of our understanding. (iv) I argue that the extraction view is compatible with the thesis that falsehoods can have an epistemic value by virtue of being the very falsehoods they are. (shrink)

In this essay, I examine the role of dissimilarity in scientific representation. After briefly reviewing some of the philosophical literature which places a strong emphasis on the role of similarity, I turn to examine some work from Carroll and Borges which demonstrates that perfect similarity is not valuable in the representational use of maps. Expanding on this insight, I go on to argue that this shows that dissimilarity is an important part of the representational use of maps—a point I then (...) extend to the case of scientific representation. Relying on some work from Latour, I argue that dissimilarity plays an essential role in representational practice, by providing novel forms of manipulation and use which affords the achievement of various epistemic and nonepistemic aims. After showing how this point connects to some other literature on scientific representation, I discuss some examples of the value of dissimilarity in the use of representational vehicles. Overall, I argue that to understand scientific representation, we will need to consider more than just similarity. We will need to explore dissimilarities as well. (shrink)

In Simulation and Similarity, Michael Weisberg offers a similarity-based account of the model–world relation, which is the relation in virtue of which successful models are successful. Weisberg’s main idea is that models are similar to targets in virtue of sharing features. An important concern about Weisberg’s account is that it remains silent on what it means for models and targets to share features, and consequently on how feature-sharing contributes to models’ epistemic success. I consider three potential ways of concretizing the (...) concept of shared features: as identical, quantitatively sufficiently close, and sufficiently similar features. I argue that each of these concretizations faces significant challenges, leaving unclear how Weisberg’s account substantially contributes to elucidating the relation in virtue of which successful models are successful. Against this background, I outline a pluralistic revision and argue that this revision may not only help Weisberg's account evade several of the problems that I raise, but also offers a novel perspective on the model–world relation more generally. 1Introduction 2Weisberg’s Feature-Sharing Account 3What Is a Shared Feature? 3.1Identity 3.2Sufficient closeness 3.3Sufficient similarity 4Turning Weisberg’s Account ‘Upside Down’ 5Conclusion. (shrink)

The inclusion of the practice of “developing and using models” in the Framework for K-12 Science Education and in the Next Generation Science Standards provides an opportunity for educators to examine the role this practice plays in science and how it can be leveraged in a science classroom. Drawing on conceptions of models in the philosophy of science, we bring forward an agent-based account of models and discuss the implications of this view for enacting modeling in science classrooms. Models, according (...) to this account, can only be understood with respect to the aims and intentions of a cognitive agent, not solely in terms of how they represent phenomena in the world. We present this contrast as a heuristic—models of versus models for—that can be used to help educators notice and interpret how models are positioned in standards, curriculum, and classrooms. (shrink)

One striking feature of the contemporary modelling practice is its interdisciplinary nature. The same equation forms, and mathematical and computational methods, are used across different disciplines, as well as within the same discipline. Are there, then, differences between intra- and interdisciplinary transfer, and can the comparison between the two provide more insight on the challenges of interdisciplinary theoretical work? We will study the development and various uses of the Ising model within physics, contrasting them to its applications to socio-economic systems. (...) While the renormalization group methods justify the transfer of the Ising model within physics – by ascribing them to the same universality class – its application to socio-economic phenomena has no such theoretical grounding. As a result, the insights gained by modelling socio-economic phenomena by the Ising model may remain limited. (shrink)

The recent discussion on scientific representation has focused on models and their relationship to the real world. It has been assumed that models give us knowledge because they represent their supposed real target systems. However, here agreement among philosophers of science has tended to end as they have presented widely different views on how representation should be understood. I will argue that the traditional representational approach is too limiting as regards the epistemic value of modelling given the focus on the (...) relationship between a single model and its supposed target system, and the neglect of the actual representational means with which scientists construct models. I therefore suggest an alternative account of models as epistemic tools. This amounts to regarding them as concrete artefacts that are built by specific representational means and are constrained by their design in such a way that they facilitate the study of certain scientific questions, and learning from them by means of construction and manipulation. (shrink)

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 notion of scientific representation plays a central role in current debates on modeling in the sciences. One or maybe the major epistemic virtue of successful models is their capacity to adequately represent specific phenomena or target systems. According to similarity views of scientific representation, models should be similar to their corresponding targets in order to represent them. In this paper, Suárez’s arguments against similarity views of representation will be scrutinized. The upshot is that the intuition that scientific representation involves (...) similarity is not refuted by the arguments. The arguments do not make the case for the strong claim that similarity between vehicles and targets is neither necessary nor sufficient for scientific representation. Especially, one claim that a similarity view wants to uphold, still, is the following thesis: only if a vehicle is similar to a target in relevant respects and to a specific degree of similarity then the vehicle is a scientific representation of that target. (shrink)

This paper defends the deflationary character of two recent views regarding scientific representation, namely RIG Hughes’ DDI model and the inferential conception. It is first argued that these views’ deflationism is akin to the homonymous position in discussions regarding the nature of truth. There, we are invited to consider the platitudes that the predicate “true” obeys at the level of practice, disregarding any deeper, or more substantive, account of its nature. More generally, for any concept X, a deflationary approach is (...) then defined in opposition to a substantive approach, where a substantive approach to X is an analysis of X in terms of some property P, or relation R, accounting for and explaining the standard use of X. It then becomes possible to characterize a deflationary view of scientific representation in three distinct senses, namely: a “no-theory” view, a “minimalist” view, and a “use-based” view – in line with three standard deflationary responses in the philosophical literature on truth. It is then argued that both the DDI model and the inferential conception may be suitably understood in any of these three different senses. The application of these deflationary ‘hermeneutics’ moreover yields significant improvements on the DDI model, which bring it closer to the inferential conception. It is finally argued that what these approaches have in common – the key to any deflationary account of scientific representation – is the denial that scientific representation may be ultimately reduced to any substantive explanatory property of sources, or targets, or their relations. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

Modeling is an important scientific practice, yet it raises significant philosophical puzzles. Models are typically idealized, and they are often explored via imaginative engagement and at a certain “distance” from empirical reality. These features raise questions such as what models are and how they relate to the world. Recent years have seen a growing discussion of these issues, including a number of views that treat modeling in terms of indirect representation and analysis. Indirect views treat the model as a bona (...) fide object, specified by the modeler and used to represent and reason about some portion of the concrete empirical world. On some indirect views, model systems are abstract entities, such as mathematical structures, while on other views they are concrete hypothetical things. Here I assess these views and offer a novel account of models. I argue that regarding models as abstracta results in some significant tensions with the practice of modeling, especially in areas where non-mathematical models are common. Furthermore, viewing models as concrete hypotheticals raises difficult questions about model-world relations. The view I argue for treats models as direct, albeit simplified, representations of targets in the world. I close by suggesting a treatment of model-world relations that draws on a recent work by Stephen Yablo concerning the notion of partial truth. (shrink)

InThere Are No Such Things As Theories(French 2020), the reification of theories is critically analysed and rejected. My aim here is to tease out some of the implications of this approach first of all, for how we, philosophers of science, should view the history of science; secondly, for how we should understand the devices that we use in our own philosophical practices; and thirdly, for how we might think about the relationship between the history of science and the philosophy of (...) science. (shrink)

One might poetically muse that computers have the essence both of logic and machines. Through the case of the history of Separation Logic, we explore how this assertion is more than idle poetry. Separation Logic works because it merges the software engineer’s conceptual model of a program’s manipulation of computer memory with the logical model that interprets what sentences in the logic are true, and because it has a proof theory which aids in the crucial problem of scaling the reasoning (...) task. Scalability is a central problem, and some would even say the central problem, in appli- cations of logic in computer science. Separation Logic is an interesting case because of its widespread success in verification tools. For these two senses of model—the engineering/conceptual and the logical—to merge in a genuine sense, each must maintain their norms of use from their home disciplines. When this occurs, both the logic and engineering benefit greatly. Seeking this intersection of two different senses of model provides a strategy for how computer scientists and logicians may be successful. Furthermore, the history of Separation Logic for analysing programs provides a novel case for philosophers of science of how software engineers and computer scientists develop models and the components of such models. We provide three contributions: an exploration of the extent of models merging that is necessary for success in computer science; an introduction to the technical details of Separation Logic, which can be used for reasoning about other exhaustible resources; and an introduction to the problems, process, and results of computer scientists for those outside the field. (shrink)

In this paper, I appeal to a distinction made by David Lewis between identifying and determining semantic content in order to defend a complementarity thesis expressed by Anjan Chakravartty. The thesis states that there is no conflict between informational and functional views of scientific modeling and representation. I then apply the complementarity thesis to well-received theories of pictorial representation, thereby stressing the fruitfulness of drawing an analogy between the nature of fictions in art and in science. I end by attending (...) to the problem of depicting impossible fictions. It is suggested that progress can be made by understanding the role of impossible fictions in science, namely, allowing researchers to probe into the possible structure and representational capacities of scientific theory. (shrink)

An interesting feature of some sets of representations is that their structure mirrors the structure of the items they represent. Founding an account of representational content on isomorphism, homomorphism or structural resemblance has proven elusive, however, largely because these relations are too liberal when the candidate structure over representational vehicles is unconstrained. Furthermore, in many cases where there is a clear isomorphism, it is not relied on in the way the representations are used. That points to a potential resolution: that (...) an isomorphism must be used, hence usable, if it is to be an ingredient in a theory of content. This paper argues that the class of exploitable isomorphisms can indeed play a content-constituting role. (shrink)