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)

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)

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)

Scientific models are important, if not the sole, units of science. This thesis addresses the following question: in virtue of what do scientific models represent their target systems? In Part i I motivate the question, and lay out some important desiderata that any successful answer must meet. This provides a novel conceptual framework in which to think about the question of scientific representation. I then argue against Callender and Cohen’s attempt to diffuse the question. In Part ii I investigate the (...) ideas that scientific models are ‘similar’, or structurally morphic, to their target systems. I argue that these approaches are misguided, and that at best these relationships concern the accuracy of a pre-existing representational relationship. I also pay particular attention to the sense in which target systems can be appropriately taken to exhibit a ‘structure’, and van Fraassen’s recent argument concerning the pragmatic equivalence between representing phenomena and data. My next target is the idea that models should not be seen as objects in their own right, but rather what look like descriptions of them are actually direct descriptions of target systems, albeit not ones that should be understood literally. I argue that these approaches fail to do justice to the practice of scientific modelling. Finally I turn to the idea that how models represent is grounded, in some sense, in their inferential capacity. I compare this approach to anti-representationalism in the philosophy of language and argue that analogous issues arise in the context of scientific representation. Part iii contains my positive proposal. I provide an account of scientific representation based on Goodman and Elgin’s notion of representation-as. The result is a highly conventional account which is the appropriate level of generality to capture all of its instances, whilst remaining informative about the notion. I illustrate it with reference to the Phillips-Newlyn machine, models of proteins, and the Lotka-Volterra model of predator-prey systems. These examples demonstrate how the account must be understood, and how it sheds light on our understanding of how models are used. I finally demonstrate how the account meets the desiderata laid out at the beginning of the thesis, and outline its implications for further questions from the philosophy of science; not limited to issues surrounding the applicability of mathematics, idealisation, and what it takes for a model to be ‘true’. (shrink)

In the philosophy of science and epistemology literature, robustness analysis has become an umbrella term that refers to a variety of strategies. One of the main purposes of this paper is to argue that different strategies rely on different criteria for justifications. More specifically, I will claim that: i) robustness analysis differs from de-idealization even though the two concepts have often been conflated in the literature; ii) the comparison of different model frameworks requires different justifications than the comparison of models (...) that differ only for the assumption under test; iii) the replacement of specific assumptions with different ones can encounter specific difficulties in scientific practice. These claims will be supported by a case study in population ecology and a case study in geographical economics. (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)

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)

. 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)

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)

Scientific representation: A long journey from pragmatics to pragmatics Content Type Journal Article DOI 10.1007/s11016-010-9465-5 Authors James Ladyman, Department of Philosophy, University of Bristol, 9 Woodland Rd, Bristol, BS8 1TB UK Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Mauricio Suárez, Department of Logic and Philosophy of Science, Complutense University of Madrid, 28040 Madrid, Spain Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Journal Metascience Online (...) ISSN 1467-9981 Print ISSN 0815-0796. (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)

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)

This paper critically reviews Philip Kitcher's most recent epistemology of science, real realism . I argue that this view is unstable under different understandings of the term 'representation', and that the arguments offered for the position are either unsound or invalid depending on the understanding employed. Suitably modified those arguments are however convincing in favor of a deflationary version of real realism, which I refer to as the bare view . The bare view accepts Kitcher's Galilean strategy, and the ensuing (...) commitment to the existence of unobservables; but it does not trade on a correspondence or copy theory of representation. So the bare view, unlike real realism, does not entail that our representations match reality even approximately. (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 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)

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)

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)

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)

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)

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)

In Representation Reconsidered , William Ramsey suggests that the notion of structural representation is posited by classical theories of cognition, but not by the ‘newer accounts’ (e.g. connectionist modeling). I challenge the assertion about the newer accounts. I argue that the newer accounts also posit structural representations; in fact, the notion plays a key theoretical role in the current computational approaches in cognitive neuroscience. The argument rests on a close examination of computational work on the oculomotor system.

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)

