This thesis develops a detailed account of the emergence of for all practical purposes continuous, quasi-classical world histories from the discontinuous, stochastic micro dynamics of Minimal Bohmian Mechanics (MBM). MBM is a non-relativistic quantum theory. It results from excising the guiding equation from standard Bohmian Mechanics (BM) and reinterpreting the quantum equilibrium hypothesis as a stochastic guidance law for the random actualization of configurations of Bohmian particles. On MBM, there are no continuous trajectories linking up individual configurations. Instead, individual configurations (...) are actualized independently of each other, carving out the decoherence-induced branching structure of the universal wave function. Yet, by contrast to the Everett interpretation, branches of the universal wave function are not actualized in parallel, i.e. all at the same time. Rather, world branches, on MBM, are actualized sequentially. -/- For an introduction to MBM, the transition from BM to MBM is described, and their empirical equivalence is established. I present the conditions under which MBM can be classified as a primitive ontology (PO) theory, regarded as crucial for the acceptance of a theory as Bohmian by many proponents of BM. While rendering MBM compatible with the PO approach, it must not fall prey to the problem of communication, arising from the two-space reading of BM. -/- The issue of temporal solipsism, identified by Bell as a serious problem for his “Everett (?) theory” – the historic predecessor of MBM – is discussed. I argue that Barbour’s time capsule approach does not provide a satisfactory solution. In particular, his adopting a more than minimal psychophysical parallelism between brain processes and experience of macroscopic change is argued to be reasonable in light of our current best neuroscience, yet problematic for theories relying solely on time capsules, understood as highly structured, individual, internally static configurations. As a solution, I introduce worlds, and world histories, as key concepts in providing a link between MBM’s micro dynamics and macroscopic phenomena. Worlds, other than time capsules, are coarse-grained regions in phase- or configuration space, defined as sets of possible micro states satisfying a relation of sufficient similarity from a macroscopic perspective, with respect to a given micro state. Hence, worlds may overlap. -/- I argue that worlds thus construed are a reasonable option for replacing the disjoint macro regions of phase space, resulting from the usual way of partitioning phase space in the standard framework of Boltzmannian statistical mechanics. This move solves the issue of discontinuous change of macro variables upon the micro state crossing the boundary between different macro regions. -/- I adapt this move for MBM’s discontinuous micro dynamics in configuration space. Issues revolving around the microscopic-macroscopic distinction, particle identity, impenetrability and haecceity in light of the desideratum of particle number conservation, etc., are discussed. I provide a detailed explanation of how overlapping worlds in MBM form world histories, thereby linking up macroscopically distinct worlds. Thus, the problem of temporal solipsism is resolved in a way that is compatible with a more than minimal psychophysical parallelism. (shrink)

These preprints were automatically compiled into a PDF from the collection of papers deposited in PhilSci-Archive in conjunction with the PSA 2018.

At the beginning of the 20th century, Gestalt psychologists put forward the concept of psychoneural isomorphism, which was meant to replace Fechner’s obscure notion of psychophysical parallelism and provide a heuristics that may facilitate the search for the neural correlates of the mind. However, the concept has generated much confusion in the debate, and today its role is still unclear. In this contribution, I will attempt a little conceptual spadework in clarifying the concept of psychoneural isomorphism, focusing exclusively on conscious (...) visual perceptual experience and its neural correlates. Firstly, I will outline the history of our concept, and its alleged metaphysical and epistemic roles. Then, I will clarify the nature of isomorphism and rule out its metaphysical role. Finally, I will review some epistemic roles of our concept, zooming in on the work of Jean Petitot, and suggest that it does not play a relevant heuristic role. I conclude suggesting that psychoneural isomorphism might be an indicator of robustness for certain mathematical descriptions of perceptual content. (shrink)

