This article discusses minimal model explanations, which we argue are distinct from various causal, mechanical, difference-making, and so on, strategies prominent in the philosophical literature. We contend that what accounts for the explanatory power of these models is not that they have certain features in common with real systems. Rather, the models are explanatory because of a story about why a class of systems will all display the same large-scale behavior because the details that distinguish them are irrelevant. This story (...) explains patterns across extremely diverse systems and shows how minimal models can be used to understand real systems. (shrink)

Completeness is an important but misunderstood norm of explanation. It has recently been argued that mechanistic accounts of scientific explanation are committed to the thesis that models are complete only if they describe everything about a mechanism and, as a corollary, that incomplete models are always improved by adding more details. If so, mechanistic accounts are at odds with the obvious and important role of abstraction in scientific modelling. We respond to this characterization of the mechanist’s views about abstraction and (...) articulate norms of completeness for mechanistic explanations that have no such unwanted implications. _1_ Introduction _2_ A Balancing Act: When Do Details Matter? _3_ The Norms of Causal Explanation _4_ The Norms of Constitutive Explanation _5_ Salmon-Completeness _6_ From More Details to More Relevant Details _7_ Non-explanatory Virtues of Abstraction _8_ From Explanatory Models to Explanatory Knowledge _9_ Mechanistic Completeness Reconsidered _10_ Conclusion. (shrink)

This is the first in a series of instalments aiming at a minimal model explanation for conscious experience, taking the phenomenal character of “pure consciousness” or “pure awareness” in meditation as its entry point. It develops the concept of “minimal phenomenal experience” as a candidate for the simplest form of consciousness, substantiating it by extracting six semantic constraints from the existing literature and using sixteen phenomenological case-studies to incrementally flesh out the new working concept. One empirical hypothesis is that the (...) phenomenological prototype of “pure awareness”, to which all such reports refer, really is the content of a predictive model, namely, a Bayesian representation of tonic alertness. On a more abstract conceptual level, it can be described as a model of an unpartitioned epistemic space. (shrink)

The central aim of this paper is to shed light on the nature of explanation in computational neuroscience. I argue that computational models in this domain possess explanatory force to the extent that they describe the mechanisms responsible for producing a given phenomenon—paralleling how other mechanistic models explain. Conceiving computational explanation as a species of mechanistic explanation affords an important distinction between computational models that play genuine explanatory roles and those that merely provide accurate descriptions or predictions of phenomena. It (...) also serves to clarify the pattern of model refinement and elaboration undertaken by computational neuroscientists. (shrink)

A prominent approach to scientific explanation and modeling claims that for a model to provide an explanation it must accurately represent at least some of the actual causes in the event's causal history. In this paper, I argue that many optimality explanations present a serious challenge to this causal approach. I contend that many optimality models provide highly idealized equilibrium explanations that do not accurately represent the causes of their target system. Furthermore, in many contexts, it is in virtue of (...) their independence of causes that optimality models are able to provide a better explanation than competing causal models. Consequently, our account of explanation and modeling must expand beyond the causal approach. (shrink)

This paper examines the role of mathematical idealization in describing and explaining various features of the world. It examines two cases: first, briefly, the modeling of shock formation using the idealization of the continuum. Second, and in more detail, the breaking of droplets from the points of view of both analytic fluid mechanics and molecular dynamical simulations at the nano-level. It argues that the continuum idealizations are explanatorily ineliminable and that a full understanding of certain physical phenomena cannot be obtained (...) through completely detailed, non-idealized representations. (shrink)

I defend an account of explanatory depth according to which explanations in the non-fundamental sciences can be deeper than explanations in fundamental physics.

Recent discussions of emergence in physics have focussed on the use of limiting relations, and often particularly on singular or asymptotic limits. We discuss a putative example of emergence that does not fit into this narrative: the case of phonons. These quasi-particles have some claim to be emergent, not least because the way in which they relate to the underlying crystal is almost precisely analogous to the way in which quantum particles relate to the underlying quantum field theory. But there (...) is no need to take a limit when moving from a crystal lattice based description to the phonon description. Not only does this demonstrate that we can have emergence without limits, but also provides a way of understanding cases that do involve limits. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (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)

