I explore a challenge that idealisations pose to scientific realism and argue that the realist can best accommodate idealisations by capitalising on certain modal features of idealised models that are underwritten by laws of nature.

This paper adds to the philosophical literature on mechanistic explanation by elaborating two related explanatory functions of idealisation in mechanistic models. The first function involves explaining the presence of structural/organizational features of mechanisms by reference to their role as difference-makers for performance requirements. The second involves tracking counterfactual dependency relations between features of mechanisms and features of mechanistic explanandum phenomena. To make these functions salient, we relate our discussion to an exemplar from systems biological research on the mechanism for countering (...) heat shock—the heat shock response system—in Escherichia coli bacteria. This research also reinforces a more general lesson: ontic constraint accounts in the literature on mechanistic explanation provide insufficiently informative normative appraisals of mechanistic models. We close by outlining an alternative view on the explanatory norms governing mechanistic representation. (shrink)

I argue that normative formal epistemology (NFE) is best understood as modelling, in the sense that this is the reconstruction of its methodology on which NFE is doing best. I focus on Bayesianism and show that it has the characteristics of modelling. But modelling is a scientific enterprise, while NFE is normative. I thus develop an account of normative models on which they are idealised representations put to normative purposes. Normative assumptions, such as the transitivity of comparative credence, are (...) characterised as modelling idealisations motivated normatively. I then survey the landscape of methodological options: what might formal epistemologists be up to? I argue the choice is essentially binary: modelling or theorising. If NFE is theorising it is doing very poorly: generating false claims with no clear methodology for separating out what is to be taken seriously. Modelling, by contrast, is a successful methodology precisely suited to the management of useful falsehoods. Regarding NFE as modelling is not costless, however. First, our normative inferences are less direct and are muddied by the presence of descriptive idealisations. Second, our models are purpose-specific and limited in their scope. I close with suggestions for how to adapt our practice. (shrink)

Research in pharmacogenomics and precision medicine has recently introduced the concept of Polygenic Scores (PGSs), namely, indexes that aggregate the effects that many genetic variants are predicted to have on individual disease risk. The popularity of PGSs is increasing rapidly, but surprisingly little attention has been paid to the idealisations they make about phenotypic development. Indeed, PGSs rely on quantitative genetics models and methods, which involve considerable theoretical assumptions that have been questioned on various grounds. This comes with epistemological and (...) ethical concerns about the use of PGSs in clinical decision-making. In this paper, I investigate to what extent idealisations in genetics models can impact the data gathering and clinical interpretation of genomics findings, particularly the calculation and predictive accuracy of PGSs. Although idealisations are considered ineliminable components of scientific models, they may be legitimate or not depending on the epistemic aims of a model. I thus analyse how various idealisations have been introduced in classical models and progressively readapted throughout the history of genetic theorising. Notably, this process involved important changes in the epistemic purpose of such idealisations, which raises the question of whether they are legitimate in the context of contemporary genomics. (shrink)

This is a paper about the methodology of normative ethics. I claim that much work in normative ethics can be interpreted as modelling, the form of inquiry familiar from science, involving idealised representations. I begin with the anti-theory debate in ethics, and note that the debate utilises the vocabulary of scientific theories without recognising the role models play in science. I characterise modelling, and show that work with these characteristics is common in ethics. This establishes the plausibility of my (...) interpretation. Taking methodological inspiration from modelling in science gives us new tools for managing idealisations, and a new perspective on pluralism. I demonstrate why this interpretation is a fruitful way of interpreting ethics, by looking at three case studies. First, I return to the anti-theory debate and argue that modelling opens up a new middle ground. Second, I argue that a modelling lens offers a new way of understanding impossibility theorems in population ethics, and their bearing on ethics as a whole. Finally, I show how viewing our work as modelling can be deployed in debates within ethics, using the debate over prioritarianism as an example. I close with further methodological suggestions for those who choose to see themselves as modellers. I discuss the role of counterexamples, our responses to moral disagreement, and the training of new ethicists. (shrink)

