The hole argument concludes that substantivalism about spacetime entails the radical indeterminism of the general theory of relativity (GR). In this paper, I amend and defend a response to the hole argument first proposed by Butterfield (1989) that relies on the idea of counterpart substantivalism. My amendment clarifies and develops the metaphysical presuppositions of counterpart substantivalism and its relation to various definitions of determinism. My defence consists of two claims. First, contra Weatherall (2018) and others: the hole argument is not (...) a blunder resulting from a mistaken view on how mathematical physics works, and requires a developed (meta)metaphysical response. Second, contra Melia (1999) and others: one can be content with a notion of determinism for GR which is not sensitive to merely haecceitistic differences. (shrink)

According to First-Person Realism, one's own first-person perspective on the world is metaphysically privileged in some way. After clarifying First-Person Realism by reference to parallel debates in the metaphysics of modality and time, I survey eight different arguments in favor of First-Person Realism.

This paper aims to demonstrate that the ontology of consciousness is consistent with both the modal and the metaphysical versions of Haecceitism. I examine the varieties of Haecceitism, and I specify the intended versions that the arguments will vindicate. I define the property of 'being purely qualitative', and examine its relation to the properties of phenomenal consciousness. I draw, inter alia, on Bayesian perceptual psychology, in order to specify the identity-conditions of phenomenal properties in detail. I provide two, abductive arguments (...) for the claim that the identity-conditions on some individuals are metaphysically haecceitistic, in virtue of the relations that hold between those individuals and the phenomenal properties that they instantiate. The first argument is corroborated by empirical results concerning the phenomenological effects of attention. The second argument is corroborated by empirical results from the study of color in vision science. The arguments vindicate a version of Metaphysical Haecceitism, because the individuals are shown to be typed by the phenomenal properties that they instantiate, although quantification over the individuals is an ineliminable condition on their identity and distinctness. I provide, then, a regimentation of the extant proposals in the ontology of consciousness, using the logic of hyperintensional ground, as augmented by the Bayesian probability calculus. The hyperintensional regimentation vindicates a version of Modal Haecceitism, because the probabilistic ontological dependence of the parts of worlds on other parts thereof provides an ineliminable condition on the identity and distinctness of worlds. (shrink)

David Lewis argues at length against haecceitism and goes as far as claiming that, on a certain counterpart-theoretic construal, the doctrine is unintelligible or inconsistent. I argue, contra Lewis, that both qualitative and non-qualitative counterpart theory are in fact committed to haecceitism, but that this commitment is harmless since what is really at stake for a counterpart theorist such as Lewis are more general supervenience claims that are independent of haecceitism. I further argue that Lewis's formulation of the doctrine suffers (...) from two important defects that, once remedied, free counterpart theory of its haecceitistic commitments. Along the way I discuss an objection to the effect that the cheap substitute is inconsistent in the presence of an 'actually' operator. This paper therefore brings together important critical discussion on haecceitism and counterpart theory. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

According to strong pluralism, objects distinct by virtue of their modal properties can coincide. The most common objection towards such view invokes the so-called Grounding Problem according to which the strong pluralist needs to explain what the grounds are for supposed modal differences between the coincidents. As recognized in the literature, the failure to provide an answer to the Grounding Problem critically undermines the plausibility of strong pluralism. Moreover, there are strong reasons to believe that strong pluralists cannot provide an (...) explanation of the Grounding Problem. In this paper, we argue that strong pluralism can be motivated independently of the successful answer to the Grounding Problem. In order to achieve that aim, we provide a haecceitistic interpretation of strong pluralism according to which strong pluralism should be read as a position committed to the existence of primitive individuals, i.e., the individuals that have their criteria of individuation independently of their qualitative profiles. That said, we do not aim at defending haecceitism. Instead, our aim is rather modest: we want to provide a new way for the strong pluralist to supplement his view to make it more watertight. (shrink)

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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 book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines 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 and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (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} is 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 Elohim's 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. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher 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 two-dimensional 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 interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. 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)

In this paper, I consider the role of exact symmetries in theories of physics, working throughout with the example of gravitation set in Newtonian spacetime. First, I spend some time setting up a means of thinking about symmetries in this context; second, I consider arguments from the seeming undetectability of absolute velocities to an anti-realism about velocities; and finally, I claim that the structure of the theory licences us to interpret models which differ only with regards to the absolute velocities (...) of objects as depicting the same physical state of affairs. In defending this last claim, I consider how ideas and resources from the philosophy of language may usefully be brought to bear on this topic. (shrink)

