Rosenkranz (2021) offered a logic and a detailed account of justification, according to which justification that p can be analyzed as a form of second-level ignorance: ¬K¬Kp. An intuition behind the analysis is that the justified subject has the potential, at least in a nearby world, to either come to know p or come to know ¬Kp. However, given Rosenkranz’s hyperintensional semantics for modeling knowledge states, we can always construct, out of an ¬K¬K-agent’s knowledge state, epistemic possibilities that prohibit the (...) agent from having that potential. This shows that Rosenkranz’s analysis is still insufficient for carrying all the epistemic weight underlying the notion of justification. A better analysis would require a deeper look into an agent’s knowledge structure and its involved modalities, which could be a lot more complex than what the ¬K¬K rule tells us. (shrink)

I draw upon Helen Steward's concept of agential settling to argue that freedom requires an ability to change the truth‐value of tenseless future contingents over time from false to true and that this ability requires a metaphysically open future.

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

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)

I argue against the Standard View of ignorance, according to which ignorance is defined as equivalent to lack of knowledge, that cases of environmental epistemic luck, though entailing lack of knowledge, do not necessarily entail ignorance. In support of my argument, I contend that in cases of environmental luck an agent retains what I call epistemic access to the relevant fact by successfully exercising her epistemic agency and that ignorance and non-ignorance, contrary to what the Standard View predicts, are not (...) modal in the sense that knowledge is. After responding to objections, I conclude by sketching an alternative account of ignorance centered on the notions of epistemic access and epistemic agency. (shrink)

Suppose that, while you are dreamlessly asleep, the sizes of and distances between all objects in the world are uniformly multiplied. Would you be able to detect this global inflation? Intuitively, no. But would your experience of size remain accurate? Intuitively, yes. On these grounds, some have concluded that our experiences do not represent size and instead represent modes of presentation of size. We are, in this sense, ‘cut off’ from the sizes of things in the external world. Here, I (...) argue for a more modest conclusion: undetectable inflation reveals that our experiences represent only relative size. Call this view austere phenomenal relativism––or austere relativism, for short. I develop a framework to contrast austere relativism with its competitors, give an extended argument for the view, and then defuse a potential dilemma concerning the units in which our experiences represent size. (shrink)

Absolutism about mass claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Dasgupta, Oxford studies in metaphysics, Oxford University Press, Oxford, 2013) argues for comparativism about mass, in the context of Newtonian Gravity. Such an argument requires proving that comparativism is empirically adequate. Dasgupta equates this to showing that absolute masses are undetectable, and attempts to do so. This paper develops an argument by Baker to the contrary: absolute masses are in fact empirically meaningful, that is (...) detectable. Additionally, it is argued that the requirement of empirical adequacy should not be cashed out in terms of undetectability in the first place. The paper closes by sketching the possible strategies that remain for the comparativist. Along the way a framework is developed that is useful for thinking about these issues: Ozma games—how could one explain to an alien civilisation what an absolute mass is? (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...) then argue that this inexpressibility generalizes to all of their trivializing properties. Whether the Identity of Indiscernibles is trivially true ultimately turns on whether we can quantify over properties that we cannot express. (shrink)

People engage in pure moral inquiry whenever they inquire into the moral features of some act, agent, or state of affairs without inquiring into the non-moral features of that act, agent, or state of affairs. This chapter argues that ordinary people act rationally when they engage in pure moral inquiry, and so any adequate view in metaethics ought to be able to explain this fact. The Puzzle of Pure Moral Motivation is how to provide such an explanation. This chapter argues (...) that each of the standard views in metaethics has trouble providing such an explanation. Discussion of why reveals that a metaethical view can provide such an explanation only if it meets two constraints: it allows ordinary moral inquirers to know the essences of moral properties, and the essence of each moral property makes it rational to care for its own sake whether that property is instantiated. (shrink)

Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...) principles governing grounding, essence, and identity taken individually, and illuminates how the three interact. We also argue that the account compares favorably to an alternative unification of grounding and essence recently proposed by Kit Fine. (shrink)

The Epistemic Objection says that certain theories of time imply that it is impossible to know which time is absolutely present. Standard presentations of the Epistemic Objection are elliptical—and some of the most natural premises one might fill in to complete the argument end up leading to radical skepticism. But there is a way of filling in the details which avoids this problem, using epistemic safety. The new version has two interesting upshots. First, while Ross Cameron alleges that the Epistemic (...) Objection applies to presentism as much as to theories like the growing block, the safety version does not overgeneralize this way. Second, the Epistemic Objection does generalize in a different, overlooked way. The safety objection is a serious problem for a widely held combination of views: “propositional temporalism” together with “metaphysical eternalism”. (shrink)