The Elephant and the Blind is a book about why we need a new culture of consciousness, and how to get it. A culture of consciousness (or Bewusstseinskultur) is a culture that values and cultivates the mental states of its members in an ethical and evidence-based way.

Kaplan and Craver claim that all explanations in neuroscience appeal to mechanisms. They extend this view to the use of mathematical models in neuroscience and propose a constraint such models must meet in order to be explanatory. I analyze a mathematical model used to provide explanations in dynamical systems neuroscience and indicate how this explanation cannot be accommodated by the mechanist framework. I argue that this explanation is well characterized by Batterman’s account of minimal model explanations and that it demonstrates (...) how relationships between explanatory models in neuroscience and the systems they represent is more complex than has been appreciated. (shrink)

The epistemic conception of scientific progress equates progress with accumulation of scientific knowledge. I argue that the epistemic conception fails to fully capture scientific progress: theoretical progress, in particular, can transcend scientific knowledge in important ways. Sometimes theoretical progress can be a matter of new theories ‘latching better onto unobservable reality’ in a way that need not be a matter of new knowledge. Recognising this further dimension of theoretical progress is particularly significant for understanding scientific realism, since realism is naturally (...) construed as the claim that science makes theoretical progress. Some prominent realist positions are best understood in terms of commitment to theoretical progress that cannot be equated with accumulation of scientific knowledge. (shrink)

Several modern accounts of explanation acknowledge the importance of abstraction and idealization for our explanatory practice. However, once we allow a role for abstraction, questions remain. I ask whether the relation between explanations at different theoretical levels should be thought of wholly in terms of abstraction, and argue that changes of the quantities in terms of which we describe a system can lead to novel explanations that are not merely abstractions of some more detailed picture. I use the example of (...) phase transitions as described by statistical mechanics and thermodynamics to illustrate this, and to demonstrate some details of the relationship between abstraction, idealization, and novel explanation. (shrink)

In the last 20 years or so, since the publication of a seminal paper by Watts and Strogatz :440–442, 1998), an interest in topological explanations has spread like a wild fire over many areas of science, e.g. ecology, evolutionary biology, medicine, and cognitive neuroscience. The topological approach is still very young by all standards, and even within special sciences it still doesn’t have a single methodological programme that is applicable across all areas of science. That is why this special issue (...) is important as a first systematic philosophical study of topological explanations and their relation to a well understood and widespread explanatory strategy, such as mechanistic one. (shrink)

There is a vast literature within philosophy of mind that focuses on artificial intelligence, but hardly mentions methodological questions. There is also a growing body of work in philosophy of science about modeling methodology that hardly mentions examples from cognitive science. Here these discussions are connected. Insights developed in the philosophy of science literature about the importance of idealization provide a way of understanding the neural implausibility of connectionist networks. Insights from neurocognitive science illuminate how relevant similarities between models and (...) targets are picked out, how modeling inferences are justified, and the metaphysical status of models. (shrink)

The epistemic conception of scientific progress equates progress with accumulation of scientific knowledge. I argue that the epistemic conception fails to fully capture scientific progress: theoretical progress, in particular, can transcend scientific knowledge in important ways. Sometimes theoretical progress can be a matter of new theories ‘latching better onto unobservable reality’ in a way that need not be a matter of new knowledge. Recognising this further dimension of theoretical progress is particularly significant for understanding scientific realism, since realism is naturally (...) construed as the claim that science makes theoretical progress. Some prominent realist positions are best understood in terms of commitment to theoretical progress that cannot be equated with accumulation of scientific knowledge. (shrink)

