This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic two-dimensional semantics. Chapter \textbf{3} provides an abstraction principle for epistemic (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...) and their metaphysical possibility or verification. I then generalize the approach to haecceitistic properties, and examine the Julius Caesar problem as a test case. (shrink)

The Great Divide in metaphysical debates about laws of nature is between Humeans, who think that laws merely describe the distribution of matter, and non-Humeans, who think that laws govern it. The metaphysics can place demands on the proper formulations of physical theories. It is sometimes assumed that the governing view requires a fundamental / intrinsic direction of time: to govern, laws must be dynamical, producing later states of the world from earlier ones, in accord with the fundamental direction of (...) time in the universe. In this paper, we propose a minimal primitivism about laws of nature (MinP) according to which there is no such requirement. On our view, laws govern by constraining the physical possibilities. Our view captures the essence of the governing view without taking on extraneous commitments about the direction of time or dynamic production. Moreover, as a version of primitivism, our view requires no reduction / analysis of laws in terms of universals, powers, or dispositions. Our view accommodates several potential candidates for fundamental laws, including the principle of least action, the Past Hypothesis, the Einstein equation of general relativity, and even controversial examples found in the Wheeler-Feynman theory of electrodynamics and retrocausal theories of quantum mechanics. By understanding governing as constraining, non-Humeans who accept MinP have the same freedom to contemplate a wide variety of candidate fundamental laws as Humeans do. (shrink)

The present comment on Solari and Natiello’s paper values their constructivist approach to Newtonian Mechanics. My critical point concerns only the link between the concept of force and phenomena. It will be shown that the idealised form of the law of inertia created by the authors avoids criticism of the law and that this law leads to the concept of force as the cause of acceleration. This concept appears in the authors’ reconstruction as an assumption. They add that this assumption (...) must be contrasted with experiments. Following this, I address an experiment, in which the force that is taken as the cause of acceleration, is not present in the phenomenon at stake. As it thus does not satisfy the property of locality, which any cause has to, force cannot be a cause. (shrink)

If there are fundamental laws of nature, can they fail to be exact? In this paper, I consider the possibility that some fundamental laws are vague. I call this phenomenon 'fundamental nomic vagueness.' I characterize fundamental nomic vagueness as the existence of borderline lawful worlds and the presence of several other accompanying features. Under certain assumptions, such vagueness prevents the fundamental physical theory from being completely expressible in the mathematical language. Moreover, I suggest that such vagueness can be regarded as (...) 'vagueness in the world.' For a case study, we turn to the Past Hypothesis, a postulate that (partially) explains the direction of time in our world. We have reasons to take it seriously as a candidate fundamental law of nature. Yet it is vague: it admits borderline (nomologically) possible worlds. An exact version would lead to an untraceable arbitrariness absent in any other fundamental laws. However, the dilemma between fundamental nomic vagueness and untraceable arbitrariness is dissolved in a new quantum theory of time's arrow. (shrink)

Introduction to Synthese SI: Systematicity: The Nature of Science?

I present an argument against a relational theory of spacetime that regards spacetime as a ‘structural quality of the field’. The argument takes the form of a trilemma. To make the argument, I focus on relativistic worlds in which there exist just two fields, an electromagnetic field and a gravitational field. Then there are three options: either spacetime is a structural quality of each field separately, both fields together, or one field but not the other. I argue that the first (...) option founders on a problem of geometric coordination and that the second and third options collapse into substantivalism. In particular, on the third option it becomes clear that the relationalist’s path to Leibniz equivalence is no simpler or more straightforward than the substantivalist’s. 1Introduction 2Background 2.1Relational theories of spacetime 2.2Brief remarks on general relativity 3First Horn: Geometric Coordination 4Second Horn: Problems of Coincidence 5Third Horn: General Relativity and Gauge 5.1Preventing collapse 5.2The revised shift argument 6Conclusion. (shrink)

