Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

This paper examines how three central aspects of personhood — the capacities of individuals, their normative status, and the social aspect of being recognized — are related, and how personhood depends on them. The paper defends first of all a ‘basic view’that while actual recognition is among the constitutive elements of full personhood, it is the individual capacities (and not full personhood) which ground the basic moral and normative demands concerning treatment of persons. Actual recognition depends analyti- cally on such (...) pre-existing normative requirements: it is a matter of responsiveness to them. The paper then discusses four challenges. The challenges claim that pace the basic view, the relevant capacities depend on recognition, that recognition seems to have normative rele- vance, and that the basic view cannot as such explain the equality either of persons, or of humans. Responding to these challenges amounts to refining the basic view accordingly. (shrink)

Four-dimensionalism, the stage theory version in particular, has been defended as the best solution for avoiding vagueness in regards to composition, persistence and identity. Stage theory is highly problematic by itself, and the two views usually packed with it, unrestricted composition and counterpart theory, are a heavy burden. However, dispensing with these two views, four-dimensionalism could avoid vague persistence by issuing a criterion that would establish sharp temporal boundaries for the existence of genuine entities (simples, molecules and living organisms). This (...) would avoid vague existence and vague identity, but in a way that is still compatible with endurantism. Nevertheless, a minimal (substantialist) four-dimensionalism, a worm perdurantist ontology, would fit better with the unique way in which organisms persist: by retaining both identity and intrinsic change. (shrink)

A number of claims are closely connected with, though logically distinct from, animalism. One is that organisms cease to exist when they die. Two others concern the relation of the brain, or the brainstem, to animal life. One of these holds that the brainstem is necessary for life—more precisely, that (say) my cat's brainstem is necessary for my cat's life to continue. The other is that it is sufficient for life—more precisely, that so long as (say) my cat's brainstem continues (...) to function, so too does my cat. I argue against these claims. (shrink)

This article aims to show that fundamentality is construed differently in the two most prominent strategies of analysis we find in physical science and engineering today: (1) atomistic, reductive analysis and (2) Systems analysis. Correspondingly, atomism is the conception according to which the simplest (smallest) indivisible entity of a certain kind is most fundamental; while systemism, as will be articulated here, is the conception according to which the bonds that structure wholes are most fundamental, and scale and/or constituting entities are (...) of no significance whatsoever for fundamentality. Accordingly, atomists maintain that the basic entities—the atoms—are fundamental, and together with the “external” interactions among them, are sufficient for illuminating all the features and behaviors of the wholes they constitute; whereas systemists proclaim that it is instead structural qualities of systems, that flow from internal relations among their constituents and translate directly into behaviors, that are fundamental, and by themselves largely (if not entirely) sufficient for illuminating the features and behaviors of the wholes thereby structured. Systemism, as will be argued, is consistent with the nonexistence of a fundamental “level” of nondecomposable entities, just as it is consistent with the existence of such a level. Still, systemism is a conception of the fundamental in quite different, but still ontological terms. Systemism can serve the special sciences—the social sciences especially—better than the conception of fundamentality in terms of atoms. Systemism is, in fact, a conception of fundamentality that has rather different uses—and importantly, different resonances. This conception of fundamentality makes contact with questions pertaining to natural kinds and their situation in the metaphysics of the special sciences—their situation within an order of autonomous sciences. The controversy over fundamentality is evident in the social sciences too, albeit somewhat imperfectly, in the terms of debate between methodological individualists and functionalists/holists. This article will thus clarify the difference between systemism and holism. (shrink)

In this paper I argue that adopting a perdurance view of persistence through time does not lead to skepticism about moral responsibility, despite what many theorists have thought.

Ordinary objects are vague, because either (i) composition is restricted, or (ii) there really are no such objects (but we still want to talk about them), or (iii) because such objects are not metaphysically (independently of us) distinguishable from other 'extra-ordinary' objects. In any sense in which there are ordinary objects, they are vague.

