Idealization

This article argues for an anti-deflationist view of scientific representation. Our discussion begins with an analysis of the recent Callender–Cohen deflationary view on scientific representation. We then argue that there are at least two radically different ways in which a thing can be represented: one is purely symbolic, and therefore conventional, and the other is epistemic. The failure to recognize that scientific models are epistemic vehicles rather than symbolic ones has led to the mistaken view that whatever distinguishes scientific models (...) from other representational vehicles must merely be a matter of pragmatics. It is then argued that even though epistemic vehicles also contain conventional elements, they do their job of demonstration in spite of such elements. (shrink)

The focus in the literature on scientific explanation has shifted in recent years towards modelbased approaches. The idea that there are simple and true laws of nature has met with objections from philosophers such as Nancy Cartwright (1983) and Paul Teller (2001), and this has made a strictly Hempelian D-N style explanation largely irrelevant to the explanatory practices of science (Hempel & Oppenheim, 1948). Much of science does not involve subsuming particular events under laws of nature. It is increasingly recognized (...) that science across the disciplines is to some degree a patchwork of scientific models, with different methods, strategies, and with varying degrees of successful prediction and explanation. And so accounts of scientific explanation have reflected this change of perspective and model-based approaches have flourished in the explanation literature (Batterman, 2002b; Bokulich, 2008; Craver, 2006; Woodward, 2003). (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)

The fact that many scientific models are idealised, and therefore incorporate known falsehoods, seems to undermine the idea that science aims at truth. Various authors have proposed different solutions to this problem: they have claimed that idealisations are harmless because models can be "de-idealised", that the function of idealisations is to isolate explanatory relevant factors, or that idealised models still convey veridical modal information. I argue that even if these strategies succeed in making idealisations compatible with theoretical truth, a deeper (...) problem remains: the fact that idealisations improve the explanatory power of models contradicts the main argument for scientific realism, which is based on the idea that explanatory virtues are truth-conducive. There does not seem to be any simple solution to this problem. (shrink)

A signal development in contemporary physics is the widespread use, in explanatory contexts, of highly idealized models. This paper argues that some highly idealized models in physics have genuine explanatory power, and it extends the explanatory role for such idealizations beyond the scope of previous philosophical work. It focuses on idealizations of nonlinear oscillator systems.

