We argue that there is no general theory of explanation that spans the sciences, mathematics, and ethics, etc. More specifically, there is no good reason to believe that substantive and domain-invariant constraints on explanatory information exist. Using Nickel (Noûs 44(2):305–328, 2010 ) as an exemplar of the contrary, generalist position, we first show that Nickel’s arguments rest on several ambiguities, and then show that even when these ambiguities are charitably corrected, Nickel’s defense of general theories of explanation is inadequate along (...) several different dimensions. Specifically, we argue that Nickel’s argument has three fatal flaws. First, he has not provided any compelling illustrations of domain-invariant constraints on explanation. Second, in order to fend off the most vehement skeptics of domain-invariant theories of explanation, Nickel must beg all of the important questions. Third, Nickel’s examples of explanations from different domains with common explanatory structure rely on incorrect formulations of the explanations under consideration, circular justifications, and/or a mischaracterization of the position Nickel intends to critique. Given that the best and most elaborate defense of the generalist position fails in so many ways, we conclude that the standard practice in philosophy (and in philosophy of science in particular), which is to develop theories of explanation that are tailored to specific domains, still is justified. For those who want to buy into a more ambitious project: beware of the costs! (shrink)

This thesis considers the following problem: What methods should the epistemology of science use to gain insight into the structure and behaviour of scientific knowledge and method in actual scientific practice? After arguing that the elucidation of epistemological and methodological phenomena in science requires a method that is rooted in formal methods, I consider two alternative methods for epistemology of science. One approach is the classical approaches of the syntactic and semantic views of theories. I show that typical approaches of (...) this sort are inadequate and inaccurate in their representation of scientific knowledge by showing how they fail to account for and misrepresent important epistemological structure and behaviour in science. The other method for epistemology of science I consider is modeled on the methods used to construct valid models of natural phenomena in applied mathematics. This new epistemological method is itself a modeling method that is developed through the detailed consideration of two main examples of theory application in science: double pendulum systems and the modeling of near-Earth objects to compute probability of future Earth impact. I show that not only does this new method accurately represent actual methods used to apply theories in applied mathematics, it also reveals interesting structural and behavioural patterns in the application process and gives insight into what underlies the stability of methods of application. I therefore conclude that for epistemology of science to develop fully as a scientific discipline it must use methods from applied mathematics, not only methods from pure mathematics and metamathematics as traditional formal epistemology of science has done. (shrink)

Neste artigo, discuto o problema das propriedades emergentes, começando por apresentar uma concepção tradicional de acordo com a qual estas propriedades exibem três características definidoras: elas dependem de propriedades e relações físicas, mas constituem, em relação a estas, uma novidade e, como tal, não são delas deduzíveis. Em primeiro lugar, discuto algumas das razões gerais que explicam o facto de tradicionalmente se supor que este tipo de novidade – e.g. causal ou qualitativa – parece exigir que as propriedades emergentes não (...) se encontram, de todo, fisicamente fundadas, não podendo ser deduzidas das suas bases físicas. Portanto, a dependência física das propriedades emergentes não pode ser explicada, o que é normalmente tido como misterioso. Recorrendo a uma concepção funcionalista de dedutibilidade, discuto de seguida, com mais detalhe, a relação entre a novidade e a não-dedutibilidade, realçando o modo como os diferentes tipos de não-dedutibilidade conduzem a diferentes tipos de novidade e, como tal, a diferentes formas de emergência. Finalmente, considero algumas abordagens científicas modernas que rejeitam a não-dedutibilidade enquanto condição necessária da emergência. Segundo tais abordagens, o tipo de novidade associado às propriedades emergentes é compatível com uma fundação física, o que, por sua vez, faz desvanecer o mistério e confere respeitabilidade científica à noção de emergência. Concluirei estabelecendo comparações entre estas abordagens e o hilomorfismo neo-Aristotélico. (shrink)

This paper explores the epistemological challenges in using computer simulations for two distinct goals: explanation via hypothesis-testing and prediction. It argues that each goal requires different strategies for justifying inferences drawn from simulation results due to different practical and conceptual constraints. The paper identifies unique and shared strategies researchers employ to increase confidence in their inferences for each goal. For explanation via hypothesis-testing, researchers need to address the underdetermination, interpretability, and attribution challenges. In prediction, the emphasis is on the model's (...) ability to generalize across multiple domains. Shared strategies researchers employ to increase confidence in inferences are empirical corroboration of theoretical assumptions and adequacy of computational operationalizations, and this paper argues that these are necessary for explanation via hypothesis-testing but not for prediction. This paper emphasizes the need for a nuanced approach to the epistemology of computer simulation, given the diverse applications of computer simulation in scientific research. Understanding these differences is crucial for both researchers and philosophers of science, as it helps develop appropriate methodologies and criteria for assessing the trustworthiness of computer simulation. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)