In its broadest sense, "universality" is a technical term for something quite ordinary. It refers to the existence of patterns of behavior by physical systems that recur and repeat despite the fact that in some sense the situations in which these patterns recur and repeat are different. Rainbows, for example, always exhibit the same pattern of spacings and intensities of their bows despite the fact that the rain showers are different on each occasion. They are different because the shapes of (...) the drops, and their sizes can vary quite widely due to differences in temperature, wind direction, etc. There are different questions one might ask about such patterns. For instance, one might ask why the particular rainbow... (shrink)

Philosophers of science have developed several accounts of how consideration of scientific models can prompt learning about real-world targets. In recent years, various authors advocated the thesis that consideration of so-called minimal models can prompt learning about such targets. In this paper, I draw on the philosophical literature on scientific modelling and on widely cited illustrations from economics and biology to argue that this thesis fails to withstand scrutiny. More specifically, I criticize leading proponents of such thesis for failing to (...) explicate in virtue of what properties or features minimal models supposedly prompt learning and for substantially overstating the epistemic import of minimal models. I then examine and refute several arguments one may put forward to demonstrate that consideration of minimal models can prompt learning about real-world targets. In doing so, I illustrate the implications of my critique for the wider debate on the epistemology of scientific modelling. (shrink)

This paper addresses issues surrounding the concept of geometric phase or "anholonomy". Certain physical phenomena apparently require for their explanation and understanding, reference to toplogocial/geometric features of some abstract space of parameters. These issues are related to the question of how gauge structures are to be interpreted and whether or not the debate over their "reality" is really going to be fruitful.

This paper analyses the anti-reductionist argument from renormalisation group explanations of universality, and shows how it can be rebutted if one assumes that the explanation in question is captured by the counterfactual dependence account of explanation.

We offer a framework for organizing the literature regarding the debates revolving around infinite idealizations in science, and a short summary of the contributions to this special issue.

Philosophy of ecology has been slow to become established as an area of philosophical interest, but it is now receiving considerable attention. This area holds great promise for the advancement of both ecology and the philosophy of science. Insights from the philosophy of science can advance ecology in a number of ways. For example, philosophy can assist with the development of improved models of ecological hypothesis testing and theory choice. Philosophy can also help ecologists understand the role and limitations of (...) mathematical models in ecology. On the other side, philosophy of science will be advanced by having ecological case studies as part of the stock of examples. Ecological case studies can shed light on old philosophical topics as well as raise novel issues for the philosophy of science. For example, understanding theoretical terms such as “biodiversity” is important for scientific reasons, but such terms also carry political importance. Formulating appropriate definitions for such terms is thus not a purely scientific matter, and this may prompt a reevaluation of philosophical accounts of defining theoretical terms. We consider some of the topics currently receiving attention in the philosophy of ecology and other topics in need of attention. Our aim is to prompt further exchange between ecology and philosophy of science and to help set the agenda for future work in the philosophy of ecology. The topics covered include: the role of mathematical models, environmental problem formulation, biodiversity, and environmental ethics. (shrink)

Interest in the computational aspects of modeling has been steadily growing in philosophy of science. This paper aims to advance the discussion by articulating the way in which modeling and computational errors are related and by explaining the significance of error management strategies for the rational reconstruction of scientific practice. To this end, we first characterize the role and nature of modeling error in relation to a recipe for model construction known as Euler’s recipe. We then describe a general model (...) that allows us to assess the quality of numerical solutions in terms of measures of computational errors that are completely interpretable in terms of modeling error. Finally, we emphasize that this type of error analysis involves forms of perturbation analysis that go beyond the basic model-theoretical and statistical/probabilistic tools typically used to characterize the scientific method; this demands that we revise and complement our reconstructive toolbox in a way that can affect our normative image of science. (shrink)