David Lewis (1986) criticizes moderate views of composition on the grounds that a restriction on composition must be vague, and vague composition leads, via a precisificational theory of vagueness, to an absurd vagueness of existence. I show how to resist this argument. Unlike the usual resistance, however, I do not jettison precisificational views of vagueness. Instead, I blur the connection between composition and existence that Lewis assumes. On the resulting view, in troublesome cases of vague composition, there is an object, (...) which definitely exists, about which it is vague whether the relevant borderline parts compose it. (shrink)

I argue that relations between non-identical times, such as the relations, earlier than, later than, or 10 seconds apart, involve contradiction, and only co-temporal relations are non-contradictory, which would leave presentism the only non-contradictory theory of time. The arguments I present are arguments that I have not seen in the literature.

Traditional procedures for rational updating fail when it comes to self-locating opinions, such as your credences about where you are and what time it is. This paper develops an updating procedure for rational agents with self-locating beliefs. In short, I argue that rational updating can be factored into two steps. The first step uses information you recall from your previous self to form a hypothetical credence distribution, and the second step changes this hypothetical distribution to reflect information you have genuinely (...) learned as time has passed. While the second step resembles traditional procedures of updating by conditionalization, the first is best understood by analogy to traditional models of how agents transmit self-locating opinions through ordinary interpersonal communication. (shrink)

Virtually everyone agrees that, even after having presented the arguments for their positions, proponents of revisionary philosophical theories are required to provide some sort of account of the conflict between their theories and what the folk believe. I examine various strategies for answering the challenge from folk belief. The examination proceeds as a case study, whose focus is eliminativism about ordinary material objects. I critically assess eliminativist attempts to explain folk belief by appeal to paraphrase, experience, and intuition.

A variety of relations widely invoked by philosophers—composition, constitution, realization, micro-basing, emergence, and many others—are species of what I call ‘building relations’. I argue that they are conceptually intertwined, articulate what it takes for a relation to count as a building relation, and argue that—contra appearances—it is an open possibility that these relations are all determinates of a common determinable, or even that there is really only one building relation.

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

An age-old proposal that to be is to be a unity, or what I call a grouping, is updated and applied to the question “Why is there something rather than nothing?” (WSRTN). I propose the straight-forward idea that a thing exists if it is a grouping which ties zero or more things together into a new unit whole and existent entity. A grouping is visually manifested as the surface, or boundary, of the thing. In regard to WSRTN, when we subtract (...) away all existent entities, including the mind of the thinker, the resulting situation that we usually call “nothing would, by its very nature, be the whole amount, or entirety, of the situation. It completely defines the situation. The inherent nature of “nothing” is that it’s everything. Is there anything else besides that “nothing”? No. It is “nothing”, and this “nothing” is it, the all. A whole amount/entirety/all is a grouping, meaning that “nothing” is itself an existent entity. One objection might be that being a grouping is a property so how can it be there in “nothing”? The answer is that it is only once all known existent entities, including all properties and the mind visualizing this, are removed does this “nothing” gain the entirety/all grouping property. Therefore, the very lack of all existent entities is itself what allows this new property to be present and thereby to allow “nothing” to be an existent entity. This entirety/all grouping property is inherent, or intrinsic, to “nothing” and cannot be removed to get a more pure “nothing”. While the idea that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is. (shrink)

In "Sider on Existence" (Noužs, 2007), David Liebesman and Matti Eklund argue that my "indeterminacy argument", according to which quantifiers are never vague, clashes with my "naturalness argument", according to which quantifiers "carve at the joints". There is, I argue, no outright inconsistency. But Liebesman and Eklund have shown that my arguments are not as independent as it may have appeared. The best defense of the indeterminacy argument is via the naturalness argument.