Emergence is a notorious philosophical term of art. A variety of theorists have appropriated it for their purposes ever since George Henry Lewes gave it a philosophical sense in his 1875 Problems of Life and Mind. We might roughly characterize the shared meaning thus: emergent entities (properties or substances) ‘arise’ out of more fundamental entities and yet are ‘novel’ or ‘irreducible’ with respect to them. (For example, it is sometimes said that consciousness is an emergent property of the brain.) Each (...) of the quoted terms is slippery in its own right, and their specifications yield the varied notions of emergence that we discuss below. There has been renewed interest in emergence within discussions of the behavior of complex systems and debates over the reconcilability of mental causation, intentionality, or consciousness with physicalism. (shrink)

Motivated by the seeming structure of the sciences, metaphysical emergence combines broadly synchronic dependence coupled with some degree of ontological and causal autonomy. Reflecting the diverse, frequently incompatible interpretations of the notions of dependence and autonomy, however, accounts of emergence diverge into a bewildering variety. Here I argue that much of this apparent diversity is superficial. I first argue, by attention to the problem of higher-level causation, that two and only two strategies for addressing this problem accommodate the genuine emergence (...) of special science entities. These strategies in turn suggest two distinct schema for metaphysical emergence---'Weak' and 'Strong' emergence, respectively. Each schema imposes a condition on the powers of entities taken to be emergent: Strong emergence requires that higher-level features have more token powers than their dependence base features, whereas Weak emergence requires that higher-level features have a proper subset of the token powers of their dependence base features. Importantly, the notion of “power” at issue here is metaphysically neutral, primarily reflecting commitment just to the plausible thesis that what causes an entity may bring about are associated with how the entity is---that is, with its features. (shrink)

Tim Crane's ‘Cosmic Hermeneutics vs. Emergence: The Challenge of the Explanatory Gap’ claims that non‐reductive physicalism must either close the explanatory gap, addressing the challenge famously posed by Levine's argument, or become identical to emergentism. Since no way to close the gap is available, the result is that there can be no interesting philosophical position intermediate between physicalism and emergentism. This chapter argues that if we look at the relation between physicalism and emergentism from the vantage point of reduction, Crane's (...) analysis is rather persuasive. However, if we switch from reduction to causality, its conclusions appear more disputable. In particular, if we shift from ‘novelty and explanation’ to ‘novelty and causality’ as key features of emergent properties, we may introduce a distinction between two kinds of emergentism (moderate and radical) based on their attitude towards the causal inheritance principle. If the causal inheritance principle is accepted (some versions of) moderate emergentism may be considered as non‐trivial forms of non‐reductive physicalism. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "the miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve." Contrary to this view, this thesis delineates and implements (...) a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

Scientific explanation is an important goal of scientific practise. Philosophers have proposed a striking diversity of seemingly incompatible accounts of explanation, from deductive-nomological to statistical relevance, unification, pragmatic, causal-mechanical, mechanistic, causal intervention, asymptotic, and model-based accounts. In this dissertation I apply two novel methods to reexamine our evidence about scientific explanation in practise and thereby address the fragmentation of philosophical accounts. I start by collecting a data set of 781 articles from one year of the journal Science. Using automated text (...) mining techniques I measure the frequency and distribution of several groups of philosophically interesting words, such as "explain", "cause", "evidence", "theory", "law", "mechanism", and "model". I show that "explain" words are much more common in scientific writing than in other genres, occurring in roughly half of all articles, and that their use is very often qualified or negated. These results about the use of words complement traditional conceptual analysis. Next I use random samples from the data set to develop a large number of small case studies across a wide range of scientific disciplines. I use a sample of "explain" sentences to develop and defend a new general philosophical account of scientific explanation, and then test my account against a larger set of randomly sampled sentences and abstracts. Five coarse categories can classify the explanans and explananda of my cases: data, entities, kinds, models, and theories. The pair of the categories of the explanans and explanandum indicates the "form" of an explanation. The explain-relation supports counterfactual reasoning about the dependence of qualities of the explanandum on qualities of the explanans. But for each form there is a different "core relation" between explanans and explanandum that supports the explain-relation. Causation, modelling, and argument are the core relations for different forms of scientific explanation between different categories of explanans and explananda. This flexibility allows me to resolve some of the fragmentation in the philosophical literature. I provide empirical evidence to show that my general philosophical account successfully describes a wide range of scientific practise across a large number of scientific disciplines. (shrink)