Ecological-enactive approaches to cognition aim to explain cognition in terms of the dynamic coupling between agent and environment. Accordingly, cognition of one’s immediate environment (which is sometimes labeled “basic” cognition) depends on enaction and the picking up of affordances. However, ecological-enactive views supposedly fail to account for what is sometimes called “higher” cognition, i.e., cognition about potentially absent targets, which therefore can only be explained by postulating representational content. This challenge levelled against ecological-enactive approaches highlights a putative explanatory gap between (...) basic and higher cognition. In this paper, we examine scientific cognition—a paradigmatic case of higher cognition—and argue that it shares fundamental features with basic cognition, for enaction and affordance selection are central to the scientific enterprise. Our argument focuses on modeling, and on how models promote scientific understanding. We base our argument on a non-representational account of scientific understanding and on the material engagement theory, for models are hereby conceived as material objects designed for scientific engagements. Having done so, we conclude that the explanatory gap is significantly less threatening to the ecological-enactive approach than it might appear. (shrink)

This paper constitutes a radical departure from the existing philosophical literature on models, modeling-practices, and model-based science. I argue that the various entities and practices called 'models' and 'modeling-practices' are too diverse, too context-sensitive, and serve too many scientific purposes and roles, as to allow for a general philosophical analysis. From this recognition an alternative view emerges that I shall dub model anarchism.

The paper presents, and discusses, four candidate explanations of the structure, and construction, of the bees’ honeycomb. So far, philosophers have used one of these four explanations, based on the mathematical Honeycomb Conjecture, while the other three candidate explanations have been ignored. I use the four cases to resolve a dispute between Pincock and Baker about the Honeycomb Conjecture explanation. Finally, I find that the two explanations focusing on the construction mechanism are more promising than those focusing exclusively on the (...) resulting, optimal structure. The main reason for this is that optimal structures do not uniquely determine the relevant optimization leading to the optimal structure. (shrink)

I argue that Darwinian evolutionary theory has a rhetorical dimension and that rhetorical criticism plays a role in how evolutionary science acquires knowledge. I define what I mean by rhetoric by considering Darwin’s Origin. I use the Modern Evolutionary Synthesis to show how rhetoric conceived as situated and addressed argumentation enters into evolutionary theorizing. Finally, I argue that rhetorical criticism helps judge the success, limits, and failures of these theories.

This thesis attempts to justify a normative role for methodology by sketching a pragmatic way out of the dichotomy between two major strands in economic methodology: empiricism and postmodernism. I discuss several methodological approaches and assess their aptness for theory appraisal in economics. I begin with the most common views on methodology and argue why they are each ill-suited for giving methodological prescriptions to economics. Then, I consider positions that avoid the errors of empiricism and postmodernism. I specifically examine why (...) the two major strands of methodological criticism fail to give helpful methodological advice to economists and sketch out a pragmatic approach that can do this. (shrink)