This dissertation examines aspects of the interplay between computing and scientific practice. The appropriate foundational framework for such an endeavour is rather real computability than the classical computability theory. This is so because physical sciences, engineering, and applied mathematics mostly employ functions defined in continuous domains. But, contrary to the case of computation over natural numbers, there is no universally accepted framework for real computation; rather, there are two incompatible approaches --computable analysis and BSS model--, both claiming to formalise (...) algorithmic computation and to offer foundations for scientific computing. -/- The dissertation consists of three parts. In the first part, we examine what notion of 'algorithmic computation' underlies each approach and how it is respectively formalised. It is argued that the very existence of the two rival frameworks indicates that 'algorithm' is not one unique concept in mathematics, but it is used in more than one way. We test this hypothesis for consistency with mathematical practice as well as with key foundational works that aim to define the term. As a result, new connections between certain subfields of mathematics and computer science are drawn, and a distinction between 'algorithms' and 'effective procedures' is proposed. -/- In the second part, we focus on the second goal of the two rival approaches to real computation; namely, to provide foundations for scientific computing. We examine both frameworks in detail, what idealisations they employ, and how they relate to floating-point arithmetic systems used in real computers. We explore limitations and advantages of both frameworks, and answer questions about which one is preferable for computational modelling and which one for addressing general computability issues. -/- In the third part, analog computing and its relation to analogue (physical) modelling in science are investigated. Based on some paradigmatic cases of the former, a certain view about the nature of computation is defended, and the indispensable role of representation in it is emphasized and accounted for. We also propose a novel account of the distinction between analog and digital computation and, based on it, we compare analog computational modelling to physical modelling. It is concluded that the two practices, despite their apparent similarities, are orthogonal. (shrink)

Most philosophical accounts of scientific models assume that models represent some aspect, or some theory, of reality. They also assume that interpretation plays only a supporting role. This paper challenges both assumptions. It proposes that models can be used in science to interpret reality. (a) I distinguish these interpretative models from representational ones. They find new meanings in a target system’s behaviour, rather than fit its parts together. They are built through idealisation, abstraction and recontextualisation. (b) To show how interpretative (...) models work, I offer a case study on the scientific controversy over foetal pain. It highlights how pain scientists use conflicting models to interpret the human foetus and its behaviour, and thereby to support opposing claims about whether the foetus can feel pain. (c) I raise a sceptical worry and a methodological challenge for interpretative models. To address the latter, I use my case study to compare how interpretative and representational models ought to be evaluated. (shrink)

The practice of scientific modelling often resorts to hypothetical, false, idealised, targetless, partial, generalised, and other types of modelling that appear to have at least partially non-actual targets. In this paper, I will argue that we can avoid a commitment to non-actual targets by sketching a framework where models are understood as having networks of possibilities as their targets. This raises a further question: what are the truthmakers for the modal claims that we can derive from models? I propose (...) that we can find truthmakers for the modal claims derived from models in actuality, even in the case of supposedly non-actual targets. I then put this framework to use by examining a case study concerning the modelling of superheavy elements. (shrink)

Disagreement about how best to think of the relation between theories and the realities they represent has a longstanding and venerable history. We take up this debate in relation to the free energy principle (FEP) - a contemporary framework in computational neuroscience, theoretical biology and the philosophy of cognitive science. The FEP is very ambitious, extending from the brain sciences to the biology of self-organisation. In this context, some find apparent discrepancies between the map (the FEP) and the territory (target (...) systems) a compelling reason to defend instrumentalism about the FEP. We take this to be misguided. We identify an important fallacy made by those defending instrumentalism about the FEP. We call it the literalist fallacy: this is the fallacy of inferring the truth of instrumentalism based on the claim that the properties of FEP models do not literally map onto real-world, target systems. We conclude that scientific realism about the FEP is a live and tenable option. (shrink)

In his critical notice entitled ‘An Improved Whole Life Satisfaction Theory of Happiness?’ focusing on my article that was previously published in this journal, Fred Feldman raises an important objection to a suggestion I made about how to best formulate the whole life satisfaction theories of happiness. According to my proposal, happiness is a matter of whether an idealised version of you would judge that your actual life corresponds to the life-plan, which he or she has constructed for you (...) on the basis of your cares and concerns. Feldman argues that either the idealised version will include in the relevant life-plan only actions that are possible for you to do or he or she will also include actions and outcomes that are not available for you in the real world. He then uses examples to argue that both of these alternatives have implausible consequences. In response to this objection, I argue that what it is included in the relevant life-plan depends on what you most fundamentally desire and that this constraint is enough to deal with Feldman’s new cases. (shrink)

Coherence and correspondence are classical contenders as theories of truth. In this paper we examine them instead as interacting factors in the dynamics of belief across epistemic networks. We construct an agent-based model of network contact in which agents are characterized not in terms of single beliefs but in terms of internal belief suites. Individuals update elements of their belief suites on input from other agents in order both to maximize internal belief coherence and to incorporate ‘trickled in’ elements (...) of truth as correspondence. Results, though often intuitive, prove more complex than in simpler models (Hegselmann & Krause 2002, 2006; Grim, Singer, Reade & Fisher 2015). The optimistic finding is that pressures toward internal coherence can exploit and expand on small elements of truth as correspondence is introduced into epistemic networks. Less optimistic results show that pressures for coherence can also work directly against the incorporation of truth, particularly when coherence is established first and new data is introduced later. (shrink)