Epistemic accounts of scientific collaboration usually assume that, one way or another, two heads really are more than twice better than one. We show that this hypothesis is unduly strong. We present a deliberately crude model with unfavorable hypotheses. We show that, even then, when the priority rule is applied, large differences in successfulness can emerge from small differences in efficiency, with sometimes increasing marginal returns. We emphasize that success is sensitive to the structure of competing communities. Our results suggest (...) that purely epistemic explanations of the efficiency of collaborations are less plausible but have much more powerful socioepistemic versions. (shrink)

This essay develops an inferential account of model explanation, based on Mauricio Suárez’s inferential conception of scientific representation and Alisa Bokulich’s counterfactual account of model explanation. It is suggested that the fact that a scientific model can explain is essentially linked to how a modeler uses an established model to make various inferences about the target system on the basis of results derived from the model. The inference practice is understood as a two-step activity, with the first step involving making (...) counterfactual statements about the model itself and the second step involving making hypothetical statements transferring over claims derived from the model onto the target. To illustrate how this two-step activity proceeds, an agent-based simulation model is discussed. (shrink)

A common view in the philosophy of mind and philosophy of psychology is that there is an ideally correct way of categorizing the structures and operations of the mind, and that the goal of neuroscience and psychology is to find this correct categorizational scheme. Categories which cannot find a place within this correct framework ought to be eliminated from scientific practice. In this paper, I argue that this general idea runs counter to productive scientific practices. Such a view ignores the (...) plurality of aims and goals that neuroscientists and psychologists have in studying mental phenomena, and the necessity of employing distinct classificatory frameworks to achieve them. (shrink)

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

Traditionally, a scientific model is thought to provide a good scientific explanation to the extent that it satisfies certain scientific goals that are thought to be constitutive of explanation. Problems arise when we realize that individual scientific models cannot simultaneously satisfy all the scientific goals typically associated with explanation. A given model’s ability to satisfy some goals must always come at the expense of satisfying others. This has resulted in philosophical disputes regarding which of these goals are in fact necessary (...) for explanation, and as such which types of models can and cannot provide explanations. Explanatory monists argue that one goal will be explanatory in all contexts, while explanatory pluralists argue that the goal will vary based on pragmatic considerations. In this paper, I argue that such debates are misguided, and that both monists and pluralists are incorrect. Instead of any goal being given explanatory priority over others in a given context, the different goals are all deeply dependent on one another for their explanatory power. Any model that sacrifices some explanatory goals to attain others will always necessarily undermine its own explanatory power in the process. And so when forced to choose between individual scientific models, there can be no explanatory victors. Given that no model can satisfy all the goals typically associated with explanation, no one model in isolation can provide a good scientific explanation. Instead we must appeal to collections of models. Collections of models provide an explanation when they satisfy the web of interconnected goals that justify the explanatory power of one another. (shrink)

Recent work by Robert Batterman and Alexander Rueger has brought attention to cases in physics in which governing laws at the base level “break down” and singular limit relations obtain between base- and upper-level theories. As a result, they claim, these are cases with emergent upper-level properties. This paper contends that this inference—from singular limits to explanatory failure, novelty or irreducibility, and then to emergence—is mistaken. The van der Pol nonlinear oscillator is used to show that there can be a (...) full explanation of upper-level properties entirely in base-level terms even when singular limits are present. Whether upper-level properties are emergent depends not on the presence of a singular limit but rather on details of the ampliative approximation methods used. The paper suggests that focusing on explanatory deficiency at the base level is key to understanding emergence in physics. (shrink)