Despite the recent increase in interest in philosophy about ignorance, little attention has been paid to the question of what makes it possible for a being to become aware of their own ignorance. In this paper, I try to provide such an account by arguing that, for a being to become aware of their own ignorance, they must have the mental capacity to represent something as being unknown to them. For normal adult humans who have mastered a language, mental representation (...) of an unknown is enabled by forming linguistic expressions whose content is grasped, but whose referent is unknown. I provide a neo-Fregean, a neo-Russellian, and then a unified account of this. On that basis, I then argue further that the content of ignorance can always be captured by a question. I then distinguish between propositional ignorance and non-propositional ignorance and argue that propositional ignorance attributions can be of three types, that-ignorance, whether-ignorance, and fact-ignorance. I conclude by arguing that the acquisition of truths, even when it yields knowledge that is certain, does not always eliminate one’s ignorance and that there is a degree of ignorance in almost everything we claim to know. (shrink)

Is the world internally connected by a web of necessary connections or is everything loose and independent? Followers of David Hume accept the latter by upholding Hume’s Dictum, according to which there are no necessary connections between distinct existences. Roughly put, anything can coexist with anything else, and anything can fail to coexist with anything else. Hume put it like this: “There is no object which implies the existence of any other if we consider these objects in themselves.” Since Hume’s (...) day, Hume’s Dictum has played a major role in philosophy, especially in contemporary metaphysics. In ruling out necessary connections, Hume’s Dictum implies that causal relations and the laws of nature are contingent. It makes other demands on our metaphysics of science as well; for example, it places restrictions on our metaphysics of counterfactuals, dispositions, and explanation. The principle has applications in other areas too. Hume’s Dictum places constraints on our theories of abstract objects and moral properties. For example, Hume’s Dictum rules out the view that moral properties are distinct from, but necessarily connected to, non-moral properties. While Hume’s Dictum is a prominent principle in metaphysics, few Humeans have defended the principle at length. It is assumed more often than it is argued for. As a result, Hume’s Dictum no longer enjoys the reputation it once did. It’s common to hear complaints about the lack of arguments in support of Hume’s Dictum. Moreover, philosophers are increasingly willing to defend views that are at odds with Hume’s Dictum. A striking example of this is the recent explosion of interest in views that take causal relations and the laws of nature to be necessary. Humeans can no longer afford to be complacent. An extended defense of Hume’s Dictum is called for, and that’s what this dissertation aims to offer. This dissertation has three parts. In the first part, I lay out some preliminaries and offer a precise formulation of Hume’s Dictum. In the second part, I develop three arguments in favor of Hume’s Dictum. In the final part, I defend Hume’s Dictum against objections. (shrink)

Many metaphysicians posit primitives. These vary with respect to the theoretical work that they perform, but are all undefinable in more basic terms. I argue against the existence of metaphysical primitives on the grounds that, if they existed, they would be essentially primitive. However, if primitives were essentially primitive, then they would have an essence. Because they are primitive, they lack an essence, which undermines the original supposition that they are primitive. I close by mentioning some implications this has both (...) for metaphysicians and for metaphysics more generally. (shrink)

This thesis concerns the metaphysics of scale. It investigates the implications of a physical determinable being dimensionful. In particular, it considers the case study of mass, as it features within Newtonian Gravity. Nevertheless, most of the terminology, methodology and arguments developed should be relatively straightforwardly applicable to other determinables and theories. -/- Weak Absolutism about mass holds that mass ratios obtain in virtue of absolute masses. Weak Comparativism denies this. In the first five chapters I argue in favour of Weak (...) Absolutism over Weak Comparativism. The sixth chapter argues against reducing mass to other non-mass facts. The overall conclusion is Strong Absolutism about mass within Newtonian Gravity: mass ratios obtain in virtue of absolute masses, which themselves are fundamental (i.e. they do not require anything further in order to obtain). -/- Comparativism promises to recover all the virtues of absolutism, in particular its empirical adequacy, but at a lower 'metaphysical cost'. Special attention is given to Dasgupta's recent comparativist proposal. Dasgupta interprets the requirement of empirical adequacy in terms of the undetectability of the absolute mass scale. I argue that undetectability is an unsuitable way of understanding empirical adequacy and that we would do better to understand it in terms of a theory's ability to correctly generate the set of empirically possible worlds (or at least the actual world). I refute Dasgupta's comparativism both on my terms and on his own terms. I subsequently develop and strongly criticise alternative versions of comparativism. Chapter five sheds doubt on the supposed 'metaphysical parsimony' of comparativism. -/- This debate should be of particular interest to readers who engage with the substantivalism-relationalism debate. These debates are much more entwined than previously acknowledged, which provides a significant source of mutual inspiration, although I do also draw out some important disanalogies. -/- . (shrink)