Humeanism – the idea that there are no necessary connections between distinct existences – and Nomic Essentialism – the idea that properties essentially play the nomic roles that they do – are two of the most important and influential positions in the metaphysics of science. Traditionally, it has been thought that these positions were incompatible competitors. We disagree. We argue that there is an attractive version of Humeanism that captures the idea that, for example, mass essentially plays the role that (...) it actually does in the laws of nature. In this paper we consider the arguments that have lead many to conclude that Humeanism cannot be combined with Nomic Essentialism; we identify the weaknesses in these arguments; and we argue in detail that a version of Humeanism based on a variant of the Best System account of laws captures the key intuitions behind nomic essentialism. (shrink)

The laws of nature have come a long way since the time of Newton: quantum mechanics and relativity have given us good reasons to take seriously the possibility of laws which may be non-local, atemporal, ‘all-at-once,’ retrocausal, or in some other way not well-suited to the standard dynamical time evolution paradigm. Laws of this kind can be accommodated within a Humean approach to lawhood, but many extant non-Humean approaches face significant challenges when we try to apply them to laws outside (...) the time evolution picture. Thus for proponents of non-Humean approaches to lawhood there is a clear need for a novel non-Humean account which is capable of accommodating these sorts of laws. In this paper we propose such an account, characterizing lawhood in terms of constraints, which are understood as a form of modal structure. We demonstrate that our proposed realist account can indeed accommodate a large variety of laws outside the time evolution paradigm, and describe some possible applications to important philosophical problems. (shrink)

All physical theories, from classical Newtonian mechanics to relativistic quantum field theory, entail propositions concerning the geometric structure of spacetime. To give an example, the general theory of relativity entails that spacetime is curved, smooth, and four-dimensional. In this dissertation, I take the structural commitments of our theories seriously and ask: how is such structure instantiated in the physical world? Mathematically, a property like 'being curved' is perfectly well-defined insofar as we know what it means for a mathematical space to (...) be curved. But what could it mean to say that the physical world is curved? Call this the problem of physical geometry. The problem of physical geometry is a plea for foundations--a request for fundamental truth conditions for physical-geometric propositions. My chief claim is that only a substantival theory of spacetime--a theory according to which spacetime is an entity in its own right, existing over and above the material content of the world--can supply the necessary truth conditions. (shrink)

According to the Best System Account of lawhood, laws of nature are theorems of the deductive systems that best balance simplicity and strength. In this paper, I advocate a different account of lawhood which is related, in spirit, to the BSA: according to my account, laws are theorems of deductive systems that best balance simplicity, strength, and also calculational tractability. I discuss two problems that the BSA faces, and I show that my account solves them. I also use my account (...) to illuminate the nomological character of special science laws. (shrink)