Life-science phenomena are often explained by specifying the mechanisms that bring them about. The new mechanistic philosophers have done much to substantiate this claim and to provide us with a better understanding of what mechanisms are and how they explain. Although there is disagreement among current mechanists on various issues, they share a common core position and a seeming commitment to some form of scientific realism. But is such a commitment necessary? Is it the best way to go about mechanistic (...) explanation? In this article, we propose an alternative antirealist account that also fits explanatory practice in the life sciences. We pay special attention to mechanistic models, i.e. scientific models that involve a mechanism, and to the role of coherence considerations in building such models. To illustrate our points, we consider the mechanism for the action potential. 1 Introduction2 Some Core Features of Mechanistic Explanation3 Scientific Realism and Mechanistic Explanation4 Antirealist Mechanistic Explanation: The Case of the Action Potential5 Some Outstanding Issues for the Antirealist Mechanist6 Two Problems for the Realist Mechanist7 Conclusions. (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 use of physical models of molecular structures as research tools has been central to the development of biochemistry and molecular biology. Intriguingly, it has received little attention from scholars of science. In this paper, I argue that these physical models are not mere three-dimensional representations but that they are in fact very special research tools: they are cognitive augmentations. Despite the fact that they are external props, these models serve as cognitive tools that augment and extend the modeler’s cognitive (...) capacities and performance in molecular modeling tasks. This cognitive enhancement is obtained because of the way the modeler interacts with these models, the models’ materiality contributing to the solving of the molecule’s structure. Furthermore, I argue that these material models and their component parts were designed, built and used specifically to serve as cognitive facilitators and cognitive augmentations. (shrink)

This paper aims at extending the notion of thing knowledge put forth by Davis Baird. His Thing Knowledge (Baird 2004) proposes that scientific instruments constitute scientific knowledge and that to conceive scientific instruments as such brings about a new and better understanding of scientific development. By insisting on what “truth does for us,” Baird shows that the functional properties of truth are shared by the common scientific instrument. The traditional definition of knowledge as justified true belief would only apply to (...) scientific instrumentation if we were to reject the subjective (and intentional) aspect of it, viz. belief. In consequence, Baird insists that scientific instruments can be seen only as a kind of objective knowledge, that is knowledge maintained by the scientific community but not individually by a given scientist. In this paper, I will argue for a conception of subjective thing knowledge according to which some scientific instruments (especially material models) can be understood as justified true beliefs. By combining Davis Baird’s thing knowledge and Clark and Chalmers’ hypothesis of extended cognition, I will show that it is possible to derive an analysis of material models as cognitive augmentation of the scientist's mind, and that such scientific instruments are to be understood as a material form of subjective knowledge, i.e. as external-to-the-brain justified true beliefs. (shrink)

The symmetries of a physical theory are often associated with two things: conservation laws and representational redundancies. But how can a physical theory's symmetries give rise to interesting conservation laws, if symmetries are transformations that correspond to no genuine physical difference? In this article, I argue for a disambiguation in the notion of symmetry. The central distinction is between what I call "analytic" and "synthetic" symmetries, so called because of an analogy with analytic and synthetic propositions. "Analytic" symmetries are the (...) turning of idle wheels in a theory's formalism, and correspond to no physical change; "synthetic" symmetries cover all the rest. I argue that analytic symmetries are distinguished because they act as fixed points or constraints in any interpretation of a theory, and as such are akin to Poincaré's conventions or Reichenbach's 'axioms of co-ordination', or 'relativized constitutive a priori principles'. (shrink)

In the context of astrophysical modeling at the solar system scale, we investigate the modalities implied by taking into account different levels of detail at which phenomena can be considered. In particular, by framing the analysis in terms of the how-possibly/how-actually distinction, we address the debated question as to whether the degree of plausibility is tightly linked to the degree of detail. On the grounds of concrete examples, we argue that, also in the astrophysical context examined, this is not necessarily (...) the case. (shrink)

Inductive reasoning aims at constructing rules and models of general applicability from a restricted set of observations. Induction is a keystone in natural sciences, and it influences diverse application fields such as engineering, medicine and economics. More generally, induction plays a major role in the way humans learn and operate in their everyday life. The level of reliability that a model achieves depends on how informative the observations are relative to the flexibility of the process by which the model is (...) constructed. When the process is articulated so that the model can incorporate descriptive details and subtleties, a large set of informative observations are required to reliably tune the model, whereas models obtained from simple procedures can be tuned with fewer observations. This article introduces the concept of “dominance”, which refers to the situation in which a reduced subset of observations suffices to reconstruct the model. A mathematical framework is presented to quantify the reliability of learning procedures as a function of the size of the subset of dominant observations. Although limited in scope, we believe that our study can contribute to the understanding of some fundamental mechanisms by which knowledge is generated from observations in inductive reasoning. (shrink)

Although “theory” has been the prevalent unit of analysis in the meta-study of science throughout most of the twentieth century, the concept remains elusive. I further explore the leitmotiv of several authors in this issue: that we should deal with theorizing (rather than theory) in biology as a cognitive activity that is to be investigated naturalistically. I first contrast how philosophers and biologists have tended to think about theory in the last century or so, and consider recent calls to upgrade (...) the role of theory in the life sciences against the background of the recent “data deluge” in molecular biology, systems biology, etc. I then review thinking about theory in biology in relation to physical theory as a positive or negative exemplar. I conclude by discussing various aspects of a positive program for “naturalizing theorizing.”. (shrink)

In this introduction we discuss the motivation behind the workshop “Towards a New Epistemology of Mathematics” of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.

We introduce ‘model migration’ as a species of cross-disciplinary knowledge transfer whereby the representational function of a model is radically changed to allow application to a new disciplinary context. Controversies and confusions that often derive from this phenomenon will be illustrated in the context of econophysics and phylogeographic linguistics. Migration can be usefully contrasted with concept of ‘imperialism’, that has been influentially discussed in the context of geographical economics. In particular, imperialism, unlike migration, relies upon extension of the original model (...) via an expansion of the domain of phenomena it is taken to adequately described. The success of imperialism thus requires expansion of the justificatory sanctioning of the original idealising assumptions to a new disciplinary context. Contrastingly, successful migration involves the radical representational re-interpretation of the original model, rather than its extension. Migration thus requires ‘re-sanctioning’ of new ‘counterpart idealisations’ to allow application to an entirely different class of phenomena. Whereas legitimate scientific imperialism should be based on the pursuit of some form of ontological unification, no such requirement is need to legitimate the practice of model migration. The distinction between migration and imperialism will thus be shown to have significant normative as well as descriptive value. (shrink)

The purpose of this article is to develop an epistemology of scientific models in scientific research practices, and to show that disciplinary perspectives have crucial role in such an epistemology. A transcendental approach is taken, aimed at explanations of the kinds of questions relevant to the intended epistemology, such as “How is it possible that models provide knowledge about aspects of reality?” The approach is also pragmatic in the sense that the questions and explanations must be adequate and relevant to (...) concrete scientific practice. First it is explained why the idea of models as representations in terms of similarity or isomorphism between a model and its target is too limited as a basis for this epistemology. An important finding is that the target-phenomenon is usually not something that can be observed in a straightforward manner, but requires both characterization in terms of measurable variables and subsumption under concepts. The loss of this basis leads to a number of issues, such as: how can models be interpreted as representations if models also include conceptually meaningful linguistic content; how can researchers identify non-observable real-world target-phenomena that are then represented in the model; how do models enable inferential reasoning in performing epistemic tasks by researchers; and, how to justify scientific models. My proposal is to deal with these issues by analyzing how models are constructed, rather than by looking at ready-made models. Based on this analysis, I claim that the identification of phenomena and the construction of scientific models is guided and also confined by the disciplinary perspective within which researchers in a scientific discipline have learned to work. I propose a Kuhnian framework by which the disciplinary perspective can be systematically articulated. Finally, I argue that harmful forms of subjectivism, due to the loss of the belief that models objectively represent aspects of reality, can be overcome by making the disciplinary perspective in a research project explicit, thereby enabling its critical assessment, for which the proposed Kuhnian framework provides a tool. (shrink)

While the predominant focus of the philosophical literature on scientific modeling has been on single-scale models, most systems in nature exhibit complex multiscale behavior, requiring new modeling methods. This challenge of modeling phenomena across a vast range of spatial and temporal scales has been called the tyranny of scales problem. Drawing on research in the geosciences, I synthesize and analyze a number of strategies for taming this tyranny in the context of conceptual, physical, and mathematical modeling. This includes several strategies (...) that can be deployed in physical modeling, even when strict dynamical scaling fails. In all cases, I argue that having an adequate conceptual model—given both the nature of the system and the particular purpose of the model—is essential. I draw a distinction between depiction and representation, and use this research in the geosciences to advance a number of debates in the philosophy of modeling. (shrink)

We critically engage two traditional views of scientific data and outline a novel philosophical view that we call the pragmatic-representational view of data. On the PR view, data are representations that are the product of a process of inquiry, and they should be evaluated in terms of their adequacy or fitness for particular purposes. Some important implications of the PR view for data assessment, related to misrepresentation, context-sensitivity, and complementary use, are highlighted. The PR view provides insight into the common (...) but little-discussed practices of iteratively reusing and repurposing data, which result in many datasets’ having a phylogeny—an origin and complex evolutionary history—that is relevant to their evaluation and future use. We relate these insights to the open-data and data-rescue movements, and highlight several future avenues of research that build on the PR view of data. (shrink)

Computer simulations are involved in numerous branches of modern science, and science would not be the same without them. Yet the question of how they can explain real-world processes remains an issue of considerable debate. In this context, a range of authors have highlighted the inferences back to the world that computer simulations allow us to draw. I will first characterize the precise relation between computer and target of a simulation that allows us to draw such inferences. I then argue (...) that in a range of scientifically interesting cases they are particular abductions and defend this claim by appeal to two case studies. (shrink)

There are realist and antirealist interpretations of the free energy principle (FEP). This paper aims to chart out a structural realist interpretation of FEP. To do so, it draws on Worrall’s (Dialectica 43(1–2): 99–124, 1989) proposal. The general insight of Worrall’s paper is that there is progress at the level of the structure of theories rather than their content. To enact Worrall’s strategy in the context of FEP, this paper will focus on characterising the formal continuity between fundamental equations of (...) thermodynamics—such as Boltzmann’s equation and Gibbs’s equation—on the one hand, and Friston’s characterisation of FEP on the other. Lack of a universal consensus on the physical character of entities that feature in thermodynamics, information theory and FEP notwithstanding, I argue that there is structural continuity and unity at the level of mathematical equations that regiment entropy, information and free energy. The existence of such structural continuity and unity provides grounds for structural realism about FEP. (shrink)

N. Bostrom’s simulation argument and two additional assumptions imply that we likely live in a computer simulation. The argument is based upon the following assumption about the workings of realistic brain simulations: The hardware of a computer on which a brain simulation is run bears a close analogy to the brain itself. To inquire whether this is so, I analyze how computer simulations trace processes in their targets. I describe simulations as fictional, mathematical, pictorial, and material models. Even though the (...) computer hardware does provide a material model of the target, this does not suffice to underwrite the simulation argument because the ways in which parts of the computer hardware interact during simulations do not resemble the ways in which neurons interact in the brain. Further, there are computer simulations of all kinds of systems, and it would be unreasonable to infer that some computers display consciousness just because they simulate brains rather than, say, galaxies. (shrink)

We argue that explainable artificial intelligence (XAI), specifically reason-giving XAI, often constitutes the most suitable way of ensuring that someone can properly be held responsible for decisions that are based on the outputs of artificial intelligent (AI) systems. We first show that, to close moral responsibility gaps (Matthias 2004), often a human in the loop is needed who is directly responsible for particular AI-supported decisions. Second, we appeal to the epistemic condition on moral responsibility to argue that, in order to (...) be responsible for her decision, the human in the loop has to have an explanation available of the system’s recommendation. Reason explanations are especially well-suited to this end and we examine whether – and how – it might be possible to make such explanations fit with AI systems. We support our claims by focusing on a case of disagreement between human in the loop and AI system. (shrink)

Soon after the 2008 financial crisis, Gillian Tett, an anthropologist and the US Managing Editor of the Financial Times, suggested that regulators’ and practitioners’ inability to anticipate and respond to deep problems in the financial industry could be traced back to what she called “silo thinking,” wherein experts in one area know nothing about the methods and research of other areas. As she put it, “the essential challenges for investors today…”—and, we might add, for regulators and academics—is “to understand the (...) micro-details of the silos, and see how all the macro-pieces add up”.In years since, many researchers in many fields have sought to identify causes of the... (shrink)

Many decades ago Patrick Suppes argued rather convincingly that theoretical hypotheses are not confronted with the direct, raw results of an experiment, rather, they are typically compared with models of data. What exactly is a data model however? And how do the interactions of particles at the subatomic scale give rise to the huge volumes of data that are then moulded into a polished data model? The aim of this paper is to answer these questions by presenting a detailed case (...) study of the construction of data models at the LHCb for testing Lepton Flavour Universality in rare decays of B-mesons. The close examination of the scientific practice at the LHCb leads to the following four main conclusions: raw data in their pure form are practically useless for the comparison of experimental results with theory, and processed data are in some cases epistemically more reliable, real and simulated data are involved in the co-production of the final data model and cannot be easily distinguished, theory-ladenness emerges at three different levels depending on the scope and the purpose for which background theory guides the overall experimental process and the overall process of acquiring and analysing data in high energy physics is too complicated to be fully captured by a generic methodological description of the experimental practice. (shrink)

This paper aims to identify the key characteristics of model organisms that make them a specific type of model within the contemporary life sciences: in particular, we argue that the term “model organism” does not apply to all organisms used for the purposes of experimental research. We explore the differences between experimental and model organisms in terms of their material and epistemic features, and argue that it is essential to distinguish between their representational scope and representational target. We also examine (...) the characteristics of the communities who use these two types of models, including their research goals, disciplinary affiliations, and preferred practices to show how these have contributed to the conceptualization of a model organism. We conclude that model organisms are a specific subgroup of organisms that have been standardized to fit an integrative and comparative mode of research, and that it must be clearly distinguished from the broader class of experimental organisms. In addition, we argue that model organisms are the key components of a unique and distinctively biological way of doing research using models.Keywords: Experimental organism; Genetics; Model organism; Modeling; Philosophy of biology; Representation. (shrink)

Model checking, a prominent formal method used to predict and explain the behaviour of software and hardware systems, is examined on the basis of reflective work in the philosophy of science concerning the ontology of scientific theories and model-based reasoning. The empirical theories of computational systems that model checking techniques enable one to build are identified, in the light of the semantic conception of scientific theories, with families of models that are interconnected by simulation relations. And the mappings between these (...) scientific theories and computational systems in their scope are analyzed in terms of suitable specializations of the notions of model of experiment and model of data. Furthermore, the extensively mechanized character of model-based reasoning in model checking is highlighted by a comparison with proof procedures adopted by other formal methods in computer science. Finally, potential epistemic benefits flowing from the application of model checking in other areas of scientific inquiry are emphasized in the context of computer simulation studies of biological information processing. (shrink)

Questions concerning the epistemological status of computer science are, in this paper, answered from the point of view of the formal verification framework. State space reduction techniques adopted to simplify computational models in model checking are analysed in terms of Aristotelian abstractions and Galilean idealizations characterizing the inquiry of empirical systems. Methodological considerations drawn here are employed to argue in favour of the scientific understanding of computer science as a discipline. Specifically, reduced models gained by Dataion are acknowledged as Aristotelian (...) abstractions that include only data which are sufficient to examine the interested executions. The present study highlights how the need to maximize incompatible properties is at the basis of both Abstraction Refinement, the process of generating a cascade of computational models to achieve a balance between simplicity and informativeness, and the Multiple Model Idealization approach in biology. Finally, fairness constraints, imposed to computational models to allow fair behaviours only, are defined as ceteris paribus conditions under which temporal formulas, formalizing software requirements, acquire the status of law-like statements about the software systems executions. (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)

In the recent literature on causal and non-causal scientific explanations, there is an intuitive assumption according to which an explanation is non-causal by virtue of being abstract. In this context, to be ‘abstract’ means that the explanans in question leaves out many or almost all causal microphysical details of the target system. After motivating this assumption, we argue that the abstractness assumption, in placing the abstract and the causal character of an explanation in tension, is misguided in ways that are (...) independent of which view of causation or causal explanation one takes to be most accurate. On major accounts of causation, as well as on major accounts of causal explanation, the abstractness of an explanation is not sufficient for it being non-causal. That is, explanations are not non-causal by dint of being abstract. (shrink)

The abstract individual is a model that represents real human beings in moral and political philosophy. It occupies a central role in individualist theories such as political liberalism and mainstream Western medical ethics. This article presents two methodological standards for assessing competing models. Taken together, the standards form an objective yardstick against which different constructions of the abstract individual can be evaluated. Thereby, the article introduces a new level of abstraction, and a new set of normative principles, to individualist moral (...) and political philosophy which facilitates reliable moral judgments between different models of human beings. (shrink)

The debate between critics of syntactic and semantic approaches to the formalization of scientific theories has been going on for over 50 years. I structure the debate in light of a recent exchange between Hans Halvorson, Clark Glymour, and Bas van Fraassen and argue that the only remaining disagreement concerns the alleged difference in the dependence of syntactic and semantic approaches on languages of predicate logic. This difference turns out to be illusory.

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)