In his paper ‘Mind, Mortality and Material Being’ Paul Anders attempts to show that Peter van Inwagen’s materialist metaphysics of the human person, combined with the belief that human persons survive death, faces a dilemma. Either, on the one hand, van Inwagen has to accept an account of the survival of human persons across death that cannot escape the duplication objection, or, on the other hand, van Inwagen has to accept an account of the survival of human persons across death (...) that entails the possibility of that which is logically impossible and, in consequence, renders his metaphysics necessarily false. This paper is concerned with the second horn of the dilemma. In this paper, I will attempt to do two things. First, I will attempt to show that Anders’ description of van Inwagen’s ‘naked kernel’ account of the survival of human persons across death is, at times, unclear, before, second, attempting to demonstrate that there is a response that van Inwagen could give to Anders’ argument regardless of these unclarities. Consequently, I think that, at least until Anders’ description is made clearer, and until Anders tells us why van Inwagen can’t opt for the solution I propose, we should consider van Inwagen’s inclination that God can preserve a kernel that is sufficient for the survival of human persons across death to be unharmed by Anders’ argument. (shrink)

Normally this is not how we think material objects work. I, for example, am a material object that is located in multiple places: this place to my left where my left arm is, and this, distinct, place to my right, where my right arm is. But I am only partially located in each place. My left arm is a part of me that fills exactly the place to my left, and my right arm is a distinct part of me that (...) fills exactly the place to my right. I am located in multiple places by virtue of having distinct parts in those places. So entension is not happening to me — I do not entend. (shrink)

There is a fundamental ontological difference between two kinds of entity: things and objects. Unlike things, objects are not identical to any fusion of particulars. Unlike things, objects do not have mereological parts. While things are ontologically innocent, objects are not. Objects are meaty. I defend the distinction between things and objects, and provide an account of the nature of objects.

It is often assumed that indeterminacy in mereological relations—in particular, indeterminacy in which collections of objects have fusions—leads immediately to indeterminacy in what objects there are in the world. This assumption is generally taken as a reason for rejecting mereological vagueness. The purpose of this paper is to examine the link between mereological vagueness and existential vagueness. I hope to show that the connection between the two forms of vagueness is not nearly so clear-cut as has been supposed.

Exotic ontologies are all the rage. Distant from common sense and often science as well, views like mereological essentialism, nihilism, and fourdimensionalism appeal to our desire to avoid arbitrariness, anthropocentrism, and metaphysical conundrums.1 Such views are defensible only if they are materially adequate, only if they can “reconstruct” the world of common sense and science. (No disrespect to the heroic metaphysicians of antiquity, but this world is not just an illusion.) In the world of common sense and science, bicycles survive (...) changes in their parts, billiard balls strike one another, and nothing travels faster than light. The mereological essentialist denies the rst, but offers this replacement: “there exist successions of numerically distinct, but appropriately related, bicycles with different parts” (Chisholm, , chapter ). The nihilist denies the second, but offers this replacement: “there exist X s and Y s such that the X s are arranged billiard-ball-wise, the Y s are also arranged billiard-ball-wise, and the X s strike the Y s”.2 The four-dimensionalist denies the third, but offers this replacement: “no sequences of matter-stages that are related by genidentity travel faster than light”.3 There is room for disagreement over what exactly “reconstruction” amounts to, but at a minimum: when a metaphysical theory reconstructs ordinary sentences φ1. . . as replacement sentences ψ1. . . , ordinary and scienti c evidence must not refute the view that, strictly speaking, it is ψ1. . . rather than φ1. . . that are true. The metaphysician needs reconstruction in order to face the tribunal of experience. An intriguing newcomer to the contemporary scene is the ancient doctrine of monism, the claim that “reality is one”.4 I will argue that, contrary to.. (shrink)

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