In this article, we offer a detailed study of two important episodes in the early history of high-energy physics, namely the development of the Chew and the Nambu-Jona-Lasinio models. Our study reveals that both models resulted from the combination of an old Hamiltonian, which had been introduced by earlier researchers, and two new approximation methods developed by Chew and by Nambu and Jona-Lasinio. These new approximation methods, furthermore, were the key component behind the models’ success. We take this historical investigation (...) to support two philosophical theses about the manner in which scientific modelling operates in high-energy physics. Both of these theses run counter to a view that is commonly accepted among philosophers of science: the view that all approximations can be embedded within an equivalent idealized system, and that whatever role the former might play in scientific modelling is therefore parasitic on the much more substantial work performed by the latter. Our first thesis, which we call “Distinctness,” states that approximation methods constitute an independent category of theoretical output from idealized systems. We thus believe that approximations and idealized systems constitute two independent types of objects, both of which are essential to the practice of modelling. Our second, more radical thesis is called “Content Determination.” Our claim here is that approximation methods can in fact be essential to assigning determinate physical content to the idealized systems with which they jointly operate. As we show, this is due to the fact that quantum field theory allows for a very thin characterization of idealized systems only, making the use of approximations necessary to supply additional content. We conclude the paper with a few reflections about the manner in which our two theses can be used to articulate David Kaiser’s views on the “vanishing of scientific theory” in physics after WWII. (shrink)

This paper discusses the alleged reduction of Thermodynamics to Statistical Mechanics. It includes an historical discussion of J. Willard Gibbs' famous caution concerning the connections between thermodynamic properties and statistical mechanical properties---his so-called ``Thermodynamic Analogies.'' The reasons for Gibbs' caution are reconsidered in light of relatively recent work in statistical physics on the existence of the thermodynamic limit and the explanation of critical behavior using the renormalization group apparatus. A probabilistic understanding of the renormalization group arguments allows for a kind (...) of unification of Gibbs' approach with contemporary understanding of the reduction problem. (shrink)

This article examines the issue of whether consideration of so-called minimal models can prompt learning about real-world targets. Using a widely cited example as a test case, it argues against the increasingly popular view that consideration of minimal models can prompt learning about such targets. The article criticizes influential defenses of this view for failing to explicate by virtue of what properties or features minimal models supposedly prompt learning. It then argues that consideration of minimal models cannot prompt learning about (...) real-world targets unless one supplements these models with additional information or presuppositions concerning such targets. (shrink)

Marc Lange has recently raised three objections to the account of minimal model explanations offered by Robert Batterman and Collin Rice. In this article, I suggest that these objections are misguided. I suggest that the objections raised by Lange stem from a misunderstanding of the what it is that minimal model explanations seek to explain. This misunderstanding, I argue, consists in Lange’s seeing minimal model explanations as relating special types of models to particular target systems rather than seeing minimal model (...) explanations as looking to explain robust patterns of behavior that are exhibited by a variety of physically diverse systems. (shrink)

The focus in the literature on scientific explanation has shifted in recent years towards model-based approaches. In recent work, Alisa Bokulich has argued that idealization has a central role to play in explanation. Bokulich claims that certain highly-idealized, structural models can be explanatory, even though they are not considered explanatory by causal, mechanistic, or covering law accounts of explanation. This paper focuses on Bokulich’s account in order to make the more general claim that there are problems with maintaining that a (...) structural criterion can capture the way that highly-idealized models explain. This paper examines Bokulich’s claim that the structural model explanation of quantum wavefunction scarring, featuring semiclassical mechanics, is deeper than the explanation provided by the local quantum model. The challenge for Bokulich is to show that the semiclassical model answers a wider range of w-questions, as this is her method of assessing structural information. I look at two reasonable approaches employing w-questions, and I argue that neither approach is ultimately satisfactory. Because structural similarity has preferences for more fundamental models, I argue that the local quantum model provides explanations that at least as deep as the semiclassical ones. The criterion either wrongly identifies all models as explanatory, or prefers models from fundamental theory. Either way, it cannot capture the way that highly-idealized models explain. (shrink)

Large changes of financial market prices without exogenous causes deviate significantly from the Gaussian behavior of random variables. This indicates that financial markets should be treated as complex systems, for which nonlinear interactions of its subunits/agents are crucial. I focus on how the complex systems perspective impacts the notion of explanations in economics. The mechanistic model seems to fit the bill, but problems surface on closer scrutiny. One characteristic of complex systems is that their behavior is surprisingly independent from microscopic (...) details. Thus, mechanistic explanations in the microreductionist manner seem unavailable. Despite these conflicts, I defend a modified structural mechanistic approach. (shrink)