For various historical, political as well as economic reasons, the English language is favoured as the universal language of science over other languages including French and German (Tardy, 2004). This naturally entails that students who are conversant in English have an advantage over those who are not in the acquisition of scientific knowledge. In relation to this, research on the misunderstanding of scientific terms in different languages shows that students who are speakers of non-western languages in particular face difficulties in (...) conceptualising scientific concepts. There is evidence to suggest that these students’ pre-existing knowledge about scientific terms and the polysemous nature of such terms are factors that influence their conceptualisation of the terms. This finding is the motivation behind the present cognitive linguistic study of the term temperature and its equivalent in Arabic, the compound دَرَجَةُ الحَرَارَة (darajatu al-ḥarara). Using a cognitive framework, namely Lakoff’s Idealised Cognitive Models (ICMs), the study analyses the conceptual similarities as well as differences between the terms. The study also analyses the English term heat as the second free morpheme of the compound دَرَجَةُ الحَرَارَة is الحَرَارَة which is the Arabic rendering of heat. The meanings and different uses of the terms are examined to analyse the ICMs that are evoked in each language. The results of the analysis reveal that the ICMs of English and Arabic terms under study overlap, and interestingly, also differ. (shrink)

The present article focuses on the conceptual structures of two Arabic words which are used in both everyday life and science: كَهْرَبَاء (kahrabāʾ) (electricity) and ضَوْء (ḍawʾ) (light). Under a cognitive linguistics approach, the polysemy of these terms, revealed in the citations extracted from ArabiCorpus, is studied. More specifically, the analysis of the terms involves the polysemy or ‘radial category’ along with its prototypical and peripheral meanings, and the main factors in projecting the idealised cognitive models (ICMs) where the (...) radial categories are formed: conceptual metaphor and conceptual metonymy. The results indicate that power and knowledge motivate the conceptualisations that underpin the categories كَهْرَبَاء (kahrabāʾ) (electricity) and ضَوْء (ḍawʾ) (light) respectively. Using such non-scientific conception in understanding the scientific senses of these terms leads to students’ confusion and failure to understand them. To ensure that students construe the scientific concepts correctly, they must be mindful of the inconsistency between their non-scientific and scientific meanings. (shrink)

It is often argued that the indispensability of continuum models comes from their empirical adequacy despite their decoupling from the microscopic details of the modelled physical system. There is thus a commonly held misconception that temperature varying across a region of space or time can always be accurately represented as a continuous function. We discuss three inter-related cases of temperature modelling — in phase transitions, thermal boundary resistance and slip flows — and show that the continuum view is fallacious on (...) the ground that the microscopic details of a physical system are not necessarily decoupled from continuum models. We show how temperature discontinuities are present in both data (experiments and simulations) and phenomena (theory and models) and how discontinuum models of temperature variation may have greater empirical adequacy and explanatory power. The conclusions of our paper are: a) continuum idealisations are not indispensable to modelling physical phenomena and both continuous and discontinuous representations of phenomena work depending on the context; b) temperature is not necessarily a continuously defined function in our best scientific representations of the world; and c) that its continuity, where applicable, is a contingent matter. We also raise a question as to whether discontinuous representations should be considered truly de-idealised descriptions of physical phenomena. (shrink)

It is commonly accepted that unconditional statements are clearer and less problematic than conditional ones. This article challenges this belief by proposing that all unconditional statements can be reduced to conditional ones since epistemic justification is inherently conditional in nature. The distinction between unconditional and conditional statements is similar to the distinction between assumptions and premises, which is an idealization that results from our attempts to limit epistemic complexity. This has perplexing consequences: (1) since any ordinary statement can be viewed (...) as a disguised conditional, this sets off a chain of epistemic regress that results in a larger conditional that encompasses our entire belief systems; (2) this monster conditional can’t never be justified since it always expands in the process of justification; (3) since there is no such thing as unconditional statements, conditionals themselves become meaningless, which implies that arguments and even entire belief systems become meaningless as well; (4) the only way to avoid these disastrous results is to admit that the meaning of conditionals and, ultimately, of our belief systems is a matter of convention. (shrink)