Hájek (Erkenntnis 70(2):211–235, 2009) argues that probabilities cannot be the limits of relative frequencies in counterfactual infinite sequences. I argue for a different understanding of these limits, drawing on Norton’s (Philos Sci 79(2):207–232, 2012) distinction between approximations (inexact descriptions of a target) and idealizations (separate models that bear analogies to the target). Then, I adapt Hájek’s arguments to this new context. These arguments provide excellent reasons not to use hypothetical frequencies as idealizations, but no reason not to use them as (...) approximations. (shrink)

Policymakers who seek to make scientifically informed decisions are constantly confronted by scientific uncertainty and expert disagreement. This thesis asks: how can policymakers rationally respond to expert disagreement and scientific uncertainty? This is a work of non-ideal theory, which applies formal philosophical tools developed by ideal theorists to more realistic cases of policymaking under scientific uncertainty. I start with Bayesian approaches to expert testimony and the problem of expert disagreement, arguing that two popular approaches— supra-Bayesianism and the standard model of (...) expert deference—are insufficient. I develop a novel model of expert deference and show how it can deal with many of these problems raised for them. I then turn to opinion pooling, a popular method for dealing with disagreement. I show that various theoretical motivations for pooling functions are irrelevant to realistic policymaking cases. This leads to a cautious recommendation of linear pooling. However, I then show that any pooling method relies on value judgements, that are hidden in the selection of the scoring rule. My focus then narrows to a more specific case of scientific uncertainty: multiple models of the same system. I introduce a particular case study involving hurricane models developed to support insurance decision-making. I recapitulate my analysis of opinion pooling in the context of model ensembles, confirming that my hesitations apply. This motivates a shift of perspective, to viewing the problem as a decision theoretic one. I rework a recently developed ambiguity theory, called the confidence approach, to take input from model ensembles. I show how it facilitates the resolution of the policymaker’s problem in a way that avoids the issues encountered in previous chapters. This concludes my main study of the problem of expert disagreement. In the final chapter, I turn to methodological reflection. I argue that philosophers who employ the mathematical methods of the prior chapters are modelling. Employing results from the philosophy of scientific models, I develop the theory of normative modelling. I argue that it has important methodological conclusions for the practice of formal epistemology, ruling out popular moves such as searching for counterexamples. (shrink)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