Shamik Dasgupta has argued that realists about natural properties (and laws, grounding, etc.) cannot account for their epistemic value. For "properties are cheap": in addition to natural properties and any value the realist might attach to them, there are also "shmatural" properties (standing to natural properties like charge and mass as Goodman's grue and bleen stand to green and blue) and a corresponding "shmvalue" of theorizing in terms of them. Dasgupta's challenge is one of objectivity: the existence of the "shmamiked" (...) network of concepts threatens the objectivity of facts stated using the unshmamiked network. But the challenge can be repelled given a proper understanding of objectivity itself. (shrink)

I provide a new account of what it is for the laws of nature to govern the evolution of events. I locate the source of governance in the content of law propositions. As such, I do not appeal to primitive notions of ground, essence, or production to characterize governance. After introducing the account, I use it to outline previously unrecognized varieties of governance. I also specify that laws must govern to have two theoretical virtues: explanatory power as well as a (...) theoretical virtue I call expansiveness. A theory is expansive, roughly, when it can do more with less. (shrink)

The paper explores a particular line of objection against wave-function realism. This view, advocated by Bell and presently defended by Albert, North and Ney, claims tha...

Reductive accounts of the direction of time are often paired with Humean accounts of laws, while non-reductive accounts of time are often paired with anti-Humean accounts of laws. The traditional pairing of views has recently come under question. This paper aims to clarify what sorts of anti-Humean views motivate anti-reductionism about the direction of time. It is argued that those who think (i) that the laws are metaphysically fundamental, and (ii) that the laws contain time-asymmetric contents, should treat the arrow (...) of time as metaphysically fundamental. (shrink)

A common feature of all standard theories of the laws of nature is that they are "absolutist": They take laws to be either all metaphysically necessary or all contingent. Science, however, gives us reason to think that there are laws of both kinds, suggesting that standard theories should make way for "non-absolutist" alternatives: theories which accommodate laws of both modal statuses. In this paper, we set out three explanatory challenges for any candidate non-absolutist theory and discuss the prospects of the (...) two extant candidates in light of these challenges. We then develop our own non-absolutist theory, the essentialist DTA account, which combines the nomic-necessitation or DTA account with an essentialist approach to metaphysical modality in order to meet the three explanatory challenges. Finally, we argue that the distinction between kinematical and dynamical laws found in physical theories supports both non-absolutism in general and our proposed essentialist DTA view in particular. (shrink)

This article is concerned with the relationship between scientific practice and the metaphysics of laws of nature and natural properties. I begin by examining an argument by Michael Townsen Hicks and Jonathan Schaffer that an important feature of scientific practice—namely, that scientists sometimes invoke non-fundamental properties in fundamental laws—is incompatible with metaphysical theories according to which laws govern. I respond to their argument by developing an epistemology for governing laws that is grounded in scientific practice. This epistemology is of general (...) interest for non-Humean theories of laws, for it helps to explain our epistemic access to non-Humean theoretical entities such as governing laws or fundamental powers. (shrink)

David Armstrong accepted the following three theses: universals are immanent, laws are relations between universals, and laws govern. Taken together, they form an attractive position, for they promise to explain regularities in nature—one of the most important desiderata for a theory of laws and properties—while remaining compatible with naturalism. However, I argue that the three theses are incompatible. The basic idea is that each thesis makes an explanatory claim, but the three claims can be shown to run in a problematic (...) circle. I then consider which thesis we ought to reject and suggest some general lessons for the metaphysics of laws. (shrink)

Non‐Humean theories of natural necessity invoke modally‐laden primitives to explain why nature exhibits lawlike regularities. However, they vary in the primitives they posit and in their subsequent accounts of laws of nature and related phenomena (including natural properties, natural kinds, causation, counterfactuals, and the like). This article provides a taxonomy of non‐Humean theories, discusses influential arguments for and against them, and describes some ways in which differences in goals and methods can motivate different versions of non‐Humeanism (and, for that matter, (...) Humeanism). In short, this article provides an introduction to non‐Humeanism concerning the metaphysics of laws of nature and natural necessity. (shrink)

Humean accounts of laws of nature fail to distinguish between dynamic laws and static initial conditions. But this distinction plays a central role in scientific theorizing and explanation. I motivate the claim that this distinction should matter for the Humean, and show that current views lack the resources to explain it. I then develop a regularity theory that captures this distinction. My view takes empirical accessibility to be one of the primary features of laws, and I identify features laws must (...) have to be empirically accessible. I then argue that laws with these features tend to be dynamic. _1_ The Best System _1.1_ Orthodox Humeanism _2_ The Best Is Not Good Enough _2.1_ Laws and boundary conditions _2.2_ Laws and scientific practice _2.3_ An illustrative example _3_ Laws and Epistemic Roles _3.1_ The epistemic criterion _3.2_ The epistemic role account _3.3_ Scientific virtues _3.4_ Applying the epistemic role account _4_ Conclusion. (shrink)

The intuitive distinction between natural and unnatural properties (e.g., green vs. grue) informs our theorizing not only in fundamental physics, but also in non-fundamental domains. This paper develops a reductive account of this broad notion of naturalness that covers non-fundamental properties: for a property to be natural, I propose, is for it to figure in a law of nature. After motivating the account, I defend it from a potential circularity charge. I argue that a suitably broad notion of lawhood can (...) be defined independently of naturalness, if we help ourselves to the notion of a fundamental physical property. I end by showing how the notions of naturalness and lawhood that my account delivers help illuminate a number of other important philosophical notions, like causation, reference/meaning, and rational induction. (shrink)

A central tension shaping metaethical inquiry is that normativity appears to be subjective yet real, where it’s difficult to reconcile these aspects. On the one hand, normativity pertains to our actions and attitudes. On the other, normativity appears to be real in a way that precludes it from being a mere figment of those actions and attitudes. In this paper, I argue that normativity is indeed both subjective and real. I do so by way of treating it as a special (...) sort of artifact, where artifacts are mind-dependent yet nevertheless can carve at the joints of reality. In particular, I argue that the properties of being a reason and being valuable for are grounded in attitudes yet are still absolutely structural. (shrink)

The measurement problem concerns an apparent conflict between the two fundamental principles of quantum mechanics, namely the Schrödinger equation and the measurement postulate. These principles describe inconsistent behavior for quantum systems in so-called "measurement contexts." Many theorists have thought that the measurement problem can only be resolved by proposing a mechanistic explanation of (genuine or apparent) wavefunction collapse that avoids explicit reference to "measurement." However, I argue here that the measurement problem dissolves if we accept Humeanism about laws of nature. (...) On a Humean metaphysics, there is no conflict between the two principles, nor is there any inherent problem with the concept of "measurement" figuring into the account of collapse. (shrink)

This paper argues that much of the literature on interpreting scientific theories presupposes a certain picture of what interpretation involves: a picture according to which interpreting a theory is like translating from one language to another. In place of this “external” approach to interpretation, this paper proposes an “internal” approach, according to which interpretation is more concerned with delineating a theory’s internal semantic architecture.

Despite its apparent complexity, our world seems to be governed by simple laws of physics. This volume provides a philosophical introduction to such laws. I explain how they are connected to some of the central issues in philosophy, such as ontology, possibility, explanation, induction, counterfactuals, time, determinism, and fundamentality. I suggest that laws are fundamental facts that govern the world by constraining its physical possibilities. I examine three hallmarks of laws--simplicity, exactness, and objectivity--and discuss whether and how they may be (...) associated with laws of physics. (shrink)

Metaphysicians often distinguish between joints and basic ways. Joints are the unified and joint-carving properties that trace the structure of the world. They are theorized under the ideology of structural, perfectly natural, or sparse properties. Basic ways are the ultimate and independent properties that give rise to all others. They are theorized under the ideology of grounding, where the ungrounded properties are the basic ways. While these notions are often seen as rivals, I argue that we need both, because the (...) joints and the basic ways crosscut. For the sake being exhaustive and ecumenical, I distinguish between natural and normative sorts of joints and basic ways. I argue that, for either sort, if there is such a sort of joint and basic way, then there are joints that are not basic ways and there are basic ways that are not joints. (shrink)

This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I argue that the interaction between the multi-dimensional intensional framework and intensional plural quantification enables epistemic possibilities to target the haecceitistic properties of individuals. I outline the elements of plural logic, and I specify, then, a multi-dimensional intensional formula encoding the relation between the epistemic possibility of haecceity comprehension and its metaphysical possibility. I conclude by addressing objections from the indeterminacy (...) of ontological principles relative to the space of epistemic possibilities, and from the consistency of epistemic modal space. (shrink)

What exists at the fundamental level of reality? On the standard picture, the fundamental reality contains (among other things) fundamental matter, such as particles, fields, or even the quantum state. Non-fundamental facts are explained by facts about fundamental matter, at least in part. In this paper, I introduce a non-standard picture called the "cosmic void” in which the universe is devoid of any fundamental material ontology. Facts about tables and chairs are recovered from a special kind of laws that satisfy (...) strong determinism. All non-fundamental facts are completely explained by nomic facts. I discuss a concrete example of this picture in a strongly deterministic version of the many-worlds theory of quantum mechanics. I discuss some philosophical and scientific challenges to this view, as well as some connections to ontological nihilism. (shrink)

We should see the debate over the existence of spacetime as a debate about the fundamentality of spatiotemporal structure to the physical world. This is a non-traditional conception of the debate, which captures the spirit of the traditional one. At the same time, it clarifies the point of contention between opposing views and offsets worries that the dispute is stagnant or non-substantive. It also unearths a novel argument for substantivalism, given current physics. Even so, that conclusion can be overridden by (...) future physics. I conclude that this debate is a substantive one, which the substantivalist is currently winning. (shrink)