The past decade or so has witnessed an increase in the number of philosophical discussions about emergence and reduction in science. However, many of these discussions (though not all) remain too abstract and theoretical, and are wanting with respect to concrete examples taken from the sciences. This dissertation studies the topics of reduction and emergence in the context of a case study. I focus on the case of chemistry and investigate how emergentism can help us secure the autonomy of this (...) discipline in relation to the underlying microphysics. I develop an account of emergence (called functional emergence) that is, I argue, capable of answering the question of why we have chemistry instead of just applied quantum mechanics. I argue that functionally emergent properties in chemistry -- properties that are defined by their behaviour, not by some shared microphysical constituent -- can help us defend the autonomy of chemistry; they allow for the existence of sui generis chemical regularities, which can be used in sui generis chemical explanations. Functional emergence generates difficulties for some accounts of inter-theoretic reduction, but unlike other theories of emergence it is compatible with weaker forms of reductionism. (shrink)

As the demand for explainable deep learning grows in the evaluation of language technologies, the value of a principled grounding for those explanations grows as well. Here we study the state-of-the-art in explanation for neural models for natural-language processing (NLP) tasks from the viewpoint of philosophy of science. We focus on recent evaluation work that finds brittleness in explanations obtained through attention mechanisms.We harness philosophical accounts of explanation to suggest broader conclusions from these studies. From this analysis, we assert the (...) impossibility of causal explanations from attention layers over text data. We then introduce NLP researchers to contemporary philosophy of science theories that allow robust yet non-causal reasoning in explanation, giving computer scientists a vocabulary for future research. (shrink)

Determinism and unpredictability are compatible since deterministic flows can produce, if sensitive to initial conditions, unpredictable behaviors. Within this perspective, the notion of scenario to chaos transition offers a new form of predictability for the behavior of sensitive to initial condition systems under the variation of a control parameter. In this paper I first shed light on the genesis of this notion, based on a dynamical systems approach and on considerations of structural stability. I then suggest a link to the (...) figure of epigenetic landscape, partially inspired by a dynamical systems perspective, and offering a theoretical framework to apprehend developmental noise. (shrink)

This thesis focuses on models of conceptual change in science and philosophy. In particular, I developed a new bootstrapping methodology for studying conceptual change, centered around the formalization of several popular models of conceptual change and the collective assessment of their improved formal versions via nine evaluative dimensions. Among the models of conceptual change treated in the thesis are Carnap’s explication, Lakatos’ concept-stretching, Toulmin’s conceptual populations, Waismann’s open texture, Mark Wilson’s patches and facades, Sneed’s structuralism, and Paul Thagard’s conceptual revolutions. (...) -/- In order to analyze and compare the conception of conceptual change provided by these different models, I rely on several historical reconstructions of episodes of scientific conceptual change. The historical episodes of scientific change that figure in this work include the emergence of the morphological concept of fish in biological taxonomies, the development of scientific conceptions of temperature, the Church-Turing thesis and related axiomatizations of effective calculability, the history of the concept of polyhedron in 17th and 18th century mathematics, Hamilton’s invention of the quaternions, the history of the pre-abstract group concepts in 18th and 19th century mathematics, the expansion of Newtonian mechanics to viscous fluids forces phenomena, and the chemical revolution. I will also present five different formal and informal improvements of four specific models of conceptual change. I will first present two different improvements of Carnapian explication, a formal and an informal one. My informal improvement of Carnapian explication will consist of a more fine-grained version of the procedure that adds an intermediate, third step to the two steps of Carnapian explication. I will show how this novel three-step version of explication is more suitable than its traditional two-step relative to handle complex cases of explications. My second, formal improvement of Carnapian explication will be a full explication of the concept of explication itself within the theory of conceptual spaces. By virtue of this formal improvement, the whole procedure of explication together with its application procedures and its pragmatic desiderata will be reconceptualized as a precise procedure involving topological and geometrical constraints inside the theory of conceptual spaces. My third improved model of conceptual change will consist of a formal explication of Darwinian models of conceptual change that will make vast use of Godfrey-Smith’s population-based Darwinism for targeting explicitly mathematical conceptual change. My fourth improvement will be dedicated instead to Wilson’s indeterminate model of conceptual change. I will show how Wilson’s very informal framework can be explicated within a modified version of the structuralist model-theoretic reconstructions of scientific theories. Finally, the fifth improved model of conceptual change will be a belief-revision-like logical framework that reconstructs Thagard’s model of conceptual revolution as specific revision and contraction operations that work on conceptual structures. -/- At the end of this work, a general conception of conceptual change in science and philosophy emerges, thanks to the combined action of the three layers of my methodology. This conception takes conceptual change to be a multi-faceted phenomenon centered around the dynamics of groups of concepts. According to this conception, concepts are best reconstructed as plastic and inter-subjective entities equipped with a non-trivial internal structure and subject to a certain degree of localized holism. Furthermore, conceptual dynamics can be judged from a weakly normative perspective, bound to be dependent on shared values and goals. Conceptual change is then best understood, according to this conception, as a ubiquitous phenomenon underlying all of our intellectual activities, from science to ordinary linguistic practices. As such, conceptual change does not pose any particular problem to value-laden notions of scientific progress, objectivity, and realism. At the same time, this conception prompts all our concept-driven intellectual activities, including philosophical and metaphilosophical reflections, to take into serious consideration the phenomenon of conceptual change. An important consequence of this conception, and of the analysis that generated it, is in fact that an adequate understanding of the dynamics of philosophical concepts is a prerequisite for analytic philosophy to develop a realistic and non-idealized depiction of itself and its activities. (shrink)