Particularists in material-object metaphysics hold that our intuitive judgments about which kinds of things there are and are not are largely correct. One common argument against particularism is the argument from arbitrariness, which turns on the claim that there is no ontologically significant difference between certain of the familiar kinds that we intuitively judge to exist (snowballs, islands, statues, solar systems) and certain of the strange kinds that we intuitively judge not to exist (snowdiscalls, incars, gollyswoggles, the fusion of the (...) my nose and the Eiffel Tower). Particularists frequently respond by conceding that there is no ontologically significant difference and embracing some sort of deflationary metaontology (relativism, constructivism, quantifier variance). I show -- by identifying ontologically significant differences -- that the argument can be resisted without retreating to any sort of deflationary metaontology. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

A critical survey of the main metaphysical theories concerning the nature of material objects (substratum theories, bundle theories, substance theories, stuff theories) and their identity conditions, both synchronic (monist vs. pluralist theories) and diachronic (three-dimensionalism, four-dimensionalism, sequentialism).

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

This article compares the ability to track individuals lacking mental states with the ability to track intentional agents. It explains why reference to individuals raises the problem of explaining how cognitive agents track unique individuals and in what sense reference is based on procedures of perceptual-motor and epistemic tracking. We suggest applying the notion of singular-files from theories in perception and semantics to the problem of tracking intentional agents. In order to elucidate the nature of agent-files, three views of the (...) relation between object- and agent-tracking are distinguished: the Independence, Deflationary and Organism-Dependence Views. The correct view is argued to be the latter, which states that perceptual and epistemic tracking of a unique human organism requires tracking both its spatio-temporal object-properties and its agent-properties. (shrink)

There’s an argument around from so-called “linguistic theories of vagueness”, plus some relatively uncontroversial considerations, to powerful metaphysical conclusions. David Lewis employs this argument to support the mereological principle of unrestricted composition, and Theodore Sider employs a similar argument not just for unrestricted composition but also for the doctrine of temporal parts. This sort of argument could be generalised, to produce a lot of other less palatable metaphysical conclusions. However, arguments to Lewis’s and Sider’s conclusions on the basis of considerations (...) about vagueness are uncompelling, even if we accept the crucial premises about vagueness. And a good thing too, since the generalised form of the argument would prove far too much. (shrink)

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

Trust me: my chair isn't big enough for two. You may doubt that every rational, conscious being is a person; perhaps there are beings that mistakenly believe themselves to be people. If so, read ‘rational, conscious being’ or the like for 'person'.

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

According to the prevalent 'sum view' of stuffs, each portion of stuff is a mereological sum of its subportions. The purpose of this paper is to re-examine the sum view in the light of a modal temporal mereology which distinguishes between different varieties of summation relations. While admitting David Barnett's recent counter-example to the sum view, we show that there is nonetheless an important sense in which all portions of stuff are sums of their subportions. We use our summation relations (...) to develop, as an alternative to the sum view, an analysis of stuffs that distinguisher between the ways in which different sorts of stuffs are sums of their subportions. (shrink)

Many philosophers think that, necessarily, any material objects have a fusion (let’s call that doctrine “Universalism”). In this paper I point out a couple of strange consequences of Universalism and related doctrines, and suggest that they are strange enough to constitute a powerful argument against those views.

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

