Ladyman and Presnell have recently argued that the Hole argument is naturally resolved when spacetime is represented within homotopy type theory rather than set theory. The core idea behind their proposal is that the argument does not confront us with any indeterminism, since the set-theoretically different representations of spacetime involved in the argument are homotopy type-theoretically identical. In this article, we will offer a new resolution based on ZFC set theory to the argument. It neither relies on a constructive-intuitionistic form (...) of mathematics, as used by Ladyman and Presnell, nor is foundationally problematic, such as the existing set-theoretic suggestions. (shrink)

A standard line in the contemporary philosophical literature has it that physical theories are equivalent only when they agree on their empirical content, where this empirical content is often understood as being encoded in the equations of motion of those theories. In this article, we question whether it is indeed the case that the empirical content of a theory is exhausted by its equations of motion, showing that (for example) considerations of boundary conditions play a key role in the empirical (...) equivalence (or otherwise) of theories. Having argued for this, we show that philosophical claims made by Weatherall (2016) that electromagnetism in the Faraday tensor formalism is equivalent to electromagnetism in the vector potential formalism, and by Knox (2011) that general relativity is equivalent to teleparallel gravity, can both be called into question. We then show that properly considering the role of boundary conditions in theory structure can potentially restore these claims of equivalence and close with some remarks on the pragmatics of adjudications on theory identity. (shrink)

The structuralist approach represents the relation between a model and physical system as a relation between two mathematical structures. However, since a physical system is _prima facie_ _not_ a mathematical structure, the structuralist approach seemingly fails to represent the fact that science is about concrete, physical reality. In this paper, I take up this _problem of lost reality_ and suggest how it may be solved in a purely structuralist fashion. I start by briefly introducing both the structuralist approach and the (...) problem of lost reality and discussing the various (non-structuralist) solutions that have been proposed in the literature. Following this, I decompose the problem into the _ontological mismatch_ and _specification_ problems. In response to the former, I present a _metascientific dissolution argument_, according to which the difference in kind between mathematical structures and physical systems poses no deep obstacle to the structuralist approach, and consider some upshots of this argument for our views on representation. By way of conclusion, I argue that the metascientific dissolution argument paves the way for a solution to the specification problem as well. (shrink)

The epistemic value of models has traditionally been approached from a representational perspective. This paper argues that the artifactual approach evades the problem of accounting for representation and better accommodates the modal dimension of modeling. From an artifactual perspective, models are viewed as erotetic vehicles constrained by their construction and available representational tools. The modal dimension of modeling is approached through two case studies. The first portrays mathematical modeling in economics, while the other discusses the modeling practice of synthetic biology, (...) which exploits and combines models in various modes and media. Neither model intends to represent any actual target system. Rather, they are constructed to study possible mechanisms through the construction of a model system with built-in dependencies. (shrink)

Previously, I (Boesch 2017) described a notion called “representational licensing”—the set of activities of scientific practice by which scientists establish the intended representational use of a vehicle. In this essay, I expand and develop this concept of representational licensing. I begin by showing how the concept is of value for both pragmatic and substantive approaches to scientific representation. Then, through the examination of a case study of the Mississippi River Basin Model, I point out and explain some of the activities (...) of representational licensing that help to establish the representational nature of this model. Throughout the exploration of the case study, I pause to identify some important lessons which apply more generally about the nature of representational licensing in science. (shrink)

In this paper we develop an inferential account on the meaning and reference of theoretical concepts in physics, mainly based on the pragmatic notion of ‘inferential validity’. Firstly, we distinguish between empirical meaningfulness and theoretical significance as two different modes of meaning, wherein the former depends on consistently encoding experimental values, as proposed by Chang, and the latter on being semantically coherent with other concepts. Secondly, we argue that each of these contributions to the validity of inferences imports a causal (...) and representational mechanism of reference-fixing, respectively. Finally, we will rely on entropy concepts as our case study. (shrink)

Scientific inquiry has led to immense explanatory and technological successes, partly as a result of the pervasiveness of scientific theories. Relativity theory, evolutionary theory, and plate tectonics were, and continue to be, wildly successful families of theories within physics, biology, and geology. Other powerful theory clusters inhabit comparatively recent disciplines such as cognitive science, climate science, molecular biology, microeconomics, and Geographic Information Science (GIS). Effective scientific theories magnify understanding, help supply legitimate explanations, and assist in formulating predictions. Moving from their (...) knowledge-producing representational functions to their interventional roles (Hacking 1983), theories are integral to building technologies used within consumer, industrial, and scientific milieus. -/- This entry explores the structure of scientific theories from the perspective of the Syntactic, Semantic, and Pragmatic Views. Each of these views answers questions such as the following in unique ways. What is the best characterization of the composition and function of scientific theory? How is theory linked with world? Which philosophical tools can and should be employed in describing and reconstructing scientific theory? Is an understanding of practice and application necessary for a comprehension of the core structure of a scientific theory? How are these three views ultimately related? (shrink)