Models of idealistic societies pervade the history of political thought from ancient times to the present. How can these models contribute to our thinking about political life in our non-ideal world? Not, as many political theorists have hoped, by performing a normative function -- by giving us reasons to accept particular political principles for the purpose of regulating our thought and behavior. Even still, idealistic models can sharpen our thinking about politics by performing a conceptual function -- by helping us (...) clarify and interpret the concepts we use to describe and evaluate political behavior and institutions. These insights point to a more incisive and judicious approach to political inquiry, in which explanatory and normative modes of thought are tightly intertwined. (The manuscript is under review. I have uploaded the table of contents, chapters 1 and 2, and the bibliography. Chapter summaries are available from my website.). (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.

In this paper I argue against a deflationist view that as representational vehicles symbols and models do their jobs in essentially the same way. I argue that symbols are conventional vehicles whose chief function is denotation while models are epistemic vehicles whose chief function is showing what their targets are like in the relevant aspects. It is further pointed out that models usually do not rely on similarity or some such relations to relate to their targets. For that referential relation (...) they reply instead on symbols (names and labels) given to them and their parts. And a Goodmanian view on pictures of fictional characters reveals the distinction between symbolic and model representations. (shrink)

In this paper, I begin with a discussion of Giere’s recent work arguing against taking models as works of fiction. I then move on to explore a spectrum of scientific models that goes from the obviously fictional to the not so obviously fictional. And then I discuss the modeling of the unobservable and make a case for the idea that despite difficulties of defining them, unobservable systems are modeled in a fundamentally different way than the observable systems. While idealization and (...) approximation is key to the making of models for the observable systems, they are in fact inoperable, at least not straightforwardly so, regarding models for the unobservable. And because of this point, which is so far neglected in the literature, I speculate that factionalism may have a better chance with models for the unobservable. (shrink)

In this paper we present a new framework of idealization in biology. We characterize idealizations as a network of counterfactual conditionals that can exhibit different degrees of contingency. We use the idea of possible worlds to say that, in departing more or less from the actual world, idealizations can serve numerous epistemic, methodological or heuristic purposes within scientific research. We defend that, in part, it is this structure what helps explain why idealizations, despite being deformations of reality, are so successful (...) in scientific practice. (shrink)

I show how omissions lead to robustness and can justify distortions, and I give inferentially relevant explications of abstraction and idealization. Abstraction is explicated as the omission of all and only those claims that use a specific vocabulary; idealization is explicated as the distortion of only those claims that use a specific vocabulary. With these explications, abstraction can justify idealization. As examples of how abstraction justifies idealization and leads to robustness, I discuss Beauchamp and Childress's four principles of biomedical ethics (...) and the qualitative treatment of the Schrödinger equation. (shrink)

develops themes from the dissertation. I argue that two models of prosopagnosia are best understood as idealizing models, and as such are subject to importantly different methodological constraints from non-idealized theories of face recognition.

In this paper, I shall provide a novel response to the argument from context-sensitivity against truth-conditional semantics. It is often argued that the contextual influences on truth-conditions outstrip the resources of standard truth-conditional accounts, and so truth-conditional semantics rests on a mistake. The argument assumes that truth-conditional semantics is legitimate if and only if natural language sentences have truth-conditions. I shall argue that this assumption is mistaken. Truth-conditional analyses should be viewed as idealised approximations of the complexities of natural language (...) meaning. From this perspective, disparity between the scientific model and its real-world target is to be expected. I elaborate on what such an approach to semantics would look like. (shrink)

Contemporary action theory is generally concerned with giving theories of action ontology. In this paper, we make the novel proposal that the standard view in action theory—the Causal Theory of Action—should be recast as a “model”, akin to the models constructed and investigated by scientists. Such models often consist in fictional, hypothetical, or idealized structures, which are used to represent a target system indirectly via some resemblance relation. We argue that recasting the Causal Theory as a model can not only (...) accomplish the goals of causal theorists, but also give the theory greater flexibility in responding to common objections. (shrink)

Scientific realism is a thesis about the success of science. Most traditionally: science has been so successful at prediction and guiding action because its best theories are true (or approximately true or increasing in their degree of truth). If science is in the business of doing its best to generate true theories, then we should turn to those theories for explanatory knowledge, predictions, and guidance of our actions and decisions. Views that are popular in contemporary philosophy of science about scientific (...) modeling and the centrality of idealization create several challenges for this traditional form of scientific realism. Yet the basic idea behind scientific realism that science has been and will continue to be epistemically successful is deeply appealing. This chapter explores the challenges posed by idealization and scientific modeling to motivate a scientific realism fully divorced from the idea that science is in the business of generating true theories. On the resulting view, the objects of scientific knowledge are causal patterns, so this knowledge only ever provides partial, simplified accounts of a complex reality. This variety of selective realism better accommodates the nature of our present-day scientific successes and offers an interpretation of scientific progress that resists the antirealist’s pessimism. (shrink)

In his chapter in this volume, Christopher Pincock develops an argument for scientific realism based on scientific understanding, and he argues that Giere’s (2006) and my (2017, 2020) commitment to the context-dependence of scientific understanding or knowledge renders our views unable to account for an essential step in how scientists come to know. Meanwhile, in my chapter in this volume, I motivate a view that I call "causal pattern realism." In this response to Pincock's chapter, I will sketch a revised (...) version of Pincock’s argument for realism that is consistent with causal pattern realism. Then I will respond to Pincock’s concern that the context-dependence of understanding on my view would interfere with the scientific community’s ability to extrapolate from specific experimental and observational contexts as needed to develop knowledge. My goal is not to convince anyone to be a causal pattern realist but rather to create the space for such a view, taking into account the concerns motivating Pincock. (shrink)

In this article we argue that idealizations and limiting cases in models play an exploratory role in science. Four senses of exploration are presented: exploration of the structure and representational capacities of theory; proof-of-principle demonstrations; potential explanations; and exploring the suitability of target systems. We illustrate our claims through three case studies, including the Aharonov-Bohm effect, the emergence of anyons and fractional quantum statistics, and the Hubbard model of the Mott phase transitions. We end by reflecting on how our case (...) studies and claims compare to accounts of idealization in the philosophy of science literature such as Michael Weisberg’s three-fold taxonomy. (shrink)

Scientists regularly make possibility claims. While philosophers of science are well aware of the distinction between epistemic and objective notions of possibility, we believe that they often fail to apply this distinction in their analyses of scientific practices that employ modal concepts. We argue that heeding this distinction will help further progress in current debates in the philosophy of science, as it shows that the debaters talk about different things, rather than disagree on the same issue. We first discuss how (...) the two notions differ with respect to their epistemology and show that these differences are sometimes ignored in the philosophy of science. We then revisit four current philosophy of science debates about modelling, that are framed in modal terms, to showcase how the distinction significantly clarifies these debates and thereby and helps advance them. (shrink)

I argue that ML models used in science function as highly idealized toy models. If we treat ML models as a type of highly idealized toy model, then we can deploy standard representational and epistemic strategies from the toy model literature to explain why ML models can still provide epistemic success despite their lack of similarity to their targets.

Maps and mapping raise questions about models and modeling and in science. This chapter archives map discourse in the founding generation of philosophers of science (e.g., Rudolf Carnap, Nelson Goodman, Thomas Kuhn, and Stephen Toulmin) and in the subsequent generation (e.g., Philip Kitcher, Helen Longino, and Bas van Fraassen). In focusing on these two original framing generations of philosophy of science, I intend to remove us from the heat of contemporary discussions of abstraction, representation, and practice of science and thereby (...) see in a more distant and neutral light the many productive ways in which maps can stand in analytically for scientific theories and models. The chapter concludes by complementing the map analogy – i.e., a scientific theory is a map of the world – with a model analogy, viz., a scientific model is a vehicle for understanding. (shrink)

The epistemology of models has to face a conundrum: models are often described as highly idealised, and yet they are considered to be vehicles for scientific explanations. Truth-oriented—veritist—conceptions of explanation seem thereby undermined by this contradiction. In this article, I will show how this apparent paradox can be avoided by appealing to the notion of fiction. If fictionalism is often thought to lead to various flavours of instrumentalism, thereby weakening the veritist hopes, the fiction view of models offers a framework (...) much richer than it seems at first sight. To do so, I will call upon the concepts of modality, counterfactual structure and credible worlds. In the end, veritism of explanation and fiction can indeed go hand in hand, but the scope of explanations we can hope to draw from models must be more precisely delineated. (shrink)

As Nelson Goodman highlighted, there are two main senses of “abstract” that can be found in discussions about abstract art. On the one hand, a representation is abstract if it leaves out certain features of its target. On the other hand, something can be abstract to the extent that it does not represent a concrete subject. The first sense of “abstract” is well-known in philosophy of science. For example, philosophers discuss mathematical models of physical, biological, and economic systems as being (...) abstract in this sense. However, it is the second sense that dominates discussions of abstract art in aesthetics. For example, abstract art was (and is) considered revolutionary precisely for being non-figurative. Through an analysis of artists including Kandinsky, Malevich, and Mondrian, we develop a reading of this second sense, which we call “generative abstraction,” as opposed to “subtractive” abstraction. Generative abstraction is a process in which a new artifact is created which does not represent the initial concrete target system that inspired it (if there was one), where the artifact’s features are explored for their own sake, and where the “language” of the new artifact is in some way more “universal.” Focusing on this sense of abstraction is helpful in revealing the complexity of the process of crafting an abstract artifact, in problematizing the notion that abstraction can always be un-done (or concretized), as well as revealing new ways for abstractions to be epistemically (un)successful. (shrink)

Deep learning (DL) is a statistical technique for pattern classification through which AI researchers train artificial neural networks containing multiple layers that process massive amounts of data. I present a three-level account of explanation that can be reasonably expected from DL models in cognitive neuroscience and that illustrates the explanatory dynamics within a future-biased research program (Feest Philosophy of Science 84:1165–1176, 2017 ; Doerig et al. Nature Reviews: Neuroscience 24:431–450, 2023 ). By relying on the mechanistic framework (Craver Explaining the (...) brain: Mechanisms and the mosaic unity of neuroscience. Clarendon, 2007 ; Stinson Eppuor si muove: Doing history and philosophy of Science with Peter Machamer. Springer, 2017, The Routledge Handbook of the computational mind. Routledge, 2018 ), I develop an account that corresponds to the stages of mechanism discovery, i.e., our shifting epistemic position and epistemic goals, and propose a representative model for each level. Generic, theoretical DL models at _Level 1_ address the general features of a cognitive phenomenon through exploration and provide us with how-possibly explanations. On the other hand, DL models at _Level 2_ either identify the interaction between the features or represent the epistemic stage when the researcher is still unsure if the modeled features are crucial or arbitrary. These models should provide us with how-plausibly explanations. Finally, specific DL models of specific brain areas, i.e., ersatz models filled with relevant cognitive and neuroscientific details, are at _Level 3_. At this level, a researcher can advance how-actually explanations of cognitive phenomena. The main strength of this account is that it elucidates both _global explanatory dynamics_ and _local explanatory dynamics_ (cf. Dresow Synthese 199:10441–10474, 2021 ). The former occurs when the transition between levels happens in accordance with the process of obtaining more details about a particular cognitive phenomenon through multiple DL models. The latter, meanwhile, involves cases in which the transition between levels takes place within a single DL model by elucidating internal mechanisms (e.g., using Explainable AI techniques for rendering models more transparent). (shrink)

A critical review of Collin Rice's book, Leveraging Distortions: Explanation, Idealization, and Universality in Science.

Even in areas of philosophy of science that don’t involve formal treatments of truth, one’s background view of truth still centrally shapes views on other issues. I offer an informal way to think about truth as trueing, like trueing a bicycle wheel. This holist approach to truth provides a way to discuss knowledge products like models in terms of how well-trued they are to their target. Trueing emphasizes: the process by which models are brought into true; how the idealizations in (...) models are not false but rather like spokes in appropriate tension to achieve a better-trued fit to target; and that this process is not accomplished once and done forever, but instead requires upkeep and ongoing fine-tuning. I conclude by emphasizing the social importance of being a pragmatist about truth in order to accurately answer questions about science such as, “but do we really know that…”. (shrink)

Some epistemologists think that the Bayesian ideals matter because we can approximate them. That is, our attitudes can be more or less close to the ones of our ideal Bayesian counterpart. In this paper, I raise a worry for this justification of epistemic ideals. The worry is this: In order to correctly compare agents to their ideal counterparts, we need to imagine idealized agents who have the same relevant information, knowledge, or evidence. However, there are cases in which one’s ideal (...) counterpart cannot have one’s information, knowledge, or evidence. In these situations, agents cannot compare themselves to their ideal counterpart. (shrink)

Although the idiom “genesis and structure” is usually associated with the rise of structuralism in the late 1950s and early 1960s, the two notions are arguably among the most persistent methods in the history of modern philosophy. This article outlines the emergence of “genetic epistemology” in the seventeenth century, when the seemingly antithetical character of the conceptual pair was reworked into a productive epistemological theory, especially in Descartes, Hobbes, Spinoza, and Leibniz, who increasingly used diachronic (genetic) narratives to explain the (...) synchronic (structural) features in their theories. Against Cassirer, I argue that it was Descartes rather than Hobbes who first presented structural issues genetically. In Descartes’ natural philosophy, his frequent claims that showing how a thing is produced reveals its true nature foreshadow precisely what Hobbes and Isaac Barrow later describe as causal definitions of geometric figures, in which the process of ideal generation by motion is what constitutes the very essence of a figure. I link this method to the historicizing discourse on origins in the Enlightenment and conclude by suggesting that there is a trace of Platonic idealism in genetic epistemology. (shrink)

The framework of Solomonoff prediction assigns prior probability to hypotheses inversely proportional to their Kolmogorov complexity. There are two well-known problems. First, the Solomonoff prior is relative to a choice of Universal Turing machine. Second, the Solomonoff prior is not computable. However, there are responses to both problems. Different Solomonoff priors converge with more and more data. Further, there are computable approximations to the Solomonoff prior. I argue that there is a tension between these two responses. This is because computable (...) approximations to Solomonoff prediction do not always converge. (shrink)

Idealizations are ubiquitous in physics. They are distortions or falsities that enter into theories, laws, models, and scientific representations. Various questions suggest themselves: What are idealizations? Why do we appeal to idealizations and how do we justify them? Are idealizations essential to physics and, if so, in what sense and for which purpose? How can idealizations provide genuine understanding? If our motivation for believing in the existence of unobservable entities like electrons and quarks is that they are indispensable to our (...) best theories, should we also believe in the existence of indispensable idealizations? This Element will tackle such questions and offer an opinionated and selective introduction to philosophical issues concerning idealizations in physics. Topics to be covered include the concept of and reasons for introducing idealization, abstraction, and approximation, possible taxonomy and justification, and application to issues of mathematical Platonism, scientific realism, and scientific understanding. (shrink)

Scientific models typically contain idealizations, or assumptions that are known not to be true. Philosophers have long questioned the nature of idealizations: Are they heuristic tools that will be abandoned? Or rather fictional representations of reality? And how can we reconcile them with realism about knowledge of nature? Immanuel Kant developed an account of scientific investigation that can inspire a new approach to the contemporary debate. Kant argued that scientific investigation is possible only if guided by ideal assumptions—what he calls (...) “regulative ideas”. These ideas are not true of objects of nature, and yet they are not heuristic tools or fictional represen- tations. They are necessary rules governing the construction and assessment of scientific explanations. In this paper, I suggest that some idealizations can be interpreted as having necessary regulative value and as being compatible with scientific realism. I first analyze the puzzle of the nature of idealization and present the main approaches to this topic in the literature. Second, I reconsider the puzzle vis-a-vis a restricted, Kantian definition of idealization and a novel characterization of the relation between idealization and truth. Finally, I discuss in detail an example of idealization (the Hardy-Weinberg equilibrium) along the suggested Kantian lines. (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)

Experiences of racial discrimination can seem to be caused by one’s race, a combination of social identities, or non-social features. In other words, racial discrimination can be intersectional or attributionally ambiguous. This poses challenges for current understandings and measurement tools of racial discrimination in public health research, such as the explanation of racial health disparities. Different kinds of discriminatory experiences plausibly produce different psychological effects that mediate their negative health impacts. Thus, multiple characterizations and measurements of racial discrimination are needed. (...) As a result, I argue that racial discrimination should be a polysemous concept (with multiple meanings). (shrink)

The first part of this book contains a selection of Leszek Nowak’s (1943-2009) works on non-Marxian historical materialism, which are published here in English for the first time. In these papers, Nowak constructs a dynamic model of religious community, reconstructs historiosophical assumptions of liberalism and considers the methodological status of prognosis of totalitarization of capitalist society. In the second part of the book, new contributions to non-Marxian historical materialism are presented. Their authors analyze mechanisms of the oligarchization of liberal democracy, (...) the democratization of real socialism, and the development of early modern Ottoman and post-war Chinese societies. The volume will be of interest to graduate and undergraduate students, as well as specialists who deal with the development of capitalist society, philosophy of history, the philosophy of social sciences and the political philosophy of liberalism. (shrink)

Many AI systems that make important decisions are black boxes: how they function is opaque even to their developers. This is due to their high complexity and to the fact that they are trained rather than programmed. Efforts to alleviate the opacity of black box systems are typically discussed in terms of transparency, interpretability, and explainability. However, there is little agreement about what these key concepts mean, which makes it difficult to adjudicate the success or promise of opacity alleviation methods. (...) I argue for a unified account of these key concepts that treats the concept of understanding as fundamental. This allows resources from the philosophy of science and the epistemology of understanding to help guide opacity alleviation efforts. A first significant benefit of this understanding account is that it defuses one of the primary, in-principle objections to post hoc explainable AI (XAI) methods. This “rationalization objection” argues that XAI methods provide mere rationalizations rather than genuine explanations. This is because XAI methods involve using a separate “explanation” system to approximate the original black box system. These explanation systems function in a completely different way than the original system, yet XAI methods make inferences about the original system based on the behavior of the explanation system. I argue that, if we conceive of XAI methods as idealized scientific models, this rationalization worry is dissolved. Idealized scientific models misrepresent their target phenomena, yet are capable of providing significant and genuine understanding of their targets. (shrink)

This book presents fresh insights into analogue quantum simulation. It argues that these simulations are a new instrument of science. They require a bespoke philosophical analysis, sensitive to both the similarities to and the differences with conventional scientific practices such as analogical argument, experimentation, and classical simulation. -/- The analysis situates the various forms of analogue quantum simulation on the methodological map of modern science. In doing so, it clarifies the functions that analogue quantum simulation serves in scientific practice. To (...) this end, the authors introduce a number of important terminological distinctions. They establish that analogue quantum ‘computation' and ‘emulation' are distinct scientific practices and lead to distinct forms of scientific understanding. The authors also demonstrate the normative value of the computation vs. emulation distinction at both an epistemic and a pragmatic level. -/- The volume features a range of detailed case studies focusing on: i) cold atom computation of many-body localisation and the Higgs mode; ii) photonic emulation of quantum effects in biological systems; and iii) emulation of Hawking radiation in dispersive optical media. Overall, readers will discover a normative framework to isolate and support the goals of scientists undertaking analogue quantum simulation and emulation. This framework will prove useful to both working scientists and philosophers of science interested in cutting-edge scientific practice. (shrink)