This paper argues that a successful philosophical analysis of models and simulations must accommodate an account of mathematically rigorous results. Such rigorous results may be thought of as genuinely model-specific contributions, which can neither be deduced from fundamental theory nor inferred from empirical data. Rigorous results provide new indirect ways of assessing the success of models and simulations and are crucial to understanding the connections between different models. This is most obvious in cases where rigorous results map different models on (...) to one another. Not only does this put constraints on the extent to which performance in specific empirical contexts may be regarded as the main touchstone of success in scientific modelling, it also allows for the transfer of warrant across different models. Mathematically rigorous results can thus come to be seen as not only strengthening the cohesion between scientific strategies of modelling and simulation, but also as offering new ways of indirect confirmation. (shrink)

In this article, I argue that the use of scientific models that attribute intentional content to complex systems bears a striking similarity to the way in which statistical descriptions are used. To demonstrate this, I compare and contrast an intentional model with a statistical model, and argue that key similarities between the two give us compelling reasons to consider both as a type of phenomenological model. I then demonstrate how intentional descriptions play an important role in scientific methodology as a (...) type of phenomenal model, and argue that this makes them as essential as any other model of this type. (shrink)

This paper defends the thesis of learning from non-causal models: viz. that the study of some model can prompt justified changes in one’s confidence in empirical hypotheses about a real-world target in the absence of any known or predicted similarity between model and target with regards to their causal features. Recognizing that we can learn from non-causal models matters not only to our understanding of past scientific achievements, but also to contemporary debates in the philosophy of science. At one end (...) of the philosophical spectrum, my thesis undermines the views of those who, like Cartwright (Erkenntnis 70:45–58, 2009), follow Hesse (Models and Analogies in Science, Notre Dame, University of Notre Dame Press, 1963) in restricting the possibility of learning from models to only those situations where a model identifies some causal factors present in the target. At the other end of the spectrum, my thesis also helps undermine some extremely permissive positions, e.g., Grüne-Yanoff’s (Erkenntnis 70(1):81–99, 2009, Philos Sci 80(5): 850–861, 2013) claim that learning from a model is possible even in the absence of any similarity at all between model and target. The thesis that we can learn from non-causal models offers a cautious middle ground between these two extremes. (shrink)

This paper is aimed at identifying how a model’s explanatory power is constructed and identified, particularly in the practice of template-based modeling (Humphreys, Philos Sci 69:1–11, 2002; Extending ourselves: computational science, empiricism, and scientific method, 2004), and what kinds of explanations models constructed in this way can provide. In particular, this paper offers an account of non-causal structural explanation that forms an alternative to causal–mechanical accounts of model explanation that are currently popular in philosophy of biology and cognitive science. Clearly, (...) defences of non-causal explanation are far from new (e.g. Batterman, Br J Philos Sci 53:21–38, 2002a; The devil in the details: asymptotic reasoning in explanation, reduction, and emergence, 2002b; Pincock, Noûs 41:253–275, 2007; Mathematics and scientific representation 2012; Rice, Noûs. doi:10.1111/nous.12042, 2013; Biol Philos 27:685–703, 2012), so the targets here are focused on a particular type of robust phenomenon and how strong invariance to interventions can block a range of causal explanations. By focusing on a common form of model construction, the paper also ties functional or computational style explanations found in cognitive science and biology more firmly with explanatory practices across model-based science in general. (shrink)

We argue that two powerful error-theoretic concepts provide a general framework that satisfactorily accounts for key aspects of the explanation of physical patterns. This method gives an objective criterion to determine which mathematical models in a class of neighboring models are just as good as the exact one. The method also emphasizes that abstraction is essential for explanation and provides a precise conceptual framework that determines whether a given abstraction is explanatorily relevant and justified. Hence, it increases our epistemological understanding (...) of how one should go about reconstructing scientific practices by making clear that, at a fundamental level, a key aspect of mathematical modeling consists in exactly solving nearby problems. (shrink)