Taken as a model for how groups should make collective judgments and decisions, the ideal of deliberative democracy is inherently ambiguous. Consider the idealised case where it is agreed on all sides that a certain conclusion should be endorsed if and only if certain premises are admitted. Does deliberative democracy recommend that members of the group debate the premises and then individually vote, in the light of that debate, on whether or not to support the conclusion? Or does (...) it recommend that members individually vote on the premises, and then let their commitment to the conclusion be settled by whether or not the group endorses the required premises? Deliberative-democratic theory has not addressed this issue, and this is a problem. The discursive dilemma of my title--a generalisation of the doctrinal paradox from analytical jurisprudence--shows that the procedures distinguished can come apart. Thus deliberative democrats must make up their minds on where they stand in relation to the issue; they cannot sit on the fence. This paper is an attempt to address the issue and look at the grounds on which it may be resolved. (shrink)

Marr’s seminal distinction between computational, algorithmic, and implementational levels of analysis has inspired research in cognitive science for more than 30 years. According to a widely-used paradigm, the modelling of cognitive processes should mainly operate on the computational level and be targeted at the idealised competence, rather than the actual performance of cognisers in a specific domain. In this paper, we explore how this paradigm can be adopted and revised to understand mathematical problem solving. The computational-level approach applies methods (...) from computational complexity theory and focuses on optimal strategies for completing cognitive tasks. However, human cognitive capacities in mathematical problem solving are essentially characterised by processes that are computationally sub-optimal, because they initially add to the computational complexity of the solutions. Yet, these solutions can be optimal for human cognisers given the acquisition and enactment of mathematical practices. Here we present diagrams and the spatial manipulation of symbols as two examples of problem solving strategies that can be computationally sub-optimal but humanly optimal. These aspects need to be taken into account when analysing competence in mathematical problem solving. Empirically informed considerations on enculturation can help identify, explore, and model the cognitive processes involved in problem solving tasks. The enculturation account of mathematical problem solving strongly suggests that computational-level analyses need to be complemented by considerations on the algorithmic and implementational levels. The emerging research strategy can help develop algorithms that model what we call enculturated cognitive optimality in an empirically plausible and ecologically valid way. (shrink)

Modeling is central to scientific inquiry. It also depends heavily upon the imagination. In modeling, scientists seem to turn their attention away from the complexity of the real world to imagine a realm of perfect spheres, frictionless planes and perfect rational agents. Modeling poses many questions. What are models? How do they relate to the real world? Recently, a number of philosophers have addressed these questions by focusing on the role of the imagination in modeling. Some have also drawn parallels (...) between models and fiction. This chapter examines these approaches to scientific modeling and considers the challenges they face. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic and (...) semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

Technological determinism, as a position on the nature and effects of technology/technologies can be divided into optimistic and critical forms. The optimistic variety, of which contemporary cyber-utopianism is an instance, holds that the development of technology shapes or at least facilitates ameliorative alterations in society. The critical variety, on the other hand, tends to problematise or condemn the positive narrative of technological impact on human existence. Whilst the optimistic form still retains some academic credibility, especially concerning digital technologies, the critical (...) variety tends to be viewed as reductionist, essentialist and pessimistic. Furthermore, the fact that many of its leading proponents base their critiques on the analysis of industrial technology, reinforces the impression that critical technological determinism is outdated. I argue that focussing on the specific forms of technology analysed by classic technological determinists is to miss the key point of their arguments. Critical determinism warns that with the increasing integration of technology into everyday life, we run the risk of idealising technological organisation and making sociotechnical relations a model for all social relations. Drawing upon Rendueles’s (2017) analysis of the sociophobic tendencies of the online public sphere, I argue for the continuing relevance of so-called ‘Classic’ technological determinism. The danger posed by the ubiquity of the internet on this account is not that it possesses some innate quality that imposes a particular social pattern on humanity, but that the way in which we interact in cyberspace becomes the norm for social relations outside the cybersphere. (shrink)

USKALI MÄKI (Helsinki, 1951) is a philosopher of science and a social scientist, and one of the forerunners of the strong wave of research on the philosophy and methodology of economics that has been expanding during the last three decades. His research interests and academic contributions cover many topics in the philosophy of economics, such as realism and realisticness, idealisation, scientific modelling, causation, explanation, rhetoric, the sociology and economics of economics, and the foundations of new institutional and Austrian economics. He (...) is a coeditor of The handbook of economic methodology (1998); Economics and methodology: crossing boundaries (1998); Rationality, institutions and economic methodology (1993). And the editor of two compilations of essays that have become highly influential to the shaping of the field: The economic world view: studies in the ontology of economics (2001), and Fact and fiction in economics: realism, models, and social construction (2002). (shrink)