The free energy principle is notoriously difficult to understand. In this paper, we relate the principle to a framework that philosophers of biology are familiar with: Ruth Millikan’s teleosemantics. We argue that: systems that minimise free energy are systems with a proper function; and Karl Friston’s notion of implicit modelling can be understood in terms of Millikan’s notion of mapping relations. Our analysis reveals some surprising formal similarities between the two frameworks, and suggests interesting lines of future research. We hope (...) this will aid further philosophical evaluation of the free energy principle. (shrink)

This paper defends three claims about concrete or physical models: these models remain important in science and engineering, they are often essentially idealized, in a sense to be made precise, and despite these essential idealizations, some of these models may be reliably used for the purpose of causal explanation. This discussion of concrete models is pursued using a detailed case study of some recent models of landslide generated impulse waves. Practitioners show a clear awareness of the idealized character of these (...) models, and yet address these concerns through a number of methods. This paper focuses on experimental arguments that show how certain failures to accurately represent feature X are consistent with accurately representing some causes of feature Y, even when X is causally relevant to Y. To analyse these arguments, the claims generated by a model must be carefully examined and grouped into types. Only some of these types can be endorsed by practitioners, but I argue that these endorsed claims are sufficient for limited forms of causal explanation. (shrink)

I argue that molecules may not have structure in isolation. I support this by investigating how quantum models identify structure for isolated molecules. Specifically, I distinguish between two sets of models: those that identify structure in isolation and those that do not. The former identify structure because they presuppose structural information about the target system via the Born- Oppenheimer approximation. However, it is an idealisation to assume structure in isolation because there is no empirical evidence of this. In fact, whenever (...) structure is empirically examined it is always partially determined by factors that are absent in isolation. Together with the growing empirical evidence that isolated molecules behave in non-classical ways, this shows that the quantum models that do not identify structure are more faithful representations of isolated molecules. (shrink)