Philosophers have recently paid more attention to the physical aspects of scientific models. The attention is motivated by the prospect that a model’s physical features strongly affect its use and that this suggests re-thinking modelling in terms of extended or distributed cognition. This paper investigates two ways in which physical features of scientific models affect their use and it asks whether modelling is an instance of extended cognition. I approach these topics with a historical case study, in which scientists kept (...) records not only of their findings, but also of some the mental operations that generated the findings. The case study shows how scientists can employ a physical model as an external information store, which allows alternating between mental manipulations, recording the outcome externally, and then feeding the outcome back into subsequent mental manipulations. The case study also demonstrates that a models’ physical nature allows replacing explicit reasoning with visuospatial manipulations. I argue, furthermore, that physical modelling does not need to exemplify a strong kind of extended cognition, the sort for which external features are mereological parts of cognition. It can exemplify a weaker kind, instead. (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)

Science continually contributes new models and rethinks old ones. The way inferences are made is constantly being re-evaluated. The practice and achievements of science are both shaped by this process, so it is important to understand how models and inferences are made. But, despite the relevance of models and inference in scientific practice, these concepts still remain contro-versial in many respects. The attempt to understand the ways models and infer-ences are made basically opens two roads. The first one is to (...) produce an analy-sis of the role that models and inferences play in science. The second one is to produce an analysis of the way models and inferences are constructed, especial-ly in the light of what science tells us about our cognitive abilities. The papers collected in this volume go both ways. (shrink)