This article attempts to address the problem of the applicability of mathematics in physics by considering the (narrower) question of what make the so-called special functions of mathematical physics special. It surveys a number of answers to this question and argues that neither simple pragmatic answers, nor purely mathematical classificatory schemes are sufficient. What is required is some connection between the world and the way investigators are forced to represent the world.

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)

Mathematical idealizations are scientific representations that result from assumptions that are believed to be false, and where mathematics plays a crucial role. I propose a two stage account of how to rank mathematical idealizations that is largely inspired by the semantic view of scientific theories. The paper concludes by considering how this approach to idealization allows for a limited form of scientific realism. ‡I would like to thank Robert Batterman, Gabriele Contessa, Eric Hiddleston, Nicholaos Jones, and Susan Vineberg for helpful (...) discussions and encouragement. †To contact the author, please write to: Department of Philosophy, Beering Hall, Purdue University, 100 N. University Street, West Lafayette, IN 47907-2098; e-mail: [email protected]. (shrink)

This paper addresses concerns raised recently by Datteri (Biol Philos 24:301–324, 2009) and Craver (Philos Sci 77(5):840–851, 2010) about the use of brain-extending prosthetics in experimental neuroscience. Since the operation of the implant induces plastic changes in neural circuits, it is reasonable to worry that operational knowledge of the hybrid system will not be an accurate basis for generalisation when modelling the unextended brain. I argue, however, that Datteri’s no-plasticity constraint unwittingly rules out numerous experimental paradigms in behavioural and systems (...) neuroscience which also elicit neural plasticity. Furthermore, I propose that Datteri and Craver’s arguments concerning the limitations of prosthetic modelling in basic neuroscience, as opposed to neuroengineering, rests on too narrow a view of the ways models in neuroscience should be evaluated, and that a more pluralist approach is needed. I distinguish organisational validity of models from mechanistic validity. I argue that while prosthetic models may be deficient in the latter of these explanatory virtues because of neuroplasticity, they excel in the former since organisational validity tracks the extent to which a model captures coding principles that are invariant with plasticity. Changing the brain, I conclude, is one viable route towards explaining the brain. (shrink)

This paper describes a class of idealized models that illuminate minimal conditions for inequity. Some such models will track the actual causal factors that generate real world inequity. Others may not. Whether or not these models do track these real-world factors is irrelevant to the epistemic role they play in showing that minimal commonplace factors are enough to generate inequity. In such cases, it is the fact that the model does not fit the world that makes it a particularly powerful (...) argumentative tool. As I will argue, this epistemic role is a particularly important one when it comes to modeling inequity, because such models are often also aimed at interventions to stop it. Given this, it is crucial to know if we intervene on the current causes of inequity, what other, common social factors might continue to contribute to it. (shrink)

ABSTRACTIn this paper I offer an interventionist perspective on the explanatory structure and explanatory power of dynamical models in cognitive science: I argue that some “pure” dynamical models – ones that do not refer to mechanisms at all – in cognitive science are “contextualized causal models” and that this explanatory structure gives such models genuine explanatory power. I contrast this view with several other perspectives on the explanatory power of “pure” dynamical models. One of the main results is that dynamical (...) models need not refer to underlying mechanisms in order to be explanatory. I defend and illustrate this position in terms of dynamical models of the A-not-B error in developmental psychology as elaborated by Thelen and colleagues, and dynamical models of unintentional interpersonal coordination developed by Richardson and colleagues. (shrink)

This paper addresses the recent resurgence of Nagel style reduction in the philosophical literature. In particular, it considers the so-called multiple realizability objection to reductionism presented most forcefully by Sober in 1999. It is argued that this objection misses the point of multiple realizability and that there remain serious problems for reductionist methodologies in science.