There has been a growing trend to include non-causal models in accounts of scientific explanation. A worry addressed in this paper is that without a higher threshold for explanation there are no tools for distinguishing between models that provide genuine explanations and those that provide merely potential explanations. To remedy this, a condition is introduced that extends a veridicality requirement to models that are empirically underdetermined, highly-idealised, or otherwise non-causal. This condition is applied to models of electroweak symmetry breaking (...) beyond the Standard Model. (shrink)

A difficult problem for contractualists is how to provide an interpretation of the contractual situation that is both subject to appropriately stringent constraints and yet also appropriately sensitive to certain features of us as we actually are. My suggestion is that we should embrace a model of contractualism that is structurally analogous to the “advice model” of the ideal observer theory famously proposed by Michael Smith (1994; 1995). An advice model of contractualism is appealing since it promises (...) to deliver a straightforward solution to the so-called “conditional fallacy.” But it faces some formidable challenges. On the face of it, it seems to be straightforwardly conceptually incoherent. And it seems to deliver a solution to the conditional fallacy at the cost of being vulnerable to what I shall call “the concessional fallacy.” I shall consider how, if at all, these challenges are to be met. I shall then conclude by considering what this might mean for the so-called “ideal/non-ideal theory” issue. (shrink)

Consensus in the contemporary philosophical literature has it that conserved quantity theories of causation such as that of Dowe [2000]—according to which causation is to be analysed in terms of the exchange of conserved quantities (e.g., energy)—face damning problems when confronted with contemporary physics, where the notion of conservation becomes delicate. In particular, in general relativity it is often claimed that there simply are no conservation laws for (say) total-stress energy. If this claim is correct, it is difficult to see (...) how conserved quantity theories of causation could survive. In this article, we resist the above consensus and defend conserved quantity theories from this conclusion, at least when focusing on the apparent problems posed by general relativity. We argue that this approach to causation can continue to be defended in general relativity, once one appreciates (a) the availability of approximate symmetries in generic general relativistic spacetimes, and (b) the role of modelling and idealisation in that theory. Given these points, conserved quantity theories of causation must stand or fall on other grounds. (shrink)

This paper explores the question of what logic is not. It argues against the wide spread assumptions that logic is: a model of reason; a model of correct reason; the laws of thought, or indeed is related to reason at all such that the essential nature of the two are crucially or essentially co-illustrative. I note that due to such assumptions, our current understanding of the nature of logic itself is thoroughly entangled with the nature of reason. I (...) show that most arguments for the presence of any sort of essential re- lationship between logic and reason face intractable problems and demands, and fall well short of addressing them. These arguments include those for the notion that logic is normative for reason (or that logic and correct reason are in some way the same thing), that logic is some sort of description of correct reason and that logic is an abstracted or idealised version of correct reason. A strong version of logical realism is put forward as an alternative view, and is briefly explored. (shrink)

Studies on difficulties in understanding scientific terms have shown that the problem is more serious among non-Western learners. The main reasons for this are the learners' pre-existing knowledge of scientific terms, their native language incommensurability with Western languages, and the polysemy of the words used to denote scientific concepts. The current study is an analysis of the conceptualisation of scientific concepts in two culturally different languages, i.e. Arabic and French, which represent a non-Western language and a Western language respectively. Physics (...) concepts which are considered as some of the most challenging concepts for non-Western languages (Loo 2005; Aranador 2005) were selected for analysis. To this end, the terms that refer to two physics concepts, "weight" and "mass" in Arabic وَزْن (wazn) and كُتْلَة (kutla) and in French poids and masse were semantically analysed. The analysis of the concepts in both languages is informed by the prototype theory by Rosch (1973; 1975), idealised cognitive models (ICMs) by Lakoff (1987), and conceptual metaphor and conceptual metonymy by Lakoff and Johnson (2003). The data for analysis were retrieved from two comparable Arabic and French corpora, namely the ArabiCorpus and the Concordancier-Corpus Français. The results suggest that there are both similarities and differences between the Arabic and French concepts in terms of meanings, prototypes, and metaphorical as well as metonymic semantic extensions. These findings support the argument that the human conceptual system is related to our environmental and cultural experiences and also importantly, validate previous claims on the need for educators to be cognizant of the culturally relevant meanings of scientific words found in everyday language that may impede learners' understanding of scientific concepts. (shrink)