Spontaneous symmetry breaking in quantum systems, such as ferromagnets, is normally described as degeneracy of the ground state; however, it is well established that this degeneracy only occurs in spatially infinite systems, and even better established that ferromagnets are not spatially infinite. I review this well-known paradox, and consider a popular solution where the symmetry is explicitly broken by some external field which goes to zero in the infinite-volume limit; although this is formally satisfactory, I argue that it must be (...) rejected as a physical explanation of SSB since it fails to reproduce some important features of the phenomenology. Motivated by considerations from the analogous classical system, I argue that SSB in finite systems should be understood in terms of the approximate decoupling of the system's state space into dynamically-isolated sectors, related by a symmetry transformation; I use the formalism of decoherent histories to make this more precise and to quantify the effect, showing that it is more than sufficient to explain SSB in realistic systems and that it goes over in a smooth and natural way to the infinite limit. (shrink)

This dissertation aims to determine the optimal level of granularity for the variables used in probabilistic causal models. These causal models are useful for generating explanations in a number of scientific contexts. In Chapter 1, I argue that there is rarely a unique level of granularity at which a given phenomenon can be causally explained, thereby rejecting various causal exclusion arguments. In Chapter 2, I consider several recent proposals for measuring the explanatory power of causal explanations, and show that these (...) measures fail to track the comparative depth of explanations given at different levels of granularity. In Chapter 3, I offer a pragmatic account of how to partition the measure space of a causal variable so as to optimally explain its effect. My account uses the decision-theoretic notion of value of information, and indexes the relative depth of an explanation to a particular agent faced with a particular decision problem. Chapter 4 applies this same decisiontheoretic framework to answer the epistemic question of how to discover constitutive relationships in nature. In Chapter 5, I describe the formal details of the relationship between random variables that are meant to be coarse-grained and fine-grained representations of the same type of phenomenon. I use this formal framework to rebut a popular argument for the view that special science probabilities can be objective chances. Chapter 6 discusses challenges related to the causal interpretation of Bayes nets that use imprecise rather than precise probabilities. (shrink)

My two daughters would love to go tobogganing down the hill by themselves, but they are just toddlers and I am an apprehensive parent, so, before letting them do so, I want to ensure that the toboggan won’t go too fast. But how fast will it go? One way to try to answer this question would be to tackle the problem head on. Since my daughters and their toboggan are initially at rest, according to classical mechanics, their final velocity will (...) be determined by the forces they will be subjected to between the moment the toboggan will be released at the top of the hill and the moment it will reach its highest speed. The problem is that, throughout their downhill journey, my daughters and the toboggan will be subjected to an incredibly large number of forces—from the gravitational pull of any massive object in the universe to the weight of the snowflake that is sitting on the tip of one of my youngest daughter’s hairs—so that any attempt to apply the theory directly to the real-world system in all its complexity seems to be doomed to failure. (shrink)