It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter 1 (...) explains basic issues associated with the possible world approach to modality. I overview modal realist and actualist views on possible worlds and explain why I support the actualist approach. Subsequently, I introduce a distinction between Platonic and Aristotelian actualism, and discuss some semantic issues associated with actualism as such. In Chapter 2 I argue that Aristotelian actualism, modeled on linguistic ersatzism, is preferable over its Platonic counterpart. Subsequently, I propose a metaphysical framework for Aristotelian ersatzism which is based on a claim that our modal concepts work differently for actual and possible individuals. In order to explain that claim I introduce three specific differences concerning modal features of actual and possible individuals: (a) Representational Difference, according to which actual and possible individuals are represented differently by possible worlds; (b) Metaphysical Difference, according to which actual and possible individuals are represented by possible worlds as having different metaphysical nature; (c) Modal Difference, which says while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. I propose to interpret those differences in terms of the doctrines of haecceitism, antihaecceitism and existentialism. There is however no consensus on how those views should be characterized. Chapters 3, 4, and 5 focus on providing a precise characterization of those doctrines. Chapter 3 focuses on the doctrines of modal haecceitism and antihaecceitism, which I view as opposite accounts of how possible worlds represent possibilities. According to modal haecceitism what possible worlds say about particular individuals does not supervene on what they say qualitatively. Modal antihaecceitism is a denial of such a claim. Chapter 4 concerns metaphysical haecceitism and antihaecceitism, which I take to be alternative accounts of the fundamental structure of reality. For the metaphysical haecceitist reality contains irreducible singular facts, while for the metaphysical antihaecceitist reality is purely qualitative and general. Chapter 5 focuses on an argument between existentialists and antiexistentialists. Existentialists claim that there are contingent singular propositions, while antiexistentialists deny that. I defend existentialism against antiexistentialist counterarguments, as well as criticize some of the antiexistentialist accounts of singular propositions modeled on the notion of individual essence. In Chapter 6, by appealing to the results of investigations conducted in Chapters 3, 4 and 5, I reconsider Representational, Metaphysical and Modal Differences. According to a view that I propose: (a) Representational Difference entails (extreme) modal haecceitism for actual individuals but (extreme) modal antihaecceitism for possible individuals; (b) Metaphysical Difference entails metaphysical haecceitism (individualism) for actual individuals, but metaphysical antihaecceitism (generalism) for possible individuals; finally (c) Modal Difference entails existentialism: while there are singular and contingent possibilities involving actual individuals, all possibilities about possible individuals are general and necessary. In Chapter 6, I also explain the implications of those views for the various issues, including transworld identity, essentialism, or the modal status of modal space. Lastly, Chapter 7 overviews some semantic and metaphysical applications of Aristotelian ersatzism. I explain how it manages to accommodate Kripkean semantics and how it is able to account for the possibilities of indiscernibles, alien individuals and iterated modalities. I also address some possible objections to my proposal, including an issue of implicit representation and the Humphrey objection. (shrink)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

According to haecceitism, some maximal possibilities differ even while they are qualitatively indiscernible. Since haecceitism is a modal thesis, it is typically defended by appeal to conceivability arguments. These arguments require us to conceive of qualitatively indiscernible possibilities that differ only with respect to the identity of the individuals involved. This paper examines a series of conceivability arguments for haecceitism and a variety of anti-haecceitist responses. It concludes that there is no irresistible conceivability argument for haecceitism even while anti-haecceitist responses (...) do come with certain notable commitments. (shrink)

Haecceitism and Hume’s Dictum are each controversial theses about necessity and possibility. According to haecceitism, there are qualitatively indiscernible possible worlds that differ only with respect to which individuals occupy which qualitative roles. According to Hume’s Dictum, there are no necessary connections between distinct entities or, as Humeans sometimes put it, reality admits of “free recombination” so any entities can co-exist or fail to co-exist. This paper introduces a puzzle that results from the combination of haecceitism and Hume’s Dictum. This (...) puzzle revolves around the free recombination of non-qualitative properties like being Socrates. After considering several responses to this puzzle, I defend an ideology-driven solution, which dispenses with non-qualitative properties like being Socrates in favour of primitive theoretical ideology while, at the same time, preserving a commitment to both haecceitism and Hume’s Dictum. (shrink)

How, if at all, can scientific progress improve our view of the modal facts? According to rationalist approaches to modal epistemology, science has no substantive role: a priori reflection reveals the structure of modal space, and a posteriori science merely locates us within that modal space, by identifying the actual properties and structures instantiated at our world. According to modal naturalist approaches, science provides evidence about the structure of the underlying modal space. In this paper I distinguish four versions of (...) modal naturalism, with science playing an increasingly robust evidential role, and discuss their plausibility. (shrink)