In General Relativity, the terms ‘reference frame’ and ‘coordinate system’ must be distinguished. The former refers to physical systems that are dynamically coupled with the gravitational field, aside from possible approximations, while the latter refers to a set of mathematical variables that are representative artefacts. This necessary distinction is lost in pre-general relativistic physics, where we can choose as a reference frame a system of real physical objects that is not affected and cannot affect the physical system under consideration. Therefore, (...) we can make it coincide with a coordinate system without the need for approximations. We propose a a novel three-fold distinction between three types of reference frames, considered as material systems. In particular, we discern between Idealised Reference Frames, Dynamical Reference Frames and Real Reference Frames, depending on their increasing physical role in the total dynamics. Using a Bianchi I model in Minisuperspace, we give a cosmological example of the use of a gravitational Dynamical Reference Frame, namely a reference frame constructed with gravitational degrees of freedom in the standard case where the gravitational stress-energy tensor is not defined in the Einstein field equations. We also analyse the role of active and passive diffeomorphisms in changing a reference frame. (shrink)

As with terms such as “human rights”, “democracy”, and “equality”, the notion of “freedom” has an emblematic character with highly normative overtones. After the declaration of universal human rights, one might argue that freedom is – at least formally – a universal entitlement belonging to every human being. However, this universalist structure is built upon a conflictual foundation, as the juridico-political meaning of freedom is determined by the boundaries of national citizenship, statehood, and territorial sovereignty. This chapter examines refugeehood as (...) a normal by-product of the post-colonial world order, embodying the counter-history of nation-states whose internal borders, walls, and external fortifications are growingly being militarised and reinforced. Refugeehood represents an anomalous juridico-political condition that cannot be elucidated by colonial-racial binaries such as inclusion versus exclusion or rightlessness versus national citizenship. The central idea of this chapter is that, for refugees, the meaning of freedom and unfreedom are intertwined and should be approached as a dynamic relationship characterising the state of (non)-subjectivity. As political (non)-subjects, refugees call structural determinations of unfreedom into question. Refugees’ freedom is expressed in the act of flight and border crossing, irregular migratory movement, language games of resistance, and other emancipatory signifying practices by which they claim a place of refuge in the world. (shrink)

Michael Strevens’s book Depth is a great achievement.1 To say anything interesting, useful and true about explanation requires taking on fundamental issues in the metaphysics and epistemology of science. So this book not only tells us a lot about scientific explanation, it has a lot to say about causation, lawhood, probability and the relation between the physical and the special sciences. It should be read by anyone interested in any of those questions, which includes presumably the vast majority of readers (...) of this journal. One of its many virtues is that it lets us see more clearly what questions about explanation, causation, lawhood and so on need answering, and frames those questions in perspicuous ways. I’m going to focus on one of these questions, what I’ll call the Goldilocks problem. As it turns out, I’m not going to agree with all the details of Strevens’s answer to this problem, though I suspect that something like his answer is right. At least, I hope something like his answer is right; if it isn’t, I’m not sure where else we can look. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

Science and fiction seem to lie at opposite ends of the cognitive-epistemic spectrum. The former is typically seen as the study of hard, real-world facts in a rigorous manner. The latter is treated as an instrument of play and recreation, dealing in figments of the imagination. Initial appearances notwithstanding, several central features of scientific modeling in fact suggest a close connection with the imagination and recent philosophers have developed detailed accounts of models that treat them, in one way or another, (...) as akin to fictions. This chapter will critically discuss the fictions approach as an epistemology of scientific modeling. (shrink)

This paper provides a general introduction to the use of causal models in the metaphysics of causation, specifically structural equation models and directed acyclic graphs. It reviews the formal framework, lays out a method of interpretation capable of representing different underlying metaphysical relations, and describes the use of these models in analyzing causation.

This paper addresses the question of what constitutes an apt interpreted model for the purpose of analyzing causation. I first collect universally adopted aptness principles into a basic account, flagging open questions and choice points along the way. I then explore various additional aptness principles that have been proposed in the literature but have not been widely adopted, the motivations behind their proposals, and the concerns with each that stand in the way of universal adoption. I conclude that the (...) remaining work of articulating aptness for a SEM analysis of causation is tied up with issue to do with modality, ontology, and mereology. Continuing this work is therefore likely to shed light on the relationship between these areas and causation more generally. (shrink)