In this dissertation, I present a novel account of the components that have a peculiar epistemic role in our scientific inquiries, since they contribute to establishing a form of coordination. The issue of coordination is a classic epistemic problem concerning how we justify our use of abstract conceptual tools to represent concrete phenomena. For instance, how could we get to represent universal gravitation as a mathematical formula or temperature by means of a numerical scale? This problem is particularly pressing when (...) justification for using these abstract tools comes, in part or entirely, from knowledge which is not independent from them, thus leading to threats of circularity. Achieving coordination between some abstract conceptual tools and the concrete phenomena that they are supposed to represent is usually a complex process, which involves several epistemic components. Some of these components eventually provide stable conditions for applying those abstract representations to concrete phenomena. It is in this sense of providing certain conditions of applicability that different philosophical traditions, as well as some contemporary reappraisals, view these components as constitutive or a priori. In this work, I present a new gradualist, contextualist, and relational approach to understand these constitutive components of scientific inquiry. It is gradualist inasmuch as the degree to which some component is constitutive depends on three quantifiable features: quasi-axiomaticity, generative potential, and empirical shielding. Since the quantification of these three features impinges on the history and practice of using these components in a scientific context, my approach is a contextualist one. Finally, my approach is relational in a double sense: first, it identifies ordinal relationships among epistemic components with respect to their constitutive character; second, these relationships are relative to a scientific framework of inquiry. After introducing my account and a classic example of constitutively a priori principles, i.e., Friedman’s (2001) analysis of Newtonian mechanics, I turn to my own case studies to demonstrate the advantages of my approach. Firstly, I discuss Okasha’s (2018) view of endogenization as a pervasive theoretical strategy in evolutionary biology and suggest that the constitutive character of the core Darwinian principles progressively increases with endogenization. Secondly, I apply a conceptual distinction between two varieties or scopes of coordination – general coordination and coordination in measurement – to Ohm’s work on electrical conductivity. This distinction allows me to pinpoint to what extent components along different dimensions (e.g., instrumentation, measurement, theorising, etc.) were constitutive of the forms of coordination which Ohm relied on. Thirdly, I discuss the epistemic function of the Hardy-Weinberg principle in the history and practice of population genetics. I assess this principle in terms of my account and identify approximation and stability as two components that are highly constitutive, in that they contribute to justifying its use in population genetics. Finally, applying my account to these case studies enables me to identify at least three qualitatively different types of constitutive components: domain-specific theoretical principles, material components, and domain-independent assumptions underlying reasoning abilities. In the light of my results, I draw some general conclusions on epistemic justification and scientific knowledge. (shrink)

The relationship between classical and quantum theory is of central importance to the philosophy of physics, and any interpretation of quantum mechanics has to clarify it. Our discussion of this relationship is partly historical and conceptual, but mostly technical and mathematically rigorous, including over 500 references. For example, we sketch how certain intuitive ideas of the founders of quantum theory have fared in the light of current mathematical knowledge. One such idea that has certainly stood the test of time is (...) Heisenberg's `quantum-theoretical Umdeutung (reinterpretation) of classical observables', which lies at the basis of quantization theory. Similarly, Bohr's correspondence principle (in somewhat revised form) and Schroedinger's wave packets (or coherent states) continue to be of great importance in understanding classical behaviour from quantum mechanics. On the other hand, no consensus has been reached on the Copenhagen Interpretation, but in view of the parodies of it one typically finds in the literature we describe it in detail. On the assumption that quantum mechanics is universal and complete, we discuss three ways in which classical physics has so far been believed to emerge from quantum physics, namely in the limit h -> 0 of small Planck's constant (in a finite system), in the limit N goes to infinity of a large system with $N$ degrees of freedom (at fixed h), and through decoherence and consistent histories. The first limit is closely related to modern quantization theory and microlocal analysis, whereas the second involves methods of C*-algebras and the concepts of superselection sectors and macroscopic observables. In these limits, the classical world does not emerge as a sharply defined objective reality, but rather as an approximate appearance relative to certain ``classical" states and observables. Decoherence subsequently clarifies the role of such states, in that they are ``einselected", i.e. robust against coupling to the environment. Furthermore, the nature of classical observables is elucidated by the fact that they typically define (approximately) consistent sets of histories. This combination of ideas and techniques does not quite resolve the measurement problem, but it does make the point that classicality results from the elimination of certain states and observables from quantum theory. Thus the classical world is not created by observation (as Heisenberg once claimed), but rather by the lack of it. (shrink)

Despite its recent popularity, Emergence is still a field where philosophers and physicists often talk past each other. In fact, while philosophical discussions focus mostly on ontological emergence, physical theory is inherently limited to the epistemological level and the impossibility of its conclusions to provide direct evidence for ontological claims is often underestimated. Nevertheless, the emergentist philosopher’s case against reductionist theories of how the different levels of reality are related to each other can still gain from the assessment of paradigmatic (...) examples of discontinuity between models in physics, even though their implications must be handled with care. (shrink)

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