Philosophy Compass, Volume 17, Issue 4, April 2022.

This is the introductory essay to the collection of essays: 'Acquaintance: New Essays' (eds. Knowles & Raleigh, forthcoming, OUP). In this essay I provide some historical background to the concept of acquaintance. I examine various Russellian theses about acquaintance that contemporary acquaintance theorists may wish to reject. I consider a number of questions that acquaintance theorists face. I provide a survey of current debates in philosophy where acquaintance has recently been invoked. And I also provide brief summaries of the other (...) essays in this volume. (shrink)

According to contentful moral perception (CMP), moral properties can be perceived in the same sense as tables, tigers, and tomatoes. Recently, Heather Logue (2012) has distinguished between two potential ways of perceiving a property. A Kantian Property (KP) in perception is one in which a perceiver’s access involves a detection of the property via a representational vehicle. A Berkeleyan Property (BP) in perception is one in which a perceiver’s access to the property involves that property as partly constitutive of the (...) experience itself. In this paper, I set aside generalized arguments in favor of one view or another, and instead ask whether proponents of CMP have reasons to understand moral perception as Kantian or Berkeleyan. I explore three possible explanatory differences—(a) explaining the intrinsic motivating force of moral perceptions, (b) providing a metasemantics for moral properties, and (c) providing an epistemology of the normative authority of moral properties. (shrink)

It is common ground among proponents and detractors of wavefunction realism that the view ‘privileges position’, in the sense that it arbitrarily singles out one among a continuum infinity of wavefunction representations as characterizing the fundamental field: the position representation. This paper shows that, properly understood, wavefunction realism does not involve such an arbitrary choice. First, I argue that, though each wavefunction representation gives rise to a different version of wavefunction realism, the difference between these theories amounts to a mere (...) haecceitistic difference. Second, I argue that wavefunction realists should reconceive of their view as a role-based thesis that is silent about the relevant haecceitistic differences. (shrink)

David Lewis has argued that we cannot identify the fundamental properties. It is generally accepted that we can resist Lewis's conclusion if we are prepared to accept a structuralist account of fundamental properties, according to which their causal/nomological role is essential to their identity. I argue, to the contrary, that a structuralist construal of fundamental properties does not sustain a successful independent strategy for resisting Lewis's conclusion. The structuralist can vindicate our ability to identify fundamental properties only if she accepts (...) epistemic principles that suffice for blocking Lewis's conclusion even if fundamental properties are not construed along structuralist lines. (shrink)

Two families of positions dominate debates over a metaphysically reductive analysis of knowledge. Traditionalism holds that knowledge has a complete, uniquely identifying analysis, while knowledge-first epistemology contends that knowledge is primitive—admitting of no reductive analysis whatsoever. Drawing on recent work in metaphysics, I argue that these alternatives fail to exhaust the available possibilities. Knowledge may have a merely partial analysis: a real definition that distinguishes it from some, but not all other things. I demonstrate that this position is attractive; it (...) evades concerns that its rivals face. (shrink)

According to substantivalism, spacetime points and regions are real entities whose existence is not dependent on matter. In this paper, I motivate and defend a version of substantivalism which takes the totality of spacetime as fundamental, and show how this position avoids certain problem cases, in particular the objection from static Leibniz shifts, and better conforms to how we think about space in physics. I argue that, even though the static Leibniz shifts do not show ordinary substantivalism is committed to (...) in-principle undetectable physical structure ), they do indicate something problematic about the modal profile of space-time and its constituents. While the problem is modal, the solution cannot be solely a matter of revising the substantivalist's modal claims. Rather, I argue, the substantivalist must revise her background ontology of space-time. I show how this can be done by developing substantivalist theory that rejects this picture in favor of an alternative ontology of space-time in the spirit of priority monism. (shrink)

Philosophy Compass, Volume 17, Issue 10, October 2022.