Intuitively, science progresses from truth to truth. A glance at history quickly reveals that this idea is mistaken. We often learn from scientific theories that turned out to be false. This chapter focuses on a different challenge: Idealisations are deliberately and ubiquitously used in science. Scientists thus work with assumptions that are known to be false. Any account of scientific progress needs to account for this widely accepted scientific practice. It is examined how the four dominant accounts—the problem-solving account, the (...) truthlikeness account, the epistemic account, and the noetic account—can cope with the challenge from idealisation, with an eye on indispensable idealisations. One upshot is that, on all accounts, idealisations can promote progress. Only some accounts allow them to constitute progress. (shrink)

The juxtaposition of models of God and Christian faith may seem repugnant to many, as models are tentative and faith aims at an abiding certainty. In fact, for many Christians, using models of God in worship amounts to idolatry. By examining Biblical and extra-Biblical views of idolatry, I argue that models are not idols. To the contrary, the practice of God-modeling inoculates Christians against one of the most seductive idols of our age: the love of certainty. Furthermore, by examining meditations (...) upon certainty in Melville’s Moby Dick and the early discourses of the Buddha, I suggest that overweening conviction is a vice that hinders rather than guarantees Christian discipleship, and that Christian faith is better defined as any or all of the following: relative confidence in propositions, faithful relationship, and a virtue of disciplined credulity. (shrink)

How does our language relate to reality? This is a question that is especially pertinent in set theory, where we seem to talk of large infinite entities. Based on an analogy with the use of models in the natural sciences, we argue for a threefold correspondence between our language, models, and reality. We argue that so conceived, the existence of models can be underwritten by a weak notion of existence, where weak existence is to be understood as existing in virtue (...) of language. (shrink)

One might be inclined to assume, given the mouse donning its cover, that the behavior of interest in Nicole Nelson's book Model Behavior (2018) is that of organisms like mice that are widely used as “stand-ins” for investigating the causes of human behavior. Instead, Nelson's ethnographic study focuses on the strategies adopted by a community of rodent behavioral researchers to identify and respond to epistemic challenges they face in using mice as models to understand the causes of disordered human (...) behaviors associated with mental illness. Although Nelson never explicitly describes the knowledge production activities in which her behavioral geneticist research subjects engage as “exemplary”, the question of whether or not these activities constitute “model behavior(s)”—generalizable norms for engaging in scientific research—is one of the many thought-provoking questions raised by her book. As a philosopher of science interested in this question, I take it up here. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target (...) sets of models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

"Semantic dispositionalism" is the theory that a speaker's meaning something by a given linguistic symbol is determined by her dispositions to use the symbol in a certain way. According to an objection by Kripke, further elaborated in Kusch :156–163, 2005), semantic dispositionalism involves ceteris paribus-clauses and idealisations, such as unbounded memory, that deviate from standard scientific methodology. I argue that Kusch misrepresents both ceteris paribus-laws and idealisation, neither of which factually "approximate" the behaviour of agents or the course of events, (...) but, rather, identify and isolate nature's component parts and processes. An analysis of current results in cognitive psychology vindicates the idealisations involved and certain counterfactual assumptions in science generally. In particular, results suggest that there can be causal continuity between the dispositional structure of actual objects and that of highly idealised objects. I conclude by suggesting that we can assimilate ceteris paribus-laws with disposition ascriptions insofar as they involve identical idealising assumptions. (shrink)

Models as Make-Believe offers a new approach to scientific modelling by looking to an unlikely source of inspiration: the dolls and toy trucks of children's games of make-believe.

Should models of consciousness be detailed _mechanistic_ models of particular types of systems, or should they be _minimal_ models that abstract away from the underlying mechanistic details and provide generalisations? Detailed mechanistic models may afford a complete and precise account of consciousness in human beings and other, physiologically similar mammals. But they do not provide a good model of consciousness in other animals, such as non-vertebrates, let alone artificial systems. Minimal models can be applicable to a wide range of (...) different conscious systems. But do they provide genuine explanations that are autonomous from explanations by detailed mechanistic models? This paper provides a taxonomy of minimal models and measures of consciousness, clarifies their relation to detailed mechanistic models, and highlights benefits of different minimalist approaches to consciousness. (shrink)

Batterman and Rice ([2014]) argue that minimal models possess explanatory power that cannot be captured by what they call ‘common features’ approaches to explanation. Minimal models are explanatory, according to Batterman and Rice, not in virtue of accurately representing relevant features, but in virtue of answering three questions that provide a ‘story about why large classes of features are irrelevant to the explanandum phenomenon’ ([2014], p. 356). In this article, I argue, first, that a method (the renormalization group) they propose (...) to answer the three questions cannot answer them, at least not by itself. Second, I argue that answers to the three questions are unnecessary to account for the explanatoriness of their minimal models. Finally, I argue that a common features account, what I call the ‘generalized ontic conception of explanation’, can capture the explanatoriness of minimal models. (shrink)