The main objective of this dissertation is to philosophically assess how the use of informational concepts in the field of classical thermostatistical physics has historically evolved from the late 1940s to the present day. I will first analyze in depth the main notions that form the conceptual basis on which 'informational physics' historically unfolded, encompassing (i) different entropy, probability and information notions, (ii) their multiple interpretative variations, and (iii) the formal, numerical and semantic-interpretative relationships among them. In the following, I (...) will assess the history of informational thermophysics during the second half of the twentieth century. Firstly, I analyse the intellectual factors that gave rise to this current in the late forties (i.e., popularization of Shannon's theory, interest in a naturalized epistemology of science, etc.), then study its consolidation in the Brillouinian and Jaynesian programs, and finally claim how Carnap (1977) and his disciples tried to criticize this tendency within the scientific community. Then, I evaluate how informational physics became a predominant intellectual current in the scientific community in the nineties, made possible by the convergence of Jaynesianism and Brillouinism in proposals such as that of Tribus and McIrvine (1971) or Bekenstein (1973) and the application of algorithmic information theory into the thermophysical domain. As a sign of its radicality at this historical stage, I explore the main proposals to include information as part of our physical reality, such as Wheeler’s (1990), Stonier’s (1990) or Landauer’s (1991), detailing the main philosophical arguments (e.g., Timpson, 2013; Lombardi et al. 2016a) against those inflationary attitudes towards information. Following this historical assessment, I systematically analyze whether the descriptive exploitation of informational concepts has historically contributed to providing us with knowledge of thermophysical reality via (i) explaining thermal processes such as equilibrium approximation, (ii) advantageously predicting thermal phenomena, or (iii) enabling understanding of thermal property such as thermodynamic entropy. I argue that these epistemic shortcomings would make it impossible to draw ontological conclusions in a justified way about the physical nature of information. In conclusion, I will argue that the historical exploitation of informational concepts has not contributed significantly to the epistemic progress of thermophysics. This would lead to characterize informational proposals as 'degenerate science' (à la Lakatos 1978a) regarding classical thermostatistical physics or as theoretically underdeveloped regarding the study of the cognitive dynamics of scientists in this physical domain. (shrink)

This thesis starts with three challenges to the structuralist accounts of applied mathematics. Structuralism views applied mathematics as a matter of building mapping functions between mathematical and target-ended structures. The first challenge concerns how it is possible for a non-mathematical target to be represented mathematically when the mapping functions per se are mathematical objects. The second challenge arises out of inconsistent early calculus, which suggests that mathematical representation does not require rigorous mathematical structures. The third challenge comes from renormalisation group (...) (RG) explanations of universality. It is argued that the structural mapping between the world and a highly abstract minimal model adds little value to our understanding of how RG obtains its explanatory force. I will address the first and second challenges from the similarity perspective. The similarity account captures representations as similarity relations, providing a more flexible and broader conception of representation than structuralism. It is the specification of the respect and degree of similarity that forges mathematics into a context of representation and directs it to represent a specific system in reality. Structuralism is treatable as a tool for explicating similarity rela-tions set-theoretically. The similarity account, combined with other approaches (e.g., Nguyen and Frigg’s extensional abstraction account and van Fraassen’s pragmatic equivalence), can dissolve the first challenge. Additionally, I will make a structuralist response to the second challenge, and suggestions regarding the role of infinitesimals from the similarity perspective. In light of the similarity account, I will propose the “hotchpotch picture” as a method-ological reflection of our study of representation and explanation. Its central insight is to dissect a representation or an explanation into several aspects and use different theories (that are usually thought of competing) to appropriate each of them. Based on the hotchpotch picture, RG explanations can be dissected to the “indexing” and “inferential” conceptions of explanation, which are captured or characterised by structural mappings. Therefore, structuralism accommodates RG explanations, and the third challenge is resolved. (shrink)

In this paper we argue for an integrated inferential conception about theories and representations and its role in accounting for the theoretical value of philosophically disregarded representational practices, such as the systematic use of phase space diagrams within the theoretical context of statistical mechanics. This proposal would rely on both inferentialism about scientific representations (Suárez 2004) and inferentialism about particular physical theories (Wallace 2017). We defend that both perspectives somehow converge into an integrated inferentialism by means of the thesis theories (...) as being composed of representations, as defended from the representational semantic conception defended by Suárez and Pero (2019). (shrink)

Throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following, I defend a semantic-representational conception of theories, where theories are identified with sets of scientific re-presentations by virtue of their epistemic potential and independently of their format. To show the potential of this proposal, I analyze as a case study the use of phase diagrams in statistical mechanics to convey in a semantically consistent and syntactically correct way (...) theoretical principles such as Liouville’s theorem. I conclude by defending this philosophical position as a tool to show the enormous representational richness underlying scientific practices. (shrink)