Models are a principle instrument of modern science. They are built, applied, tested, compared, revised and interpreted in an expansive scientific literature. Throughout this paper, I will argue that models are also a valuable tool for the philosopher of science. In particular, I will discuss how the methodology of Bayesian Networks can elucidate two central problems in the philosophy of science. The first thesis I will explore is the variety-of-evidence thesis, which argues that the more varied the supporting evidence, the (...) greater the degree of confirmation for a given hypothesis. However, when investigated using Bayesian methodology, this thesis turns out not to be sacrosanct. In fact, under certain conditions, a hypothesis receives more confirmation from evidence that is obtained from one rather than more instruments, and from evidence that confirms one rather than more testable consequences of the hypothesis. The second challenge that I will investigate is scientific theory change. This application highlights a different virtue of modeling methodology. In particular, I will argue that Bayesian modeling illustrates how two seemingly unrelated aspects of theory change, namely the (Kuhnian) stability of (normal) science and the ability of anomalies to over turn that stability and lead to theory change, are in fact united by a single underlying principle, in this case, coherence. In the end, I will argue that these two examples bring out some metatheoretical reflections regarding the following questions: What are the differences between modeling in science and modeling in philosophy? What is the scope of the modeling method in philosophy? And what does this imply for our understanding of Bayesianism? (shrink)