Despite an enormous philosophical literature on models in science, surprisingly little has been written about data models and how they are constructed. In this paper, I examine the case of how paleodiversity data models are constructed from the fossil data. In particular, I show how paleontologists are using various model-based techniques to correct the data. Drawing on this research, I argue for the following related theses: first, the ‘purity’ of a data model is not a measure of its (...) epistemic reliability. Instead it is the fidelity of the data that matters. Second, the fidelity of a data model in capturing the signal of interest is a matter of degree. Third, the fidelity of a data model can be improved ‘vicariously’, such as through the use of post hoc model-based correction techniques. And, fourth, data models, like theoretical models, should be assessed as adequate for particular purposes. (shrink)

Detailed examinations of scientific practice have revealed that the use of idealized models in the sciences is pervasive. These models play a central role in not only the investigation and prediction of phenomena, but in their received scientific explanations as well. This has led philosophers of science to begin revising the traditional philosophical accounts of scientific explanation in order to make sense of this practice. These new model-based accounts of scientific explanation, however, raise a number of key questions: Can (...) the fictions and falsehoods inherent in the modeling practice do real explanatory work? Do some highly abstract and mathematical models exhibit a noncausal form of scientific explanation? How can one distinguish an exploratory "how-possibly" model explanation from a genuine "how-actually" model explanation? Do modelers face tradeoffs such that a model that is optimized for yielding explanatory insight, for example, might fail to be the most predictively accurate, and vice versa? This chapter explores the various answers that have been given to these questions. (shrink)

I provide a theory of causation within the causal modeling framework. In contrast to most of its predecessors, this theory is model-invariant in the following sense: if the theory says that C caused (didn't cause) E in a causal model, M, then it will continue to say that C caused (didn't cause) E once we've removed an inessential variable from M. I suggest that, if this theory is true, then we should understand a cause as something which transmits (...) deviant or non-inertial behavior to its effect. (shrink)

In this paper I propose an account of representation for scientific models based on Kendall Walton’s ‘make-believe’ theory of representation in art. I first set out the problem of scientific representation and respond to a recent argument due to Craig Callender and Jonathan Cohen, which aims to show that the problem may be easily dismissed. I then introduce my account of models as props in games of make-believe and show how it offers a solution to the problem. Finally, I demonstrate (...) an important advantage my account has over other theories of scientific representation. All existing theories analyse scientific representation in terms of relations, such as similarity or denotation. By contrast, my account does not take representation in modelling to be essentially relational. For this reason, it can accommodate a group of models often ignored in discussions of scientific representation, namely models which are representational but which represent no actual object. (shrink)

Although some previous studies have investigated the relationship between moral foundations and moral judgment development, the methods used have not been able to fully explore the relationship. In the present study, we used Bayesian Model Averaging (BMA) in order to address the limitations in traditional regression methods that have been used previously. Results showed consistency with previous findings that binding foundations are negatively correlated with post-conventional moral reasoning and positively correlated with maintaining norms and personal interest schemas. In addition (...) to previous studies, our results showed a positive correlation for individualizing foundations and post-conventional moral reasoning. Implications are discussed as well as a detailed explanation of the novel BMA method in order to allow others in the field of moral education to be able to use it in their own studies. (shrink)

The introspective devices framework proposed by Kammerer and Frankish (this issue) offers an attractive conceptual tool for evaluating and developing accounts of introspection. However, the framework assumes that different views about the nature of introspection can be easily evaluated against a set of common criteria. In this paper, I set out to test this assumption by analysing two formal models of introspection using the introspective device framework. The question I aim to answer is not only whether models developed outside of (...) philosophy can be successfully evaluated against the set of conceptual criteria proposed by Kammerer and Frankish, but also whether this kind of evaluation can reveal some limitations inherent to the framework. (shrink)

In a recent special issue dedicated to Dani Rodrik’s (2015) influential monograph Economics Rules, Grüne-Yanoff and Marchionni (2018) raise a potentially damning problem for Rodrik’s suggestion that progress in economics should be understood and measured laterally, by a continuous expansion of new models. They argue that this could lead to an “embarrassment of riches”, i.e. the rapid expansion of our model library to such an extent that we become unable to choose between the available models, and thus needs to (...) be solved to make ‘model pluralism’ viable. Drawing on Veit’s (2019a) ‘model pluralism’ account, this paper argues that model pluralism as a thesis about the relationship between science and nature undermines the very idea of a general model selection framework for policy making. (shrink)