Quantum gravity is understood as a theory that, in some sense, unifies general relativity (GR) and quantum theory, and is supposed to replace GR at extremely small distances (high-energies). It may be that quantum gravity represents the breakdown of spacetime geometry described by GR. The relationship between quantum gravity and spacetime has been deemed ``emergence'', and the aim of this thesis is to investigate and explicate this relation. After finding traditional philosophical accounts of emergence to be inappropriate, I develop a (...) new conception of emergence by considering physical case studies including condensed matter physics, hydrodynamics, critical phenomena and quantum field theory understood as effective field theory. This new conception of emergence is unconcerned with the ideas of reduction and derivation (i.e. it holds that we may have emergence with reduction or without it). Instead, a low-energy theory (or model) is understood as emergent from a high-energy theory if it is novel and autonomous compared to the high-energy theory, and the low-energy physics is dependent in a particular, minimal sense on the high-energy physics (this dependence is revealed by the techniques of effective field theory and the renormalisation group). While novelty is construed in a broad sense, the autonomy comes essentially from the underdetermination of the high-energy theory by the low-energy theory, which reflects the minimal way in which the emergent, low-energy theory depends on the high-energy one. It results from the scaling behaviour of the theories and the limiting relations between them, and is demonstrated by the renormalisation group and effective field theory techniques, the idea of universality, and the phenomenon of symmetry-breaking. These ideas are important in exploring the relationship between quantum gravity and GR, where GR is understood as an effective, low-energy theory of quantum gravity. Without experimental data or a theory of quantum gravity, we rely on principles and techniques from other areas of physics to guide the way. As well as considering the idea of emergence appropriate to treating GR as an effective field theory, I investigate the emergence of spacetime (and other aspects of GR) in several concrete approaches to quantum gravity, including examples of the condensed matter approaches, the ``discrete approaches'' (causal set theory, causal dynamical triangulations, quantum causal histories and quantum graphity) and loop quantum gravity. (shrink)

Though some influentially critical objections have been raised during the ‘classical’ pre-computational simulation philosophy of science tradition, suggesting a more nuanced methodological category for experiments, it safe to say such critical objections have greatly proliferated in philosophical studies dedicated to the role played by computational simulations in science. For instance, Eric Winsberg suggests that computer simulations are methodologically unique in the development of a theory’s models suggesting new epistemic notions of application. This is also echoed in Jeffrey Ramsey’s notions of (...) “transformation reduction,”—i.e., a notion of reduction of a more highly constructive variety. Computer simulations create a broadly continuous arena spanned by normative and descriptive aspects of theory-articulation, as entailed by the notion of transformation reductions occupying a continuous region demarcated by Ernest Nagel’s logical-explanatory “domain-combining reduction” on the one hand, and Thomas Nickels’ heuristic “domain-preserving reduction,” on the other. I extend Winsberg’s and Ramsey’s points here, by arguing that in the field of computational fluid dynamics as well as in other branches of applied physics, the computer plays a constitutively experimental role—supplanting in many cases the more traditional experimental methods such as flow-visualization, etc. In this case, however CFD algorithms act as substitutes, not supplements when it comes to experimental practices. I bring up the constructive example involving the Clifford-Algebraic algorithms for modeling singular phenomena in CFD by Gerik Scheuermann and Steven Mann & Alyn Rockwood who demonstrate that their algorithms offer greater descriptive and explanatory scope than the standard Navier-Stokes approaches. The mathematical distinction between Navier-Stokes-based and Clifford-Algebraic based CFD has essentially to do with the regularization features exhibited to a far greater extent by the latter, than the former. Hence, CACFD indicate that the utilization of computational techniques can be based on principled reasons, as opposed to merely practical. CACFD hence exhibit a new generative role in the field of fluid mechanics, by offering categories of experimental evidence that are optimally descriptive and explanatory—i.e., pace Batterman can be both ontologically and epistemically fundamental. (shrink)

One of the recurrent problems in the foundations of physics is to explain why we rarely observe certain phenomena that are allowed by our theories and laws. In thermodynamics, for example, the spontaneous approach towards equilibrium is ubiquitous yet the time-reversal-invariant laws that presumably govern thermal behaviour in the microscopic level equally allow spontaneous departure from equilibrium to occur. Why are the former processes frequently observed while the latter are almost never reported? Another example comes from quantum mechanics where the (...) formalism, if considered complete and universally applicable, predicts the existence of macroscopic superpositions—monstrous Schr¨odinger cats—and these are never observed: while electrons and atoms enjoy the cloudiness of waves, macroscopic objects are always localized to definite positions. (shrink)