Digital Twins are conceptualised in the academic technical discourse as real-time realistic digital representations of physical entities. Originating from product engineering, the Digital Twin quickly advanced into other fields, including the life sciences and earth sciences. Digital Twins are seen by the tech sector as the new promising tool for efficiency and optimisation, while governmental agencies see it as a fruitful means for improving decision-making to meet sustainability goals. A striking example of the latter is the European Commission who wishes (...) to delegate a significant role to Digital Twins in addressing climate change and supporting Green Deal policy. As Digital Twins give rise to high expectations, ambitions, and are being entrusted important societal roles, it is crucial to critically reflect on the nature of Digital Twins. In this article, we therefore philosophically reflect on Digital Twins by critically analysing dominant conceptualisations, the assumptions underlying them, and their normative implications. We dissect the concept and argue that a Digital Twin does not merely fulfil the role of being a representation, but is in fact a steering technique used to direct a physical entity towards certain goals by means of multiple representations. Currently, this steering seems mainly fuelled by a reductionist approach focused on efficiency and optimisation. However, this is not the only direction from which a Digital Twin can be thought and, consequently, designed and deployed. We therefore set an agenda based on a critical understanding of Digital Twins that helps to draw out their beneficial potential, while addressing their potential issues. (shrink)

Why did such highly abstract ideas as truth, knowledge, or justice become so important to us? What was the point of coming to think in these terms? This book presents a philosophical method designed to answer such questions: the method of pragmatic genealogy. Pragmatic genealogies are partly fictional, partly historical narratives exploring what might have driven us to develop certain ideas in order to discover what these do for us. The book uncovers an under-appreciated tradition of pragmatic genealogy which cuts (...) across the analytic-continental divide, running from the state-of-nature stories of David Hume and the early genealogies of Friedrich Nietzsche to recent work in analytic philosophy by Edward Craig, Bernard Williams, and Miranda Fricker. However, these genealogies combine fictionalizing and historicizing in ways that even philosophers sympathetic to the use of state-of-nature fictions or real history have found puzzling. To make sense of why both fictionalizing and historicizing are called for, the book offers a systematic account of pragmatic genealogies as dynamic models serving to reverse-engineer the points of ideas in relation not only to near-universal human needs, but also to socio-historically situated needs. This allows the method to offer us explanation without reduction and to help us understand what led our ideas to shed the traces of their practical origins. Far from being normatively inert, moreover, pragmatic genealogy can affect the space of reasons, guiding attempts to improve our conceptual repertoire by helping us determine whether and when our ideas are worth having. (shrink)