This paper proposes an account of neurocognitive activity without leveraging the notion of neural representation. Neural representation is a concept that results from assuming that the properties of the models used in computational cognitive neuroscience must literally exist the system being modelled. Computational models are important tools to test a theory about how the collected data has been generated. While the usefulness of computational models is unquestionable, it does not follow that neurocognitive activity should literally entail the properties construed in (...) the model. While this is an assumption present in computationalist accounts, it is not held across the board in neuroscience. In the last section, the paper offers a dynamical account of neurocognitive activity with Dynamical Causal Modelling that combines dynamical systems theory mathematical formalisms with the theoretical contextualisation provided by Embodied and Enactive Cognitive Science. (shrink)

The understanding that comes with scientific explanation is regarded as one of the central epistemic aims of science. In earlier work I have argued that scientists achieve understanding of phenomen...

In 1959, mathematician Mark Kac introduced a model, called the Kac ring, in order to elucidate the classical solution of Boltzmann to the problem of macroscopic irreversibility. However, the model is far from being a realistic representation of something. How can it be of any help here? In philosophy of science, it is often argued that models can provide explanations of the phenomenon they are said to approximate, in virtue of the truth they contain, and in spite of the idealisations (...) they are made of. On this view, idealisations are not supposed to contribute to any explaining, and should not affect the global representational function of the model. But the Kac ring is a toy model that is only made of idealisations, and is still used trustworthily to understand the treatment of irreversible phenomena in statistical mechanics. In the paper, my aim is to argue that each idealisation ingeniously designed by the mathematician maintains the representational function of the Kac ring with the general properties of macroscopic irreversibility under scrutiny. Such an active role of idealisations in the representing has so far been overlooked and reflects the art of modelling. (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)

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)

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)

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)

In this paper I show how certain requirements must be set on any tenable account of scientific representation, such as the requirement allowing for misrepresentation. I then continue to argue that two leading accounts of scientific representation— the inferential account and the interpretational account—are flawed for they do not satisfy such requirements. Through such criticism, and drawing on an analogy from non-scientific representation, I also sketch the outline of a superior account. In particular, I propose to take epistemic representations to (...) be intentional objects that come with reference, semantic contents and a representational code, and I identify faithful representations as representations that act as guides to ontology. (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)

In There 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)

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 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 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)

This article defends a pragmatic and structuralist account of scientific representation of the kind recently proposed by Bas van Fraassen against criticisms of both the structuralist and the pragmatist plank of the account. I argue that the account appears to have the unacceptable consequence that the domain of a theory is restricted to phenomena for which we actually have constructed a model—a worry arising from the account’s pragmatism, which is exacerbated by its structuralism. Yet, the account has the resources, at (...) least partially, to address the worry. What remains as implication is a strong anti-foundationalism. 1 Introduction2 ‘No Representation without Representer’3 Representational Structuralism3.1 Do structural models need to be concretely fitted out?3.2 The triviality objection4 Anti-foundationalism5 Conclusion. (shrink)

In this paper, we argue that symbols are conventional vehicles whose chief function is denotation, while models are epistemic vehicles, and their chief function is to show what their targets are like in the relevant aspects. And we explain why this is incompatible with the deflationary view on scientific modeling. Although the same object may serve both functions, the two vehicles are conceptually distinct and most models employ both elements. With the clarification of this point we offer an alternative account (...) to the deflationary view – the Hybrid Account; and we defend our account in contrast with deflationism. (shrink)

Economic methodologists most often study the relations between models and reality while focusing on the issues of the model's epistemic relevance in terms of its relation to the ‘real world’ and representing the real world in a model. We complement the discussion by bringing the model's constructive mechanisms or self-implementing technologies in play. By this, we mean the elements of the economic model that are aimed at ‘implementing’ it by envisaging the ways to change the reality in order to bring (...) it more in line with the model. We are thus concerned mainly not with the ways to change the model to ‘fit’ the reality, but rather with the model's own armature that is supposed to transform the world along theoretical lines. The case we study is Arrow–Debreu–McKenzie general equilibrium model. In particular, we show the following: gradient methods and stability could be regarded as constructive mechanisms of general equilibrium modeling in the context of market socialism debates; the obsession of general eq.. (shrink)