Due to the variation, contingency and complexity of living systems, biology is often taken to be a science without fundamental theories, laws or general principles. I revisit this question in light of the quest for design principles in systems biology and show that different views can be reconciled if we distinguish between different types of generality. The philosophical literature has primarily focused on generality of specific models or explanations, or on the heuristic role of abstraction. This paper takes a different (...) approach in emphasizing a theory-constituting role of general principles. Design principles signify general dependencyrelations between structures and functions, given a set of formally defined constraints. I contend that design principles increase our understanding of living systems by relating specific models to general types. The categorization of types is based on a delineation of the scope of biological possibilities, which serves to identify and define the generic features of classes of systems. To characterize the basis for general principles through generic abstraction and reasoning about possibility spaces, I coin the term constraint-based generality. I show that constraintbased generality is distinct from other types of generality in biology, and argue that general principles play a unifying role that does not entail theory reduction. (shrink)

This paper attempts to make sense of a notion of ``approximation on certain scales'' in physical theories. I use this notion to understand the classical limit of ordinary quantum mechanics as a kind of scaling limit, showing that the mathematical tools of strict quantization allow one to make the notion of approximation precise. I then compare this example with the scaling limits involved in renormalization procedures for effective field theories. I argue that one does not yet have the mathematical tools (...) to make a notion of ``approximation on certain scales" precise in extant mathematical formulations of effective field theories. This provides guidance on the kind of further work that is needed for an adequate interpretation of quantum field theory. (shrink)