In §69.b of BT Heidegger attempts an existential genetic analysis of science, i.e. a phenomenology of the conceptual process of the constitution of the logical view of science (science seen as theory) starting from the Dasein. It attempts to do so by examining the special intentional-existential modification of (human) being-in-the-world, which is called the "mathematical projection of nature"; that is, by examining that special modification of our being, which places us in the state of experience that presents the world to (...) us as taught by, e.g., Galileo and Newton. The idea he puts forward is that modern mathematical physics and the corresponding experience of the real is the result of the mathematical projection of nature. Modern science, Heidegger says, stands out because it is mathematical. But we cannot get the answer to what this mathematicality consists in from mathematics, because mathematics is only a special manifestation of mathematicality. Here is what Heidegger means by "mathematicality" and, accordingly by "mathematical projection of nature." If one were to let two bodies of different weights fall simultaneously from the top of the tower of Pisa, Heidegger notes, both Galileo and an Aristotelian would see that the two bodies would reach the ground with as little time difference as possible, and not at exactly the same moment. Galileo, however, does something decisive: he claims that under conditions that would be impossible to ensure (if we removed absolutely all resistance to the motion of the bodies), the two bodies would reach the ground absolutely simultaneously. This is not something that he or the Aristotelian sees happening empirically. How, then, does Galileo insist so firmly on his position? How exactly does it happen that he has before him such a view of things? Heidegger's answer is that Galileo is mathematically projecting nature. In his Dialogues Galileo says "I conceive with my mind" (mente concipio) a body thrown to move on an infinitely extending horizontal plane, having eliminated from its path every possible obstacle. Finally, I argue that from the detailed interpretation of Heidegger's points of the mathematical and of the notion of mathematical projection of nature, we can arrive at the conclusions I had arrived at in my doctoral dissertation (2000) as regards the meaning and function of thought experiments in physics as seen from a Husserlian phenomenological point of view as intentional acts. In a nutshell, in thought experiments physics constitutes the special metaphysics (to use the Kantian term) of the primordial ontological region it investigates as well as attempts to make natural sense of the mathematical formalism in cases it proves necessary. (shrink)