Os signos e as classes dos signos estão entre os tópicos mais importantes do sistema filosófico de Charles S. Peirce. As 10, 28, e 66 classes de signos são classificações desenvolvidas especialmente a partir de 1903 e representam um grande refinamento da divisão fundamental de signos – ícone, índice, símbolo. Nossa abordagem aqui define uma estratégia de visualização das classificações dos signos, com especial atenção para as 10 e 66 classes de signos. O livro está dividido em duas partes: (i) (...) bases teóricas, (ii) diagramas para as classes de signos. Na Parte I (bases teóricas), são apresentadas introdutoriamente as noções fundamentais das categorias fenomenológicas, classes de signos, as tricotomias e diagramas, assim como implicações gerais de nossa abordagem, metodologia e aplicações. Na Parte II (diagramas para as classes de signos), são apresentados e discutidos os modelos das classes, propostos por Peirce e seus comentadores, incluindo uma introdução detalhadamente documental de nossos modelos, 10cubes e 3N3, diagramas dinâmicos para as classes de signos. (shrink)

The sensorimotor theory of vision and visual consciousness is often described as a radical alternative to the computational and connectionist orthodoxy in the study of visual perception. However, it is far from clear whether the theory represents a significant departure from orthodox approaches or whether it is an enrichment of it. In this study, I tackle this issue by focusing on the explanatory structure of the sensorimotor theory. I argue that the standard formulation of the theory subscribes to the same (...) theses of the dynamical hypothesis and that it affords covering-law explanations. This however exposes the theory to the mere description worry and generates a puzzle about the role of representations. I then argue that the sensorimotor theory is compatible with a mechanistic framework, and show how this can overcome the mere description worry and solve the problem of the explanatory role of representations. By doing so, it will be shown that the theory should be understood as an enrichment of the orthodoxy, rather than an alternative. (shrink)