In this article I defend that an underlying framework exists among those interpretations of quantum mechanics which crucially consider the measurement problem as a central obstacle. I characterise that framework as the Received View on the realist interpretation of quantum mechanics. In particular, I analyse the extent to which two of the most relevant attempts at quantum mechanics, namely, many worlds interpretations and Bohmian mechanics, belong within the Received View. However, I claim that scientific realism in itself does not entail (...) commitment to such a view, and I propose to consider a form of realism that dissolves the measurement problem. It is simply a stripped down version of realism. I derive the methodological questions in this form of realism, speculating that within it a novel realist interpretation of quantum mechanics could be conceived. (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.

In this paper we argue that structural explanations are an effective way of explaining well known relativistic phenomena like length contraction and time dilation, and then try to understand how this can be possible by looking at the literature on scientific models. In particular, we ask whether and how a model like that provided by Minkowski spacetime can be said to represent the physical world, in such a way that it can successfully explain physical phenomena structurally. We conclude by claiming (...) that a partial isomorphic approach to scientific representation can supply an answer only if supplemented by a robust injection of pragmatic factors. (shrink)

We provide an analysis of the empirical consequences of the AdS/CFT duality with reference to the application of the duality in a fundamental theory, effective theory and instrumental context. Analysis of the first two contexts is intended to serve as a guide to the potential empirical and ontological status of gauge/gravity dualities as descriptions of actual physics at the Planck scale. The third context is directly connected to the use of AdS/CFT to describe real quark-gluon plasmas. In the latter context, (...) we find that neither of the two duals are confirmed by the empirical data. (shrink)

Die Frage, was eine wissenschaftliche Erklärung ist, stellt seit mehr als einem halben Jahrhundert ein zentrales Thema der Wissenschaftsphilosophie dar. Die heutige Diskussion begann mit einer richtungsweisenden Arbeit von Carl Hempel im Jahre 1942 über den Erklärungsbegriff in der Geschichtswissenschaft. In dieser Arbeit gab Hempel, frühere Überlegungen von John Stuart Mill, Karl Popper und anderen präzisierend, eine formale Definition der Erklärung eines singulären Faktums.1 Mit seiner dem zugrunde liegenden Auffassung, dass die Wissenschaften sehr wohl in der Lage sind, Erklärungen zu (...) liefern, setzt sich Hempel ab von den zur damaligen Zeit vorherrschenden antimetaphysisch gestimmten Erklärungsskeptikern wie Pierre Duhem. Es ist jedoch wichtig zu betonen, dass Hempels Definition des Konzeptes der wissenschaftlichen Erklärung nicht wesentlich über das Deskriptive hinaus geht und damit auch und gerade von Empiristen akzeptiert werden kann. Bekanntlich versteht man unter einer Erklärung in Hempels Deduktiv-Nomologischen (D-N) Modell ein deduktiv gültiges Argument, zu dessen Prämisse (dem sog. Explanans) mindestens ein universelles Gesetz und eine Menge von singulären Sätzen gehört und dessen Konklusion das zu erklärende Faktum (das sog. Explanandum) ist. (shrink)

A differenza della meccanica quantistica, i cui fondamenti sono sempre stati al centro di un ininterrotto dibattito, gli aspetti concettuali della meccanica statistica non hanno attratto interessi così vasti; tra le eccezioni citiamo il bel libro di Emch e Liu. In questo breve contributo discuteremo alcuni problemi concettuali della meccanica statistica, in particolare il ruolo del caos e l’emergenza di proprietà collettive che appaiono quando il numero delle particelle del sistema è molto grande.

I argue that the distinctions Robert Batterman (2004) presents between ‘epistemically fundamental’ versus ‘ontologically fundamental’ theoretical approaches can be subsumed by methodologically fundamental procedures. I characterize precisely what is meant by a methodologically fundamental procedure, which involves, among other things, the use of multilinear graded algebras in a theory’s formalism. For example, one such class of algebras I discuss are the Clifford (or Geometric) algebras. Aside from their being touted by many as a “unified mathematical language for physics,” (Hestenes (1984, (...) 1986) Lasenby, et. al. (2000)) Finkelstein (2001, 2004) and others have demonstrated that the techniques of multilinear algebraic ‘expansion and contraction’ exhibit a robust regularizablilty. That is to say, such regularization has been demonstrated to remove singularities, which would otherwise appear in standard field-theoretic, mathematical characterizations of a physical theory. I claim that the existence of such methodologically fundamental procedures calls into question one of Batterman’s central points, that “our explanatory physical practice demands that we appeal essentially to (infinite) idealizations” (2003, 7) exhibited, for example, by singularities in the case of modeling critical phenomena, like fluid droplet formation. By way of counterexample, in the field of computational fluid dynamics (CFD), I discuss the work of Mann & Rockwood (2003) and Gerik Scheuermann, (2002). In the concluding section, I sketch a methodologically fundamental procedure potentially applicable to more general classes of critical phenomena appearing in fluid dynamics. (shrink)

This essay considers the prospects of modeling spacetime as a phenomenon that emerges in the low-energy limit of a quantum liquid. It evaluates three examples of spacetime analogues in condensed matter systems that have appeared in the recent physics literature, indicating the extent to which they are viable, and considers what they suggest about the nature of spacetime.

The de Broglie-Bohm interpretation of quantum mechanics aims to give a realist description of quantum phenomena in terms of the motion of point-like particles following well-defined trajectories. This work is concerned by the de Broglie-Bohm account of the properties of semiclassical systems. Semiclassical systems are quantum systems that display the manifestation of classical trajectories: the wavefunction and the observable properties of such systems depend on the trajectories of the classical counterpart of the quantum system. For example the quantum properties have (...) a regular or disordered aspect depending on whether the underlying classical system has regular or chaotic dynamics. In contrast, Bohmian trajectories in semiclassical systems have little in common with the trajectories of the classical counterpart, creating a dynamical mismatch relative to the quantum-classical correspondence visible in these systems. Our aim is to describe this mismatch (explicit illustrations are given), explain its origin, and examine some of the consequences on the status of Bohmian trajectories in semiclassical systems. We argue in particular that semiclassical systems put stronger constraints on the empirical acceptability and plausibility of Bohmian trajectories because the usual arguments given to dismiss the mismatch between the classical and the de Broglie-Bohm motions are weakened by the occurrence of classical trajectories in the quantum wavefunction of such systems. (shrink)

Many philosophers would concede that mathematics contributes to the abstractness of some of our most successful scientific representations. Still, it is hard to know what this abstractness really comes to or how to make a link between abstractness and success. I start by explaining how mathematics can increase the abstractness of our representations by distinguishing two kinds of abstractness. First, there is an abstract representation that eschews causal content. Second, there are families of representations with a common mathematical core that (...) is variously interpreted. The second part of the paper makes a connection between both kinds of abstractness and success by emphasizing confirmation. That is, I will argue that the mathematics contributes to the confirmation of these abstract scientific representations. This can happen in two ways which I label "direct" and "indirect". The contribution is direct when the mathematics facilitates the confirmation of an accurate representation, while the contribution is indirect when it helps the process of disconfirming an inaccurate representation. Establishing this conclusion helps to explain why mathematics is prevalent in some of our successful scientific theories, but I should emphasize that this is just one piece of a fairly daunting puzzle. (shrink)

In this paper, I analyze the extent to which classical phase transitions, especially continuous phase transitions, impose a challenge for reduction- ism. My main contention is that classical phase transitions are compatible with reduction, at least with the notion of limiting reduction, which re- lates the behavior of physical quantities in different theories under certain limiting conditions. I argue that this conclusion follows even after rec- ognizing the existence of two infinite limits involved in the treatment of continuous phase transitions.