Abstraction and idealization are the two notions that are most often discussed in the context of assumptions employed in the process of model building. These notions are also routinely used in philosophical debates such as that on the mechanistic account of explanation. Indeed, an objection to the mechanistic account has recently been formulated precisely on these grounds: mechanists cannot account for the common practice of idealizing difference-making factors in models in molecular biology. In this paper I revisit the debate and (...) I argue that the objection does not stand up to scrutiny. This is because it is riddled with a number of conceptual inconsistencies. By attempting to resolve the tensions, I also draw several general lessons regarding the difficulties of applying abstraction and idealization in scientific practice. Finally, I argue that more care is needed only when speaking of abstraction and idealization in a context in which these concepts play an important role in an argument, such as that on mechanistic explanation. (shrink)

Deep neural networks have become increasingly successful in applications from biology to cosmology to social science. Trained DNNs, moreover, correspond to models that ideally allow the prediction of new phenomena. Building in part on the literature on ‘eXplainable AI’, I here argue that these models are instrumental in a sense that makes them non-explanatory, and that their automated generation is opaque in a unique way. This combination implies the possibility of an unprecedented gap between discovery and explanation: When unsupervised models (...) are successfully used in exploratory contexts, scientists face a whole new challenge in forming the concepts required for understanding underlying mechanisms. (shrink)