The doctrine of Microphysical Supervenience (MS) states that: Necessarily, if atoms A1 through An compose an object that exemplified intrinsic qualitative properties Q1 through Qn, then atoms like A1 through An (in all their respective intrinsic qualitative properties), related to one another by all the same restricted atom-to-atom relations as A1 through An, compose an object that exemplifies Q1 through Qn. I show that MS entails a contradiction and so must be rejected. And my argument against MS provides the resources (...) to show that Global Microphysical Supervenience (GMS) is false. GMS states that possible worlds qualitatively exactly alike at the microphysical level are qualitatively exactly alike at the macrophysical level. (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 develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 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 develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. 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 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 paper provides an exposition of the structuralist approach to underdetermination, which aims to resolve the underdetermination of theories by identifying their common theoretical structure. Applications of the structuralist approach can be found in many areas of philosophy. I present a schema of the structuralist approach, which conceptually unifies such applications in different subject matters. It is argued that two classic arguments in the literature, Paul Benacerraf’s argument on natural numbers and W. V. O. Quine’s argument for the indeterminacy of (...) translation, can be analyzed as instances of the structuralist schema. These two applications illustrate different kinds of conclusions that can be drawn through the structuralist approach; Benacerraf’s argument shows that we can derive an ontological conclusion about the given subject matter, while Quine’s structuralist approach leads to a semantic conclusion about how to determine linguistic meanings given radical translation. Then, as a case study, I review a recent debate in metaphysics between Shamik Dasgupta, Jason Turner, and Catharine Diehl to consider the extent to which different instances of the structuralist schema are conceptually unified. Both sides of the debate can be interpreted as utilizing the structuralist approach; one side uses the structuralist approach for an ontological conclusion, while the other side relies on a semantic conclusion. I argue that this has a strong dialectical consequence, which sheds light on the conceptual unity of the structuralist approach. (shrink)

I here defend microphysical manyism. According to microphysical manyism, each composite or higher-level object is a mere plurality of microphysical particles. After clarifying the commitments of the view, I offer two physicalist-friendly arguments in its favour. The first argument appeals to the Canberra Plan. Here I argue that microphysical particles acting in unison play the theoretical roles associated with composite objects - that they do everything that we think of composite objects as doing - and thus that composite objects are (...) to be identified with pluralities of microphysical particles. Along the way I rebut the objections that pluralities of particles don’t display the right emergent, ‘lingering’, or modal properties to be good candidates for identification with higher-level objects. In the second argument I claim that microphysical manyism is uniquely able to capture a compelling and widespread physicalist intuition concerning the intimate nature of the relationship between higher-level, composite objects and the microphysical world. (shrink)

In my dissertation, I address a variety of issues in the metaphysics of space and related areas. I begin by discussing the popular thesis that regions of space are identical to sets of points in space. I present three arguments against this thesis and conclude that we should be skeptical of it. In its place, I propose an axiomatic theory of regions of space that is consistent with both reductive accounts of their nature and with accounts that treat them as (...) sui generis entities. -/- I next explore the consequences of the aforementioned considerations. In particular, I describe five different sorts of structure each of which is such that the claim that space could have that structure is consistent with the axiomatic theory previously proposed. I claim that this fact, together with the skepticism concerning reductive accounts argued for earlier, shows that we should take seriously the claim that space could have any of these structures. -/- Having argued that we should be skeptical of the thesis that regions of space are identical to sets of points in space and suggesting that space could have different sorts of structure, I discuss how best to analyze continuity. I present an analysis of continuity inspired by remarks of Richard Cartwright in his 1975 paper ‘Scattered Objects’. I argue that this Cartwrightian analysis should be rejected because it identifies regions of space with sets of points in space, and I present a modified version of the analysis that does not do so. I note, however, that there is an intuitive notion of continuity that is not captured by this modified Cartwrightian analysis. I present and defend an analysis of continuity that better captures this intuitive notion. -/- I then turn to the issue of how to analyze what it is for a region of space to be open and what it is for a region of space to be closed. Here I argue that Cartwright’s analyses of these notions are incorrect. I then present a series of alternative analyses, revising each in response to objections. This process culminates with my proposed analyses of what it is for a region of space to be open and what it is for a region of space to be closed. -/- Finally, I discuss the Maximally Continuous Account of Simples (MaxCon), originally formulated and defended by Ned Markosian in his 1998 paper ‘Simples’. I argue that Markosian’s version of MaxCon, which identifies regions of space with sets of points in space and relies on the Cartwrightian analysis of continuity, should be rejected. I then formulate a new version of MaxCon that builds on the views defended earlier in my dissertation and defend this new version of MaxCon from objections. (shrink)

One of the main obstacles for panpsychism, the view that consciousness is fundamental and ubiquitous, is the difficulty of explaining how simple subjects could combine to form complex subjects. Known as the subject combination problem, it poses a possibly insurmountable challenge to the view. In this paper, I will assume that this challenge cannot be overcome and instead present a version of panpsychism that completely avoids talk of combination. Inspired by Gottfried Wilhelm Leibniz’s metaphysics of monads, I will focus on (...) a relational explanation of how simple subjects could constitute complex experiences, without them having to combine in virtue of their subjectivity. I call this view monadic panpsychism. Additionally, my proposal will not rely on emergence and so it will circumvent problems commonly faced by emergentist accounts. As I will argue, monadic panpsychism is preferable to combinatory and emergentist panpsychism because it faces a significantly less worrisome set of objections. Apart from being unaffected by the seemingly insuperable issue of subject combination, I will demonstrate that monadic panpsychism also has tools to address other kinds of the combination problem. That alone justifies the need for a new formulation of panpsychism, one which faces unique difficulties but also offers unique solutions. (shrink)

Panpsychism, the view that consciousness is present everywhere at the fundamental level of reality, has established itself as an increasingly popular option in the philosophy of mind. Situated between substance dualism and reductive physicalism, panpsychism aims to capture the intuitions behind both, integrating consciousness into the physical world without explaining it in terms of purely physical facts. In this thesis, I offer a defence of panpsychism. -/- First, I examine influential arguments against physicalism, such as Thomas Nagel’s (1974, 1979) perspective-based (...) proposal, Frank Jackson’s (1982) knowledge argument, David Chalmers’ (1996, 2010) conceivability argument, as well as vagueness arguments (Antony 2006a; Tye 1996). I argue that none of them offers a knockdown case against physicalism, particularly because of the threat presented by the phenomenal concept strategy (Chalmers 2007; Papineau 2007a), though they suggest panpsychism as a promising alternative that avoids many common objections. -/- Second, I discuss independent arguments for panpsychism, including the Russellian monist view (Goff 2017; Russell 1927/1992), the intrinsic nature argument (Seager 2006; Strawson 2006), recent developments in the literature as presented by Hedda Hassel Mørch (2018, 2020) and Luca Dondoni (2022), Tye’s (2021b) representational panpsychism based on the vagueness argument, as well as cosmopsychism (Nagasawa & Wager 2016; Shani 2015) – an alternative to panpsychism that shares its aims whilst claiming to avoid its shortcomings. -/- Third, I address the most pressing objection to panpsychism: the combination problem or the question of how fundamental consciousness can combine to lead to complex consciousness (James 1890). Focusing especially on the subject-summing version of the combination problem or the issue of how small subjects can combine to form complex subjects, I go over various proposals for either solving or avoiding it, such as Philip Goff’s (2016) phenomenal bonding relation and William Seager’s (2010) combinatorial infusion proposal, arguing against both and agreeing at the end with Sam Coleman (2014), who advocates that subject-summing is demonstrably incoherent. -/- However, as I argue in the fourth and final chapter, the panpsychist still has an option that avoids the subject-summing problem, while also circumventing the objections faced by the alternative view of cosmopsychism. Inspired though not reliant on the philosophy of Gottfried Wilhelm Leibniz (1902/2005), I introduce what I call monadic panpsychism, the view that the phenomenal character of any given consciousness-bearing physical ultimate is determined by its relations to other such ultimates featuring in the relevant causal structure. -/- The theory consists of two key claims. The first is that phenomenal qualities are relational rather than intrinsic. This view has precedent in literature on the philosophy of mind, such as in Rudolf Carnap (1928), Gottlob Frege (1956), Moritz Schlick (1959), as well as more recently in David Hilbert and Mark Kalderon (2000) and Austen Clark (2000), though not in the context of panpsychism. -/- The second claim is that physical ultimates only possess a very basic form of consciousness necessary for experiencing as such. There are many ways to conceptualise this basic consciousness: non-relational or intrinsic, rudimentary and non-specific, a point of view without experiences, the minimal subject, a mere conduit for experience, phenomenal space, etc. Russellian panpsychists offer a more detailed proposal in which every physical ultimate has an appropriate associated type of experience. For example, all quarks have the same quark-type of experience, assuming for the sake of discussion that quarks are ultimates. Still, arguing for a more minimal notion, as I do, requires making less claims and should not be controversial to any panpsychist. -/- So, what follows from these two claims? I propose that the relational constitution of phenomenal qualities has its endpoint at the fundamental level rather than at the level of a combined complex or emergent subject. Put simply, physical ultimates guarantee the basic consciousness or the point of view that I occupy, while the relational structure constitutes my rich and full human experience. So to speak, relationally constituted phenomenal qualities ‘anchor’ themselves in physical ultimates. As long as these relations result in a phenomenally unified experience, which is an uncontroversial thesis, then no matter where that process reaches the end of its causal chain, it will necessarily be experienced from a subjective point of view. -/- Since only qualities but not subjects need to combine, my proposal avoids the subject-summing version of the combination problem, which is arguably an insurmountable challenge to other forms of panpsychism. Because of this, I conclude that my theory contributes to the field, serving as a good starting point for further developments of neither combinatory nor emergent panpsychism with regard to subjects. (shrink)

The gist of the many-subjects argument is that, given physicalism, it’s hard to avoid the absurd result that there are many conscious subjects in your vicinity with more-or-less the same experiences as you. The most promising ways of avoiding this result have a consequence almost as bad: that there are many things in your vicinity that are in a state only trivially different from being conscious, a state with similar normative significance. This paper clarifies and defends three versions of the (...) many-subjects argument. One version poses the threat of conscious parts. Its key premise is that if physicalism is true, then not only you, but also certain parts of your body, are conscious. These parts might include your brain, your head, all-of-you-except-your-left-pinky, all-of-your-brain-except-one-neuron, or your left cerebral hemisphere. A second version poses the threat of conscious coinciders, things that currently occupy the same spatial region as you and share all your matter. Its key premise is that if physicalism is true, then not only you, but also some things that currently coincide with you, are conscious. These might include your body or the aggregate of particles of which you are currently composed. A third version poses the threat of conscious person candidates, the many human-body-shaped material objects in your vicinity that mostly overlap one another, differing only in a few peripheral atoms. This version claims that if physicalism is true, then there are many conscious person-candidates in your vicinity. -/- . (shrink)

Almost all philosophers interested in parthood and composition think that a composite object is a further thing, numerically distinct from the objects that compose it. Call this the orthodox view. I argue that the orthodox view is false, and that a composite object is identical to the objects that compose it (collectively). This view is known as composition as identity. -/- I argue that, despite its unpopularity, there are many reasons to favour com- position as identity over the orthodox view. (...) First, defenders of the orthodox view have not offered complete theories of composition. For instance, they have not given adequate accounts of heterogeneous properties like being black and white in composite objects. Nor have they given satisfactory explanations for the necessary connections that hold between composite objects and their proper parts. -/- Second, there appears to be no good way for defenders of the orthodox view to remedy this. Any account of the heterogeneous properties of composite objects which is compatible with the orthodox view faces serious problems, as does any account of the necessary connections between an object and its proper parts. Composition as identity, on the other hand, is compatible with intuitive responses to both of these challenges. -/- Third, there are a number of strong arguments in favour of composition as identity. For example, composition as identity fits our evidence about the way the world is better than the orthodox view does. It also allows us to easily maintain that composition sometimes occurs and sometimes does not—i.e., it allows us to easily maintain that composition is restricted. The orthodox view does not. The theories of composition put forward by most philosophers are at best incomplete or in need of improvement. At worst, they are false and composition as identity is true. (shrink)