Programs in quantum gravity often claim that time emerges from fundamentally timeless physics. In the semiclassical time program time arises only after approximations are taken. Here we ask what justifies taking these approximations and show that time seems to sneak in when answering this question. This raises the worry that the approach is either unjustified or circular in deriving time from no–time.

"Correlation is not causation" is one of the mantras of the sciences—a cautionary warning especially to fields like epidemiology and pharmacology where the seduction of compelling correlations naturally leads to causal hypotheses. The standard view from the epistemology of causation is that to tell whether one correlated variable is causing the other, one needs to intervene on the system—the best sort of intervention being a trial that is both randomized and controlled. In this paper, we argue that some purely correlational (...) data contains information that allows us to draw causal inferences: statistical noise. Methods for extracting causal knowledge from noise provide us with an alternative to randomized controlled trials that allows us to reach causal conclusions from purely correlational data. (shrink)

Psychometric g—a statistical factor capturing intercorrelations between scores on different IQ tests—is of theoretical interest despite being a low-fidelity model of both folk psychological intelligence and its cognitive/neural underpinnings. Psychometric g idealizes away from those aspects of cognitive/neural mechanisms that are not explanatory of the relevant variety of folk psychological intelligence, and it idealizes away from those varieties of folk psychological intelligence that are not generated by the relevant cognitive/neural substrate. In this manner, g constitutes a high-fidelity bridge model of (...) the relationship between its two targets and, thereby, helps demystify the relationship between folk and scientific psychology. (shrink)

What is the relevance of ideals for determining virtuous argumentative practices? According to Bailin and Battersby (2016), the telos of argumentation is to improve our cognitive systems, and adversariality plays no role in ideally virtuous argumentation. Stevens and Cohen (2019) grant that ideal argumentation is collaborative, but stress that imperfect agents like us should not aim at approximating the ideal of argumentation. Accordingly, it can be virtuous, for imperfect arguers like us, to act as adversaries. Many questions are left unanswered (...) by both camps. First, how do we conceptualize an ideal and its approximation? Second, how can we determine what is the ideal of argumentation? Third, can we extend Stevens and Cohen’s anti-approximation argument beyond virtue theory? In order to respond to these questions, this paper develops a second-best perspective on ideal argumentation. The Theory of the Second Best is a formal contribution to the field of utility (or welfare) optimization. Its main conclusion is that, in non-ideal circumstances, approximating ideals might be suboptimal. (shrink)

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