This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 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 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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)

Pixelism is the combination of three metaphysical thesis, namely a radical form of exdurantism, mereological nihilism and counterpart theory. Pixelism is a theory that evaluates all the metaphysical phenomena of persistence, composition and modality in a homogeneous and consistent manner. In a pixel world, there is no identity over time and over possible worlds and nothing persists over more than an instant or a world. Entities can be univocally identified by a five-coordinates system (the three spatial dimensions, the temporal one (...) and the possible worlds), and their relation is a counterpart relation both in different worlds and at different times or different regions of space. In this paper I will provide two models for pixelism: the first one takes pixels to be hypercubes, i. e. four-dimensional cubes, the acceptance of which is conditional on the acceptance of extended simples. The second one considers pixels as points in a four-dimensional space. (shrink)

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, the resulting "nothing" is the entirety, the all. That “nothing is the complete definition of the situation. An 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 ideas that “nothing” is a “something” that exists necessarily isn’t new, the grouping, or any, mechanism for how this can be so is. (shrink)

The thesis of Weak Unrestricted Composition says that every pair of objects has a fusion. This thesis has been argued by Contessa and Smith to be compatible with the world being junky and hence to evade an argument against the necessity of Strong Unrestricted Composition proposed by Bohn. However, neither Weak Unrestricted Composition alone nor the different variants of it that have been proposed in the literature can provide us with a satisfying answer to the special composition question, or so (...) we will argue. We will then go on to explore an alternative family of purely mereological rules in the vicinity of Weak Unrestricted Composition, Cardinal Composition: A plurality of pairwise non-overlapping objects composes an object iff the objects in the plurality are of cardinality smaller than $$\kappa $$ κ. As we will show, all the instances for infinite $$\kappa $$ κ s determine fusion and are compatible with junk, and every instance for a $$\kappa > \aleph _0$$ κ > ℵ 0 is furthermore compatible with gunk and dense chains of parthood. (shrink)

Ted Sider has famously argued that existence, in the unrestricted sense of ontology, cannot be vague, as long as vagueness is modeled by means of precisifications. The first section of Chapter 9 exposes some controversial assumptions underlying Sider’s alleged reductio of vague existence. The upshot of the discussion is that, although existence cannot be vague, it can be super-vague, i.e. higher-order vague, for all orders. The second section develops and defends a novel framework, dubbed negative supervaluationary semantics, which makes room (...) for the possibility of super-vague existence. (shrink)

This chapter discusses ontological commitment to properties, understood as ontological correlates of predicates. We examine the issue in four metaontological settings, beginning with an influential Quinean paradigm on which ontology concerns what there is. We argue that this naturally but not inevitably avoids ontological commitment to properties. Our remaining three settings correspond to the most prominent departures from the Quinean paradigm. Firstly, we enrich the Quinean paradigm with a primitive, non-quantificational notion of existence. Ontology then concerns what exists. We argue (...) that this strengthens the Quinean case against ontological commitment to properties while also newly distinguishing between stronger and weaker forms of nominalism. Secondly, we enrich the Quinean paradigm with the ideology of fundamentality. Ontology then centrally concerns what’s fundamental. We argue that this leaves ontological commitment to properties wide open although Bradleyan regress threatens. Thirdly, we enrich the Quinean paradigm with primitive higher-order quantifiers. Ontology then expands to concern what there higher-order is and what there first-order is. We argue that this naturally but not inevitably incurs ontological commitment to properties. (shrink)

Many say that ontological disputes are defective because they are unimportant or without substance. In this paper, we defend ontological disputes from the charge, with a special focus on disputes over the existence of composite objects. Disputes over the existence of composite objects, we argue, have a number of substantive implications across a variety of topics in metaphysics, science, philosophical theology, philosophy of mind, and ethics. Since the disputes over the existence of composite objects have these substantive implications, they are (...) themselves substantive. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

A crucial question for a process view of life is how to identify a process and how to follow it through time. The genidentity view can contribute decisively to this project. It says that the identity through time of an entity X is given by a well-identified series of continuous states of affairs. Genidentity helps address the problem of diachronic identity in the living world. This chapter describes the centrality of the concept of genidentity for David Hull and proposes an (...) extension of Hull’s view to the ubiquitous phenomenon of symbiosis. Finally, using immunology as a key example, it shows that the genidentity view suggests that the main interest of a process approach is epistemological rather than ontological and that its principal claim is one of priority, namely that processes precede and define things, and not vice versa. (shrink)

_ Source: _Page Count 28 This paper develops four proposals for explicating the notion of an ersatz part. It then evaluates each proposal with respect to a number of jobs for which ersatz parts are posited. We argue that each of the four notions of ersatz parthood do better with respect to some jobs, and worse with respect to others. Thus, we think, it’s horses for courses: which notion of ersatz part one chooses will be sensitive to which metaphysical project (...) one is pursuing. (shrink)

Van Inwagen proposes that besides simples only living organisms exist as composite objects. This paper suggests expanding van Inwagen’s ontology by also accepting composite objects in the case that physical bonding occurs (plus some extra conditions). Such objects are not living organ-isms but rather physical bodies. They include (approximately) the complete realm of inanimate ordinary objects, like rocks and tables, as well as inanimate scientific objects, like atoms and mol-ecules, the latter filling the ontological gap between simples and organisms in (...) van Inwagen’s origi-nal picture. We thus propose a compositional pluralism claiming that composition arises if and on-ly if bonding or life occurs. (shrink)

There has been an explosion of interest in the metaphysics of fundamentality in recent decades. The consensus view, called metaphysical foundationalism, maintains that there is something absolutely fundamental in reality upon which everything else depends. However, a number of thinkers have chal- lenged the arguments in favor of foundationalism and have proposed competing non-foundationalist ontologies. This paper provides a systematic and critical introduction to metaphysical foundationalism in the current literature and argues that its relation to ontological dependence and substance should (...) be qualified in important ways. (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'.

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)

I go deep into the biology of the human organism to argue that the psychological features and functions of persons are realized by cellular and molecular parallel distributed processing networks dispersed throughout the whole body. Persons supervene on the computational processes of nervous, endocrine, immune, and genetic networks. Persons do not go with brains.

Much of the debate about identity in recent decades has been about personal identity, and specifically about personal identity over time, but identity generally, and the identity of things of other kinds, have also attracted attention. Various interrelated problems have been at the centre of discussion, but it is fair to say that recent work has focussed particularly on the following areas: the notion of a criterion of identity; the correct analysis of identity over time, and, in particular, the disagreement (...) between advocates of perdurance and advocates of endurance as analyses of identity over time; the notion of identity across possible worlds and the question of its relevance to the correct analysis of de re modal discourse; the notion of contingent identity; the question of whether the identity relation is, or is similar to, the composition relation; and the notion of vague identity. A radical position, advocated by Peter Geach, is that these debates, as usually conducted, are void for lack of a subject matter: the notion of absolute identity they presuppose has no application; there is only relative identity. Another increasingly popular view is the one advocated by Lewis: although the debates make sense they cannot genuinely be debates about identity, since there are no philosophical problems about identity. Identity is an utterly unproblematic notion. What there are, are genuine problems which can be stated using the language of identity. But since these can be restated without the language of identity they are not problems about identity. (For example, it is a puzzle, an aspect of the so-called “problem of personal identity”, whether the same person can have different bodies at different times. But this is just the puzzle whether a person can have different bodies at different times. So since it can be stated without the language of personal “identity”, it is not a problem about identity, but about personhood.) This article provides an overview of the topics indicated above, some assessment of the debates and suggestions for further reading. (shrink)

A defense of the view that (i) to be alive is to be actively undergoing (not merely capable of undergoing) certain vital processes, that (ii) to die is cease to be capable of undergoing those processes (not to cease undergoing them), and that (iii) organisms in cryptobiosis (suspended animation) are not undergoing those processes but are capable of doing so, and are neither alive nor dead.

The paper argues -- against the standard view in metaphysics -- that the existence of ordinary objects like tomatoes is (near-enough) established by the fact that such things are apparently encountered in perception.

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.

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)

Se examina una de las maneras más naturales e intuitivas de entender las nociones de entidad fundamental y dependencia ontológica. Se argumenta que quienes adoptan estas nociones enfrentan serios problemas y se recomienda abandonarlas, lo que no quiere decir que no haya otra forma plausible de entender estos conceptos.

RESUMEN Se examina una de las maneras más naturales e intuitivas de entender las nociones de entidad fundamental y dependencia ontológica. Se argumenta que quienes adoptan estas nociones enfrentan serios problemas y se recomienda abandonarlas, lo que no quiere decir que no haya otra forma plausible de entender estos conceptos. ABSTRACT The paper examines one of the most natural and intuitive ways of understanding the notions of fundamental entity and ontological dependence, It argues that those who adopt these notions face (...) serious problems and should abandon them; however, this does not mean that there is no other plausible way of understanding these concepts. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

A fundamental fact is “pure” just in case it has no grounded entities—ex. Tokyo, President Biden, the River Nile, {Socrates}, etc.—among its constituents. Purity is the thesis that every fundamental fact is pure. I argue that Purity is false. My argument begins with a familiar conditional: if Purity is true, then there are no fundamental “grounding facts” or facts about what grounds what. This conditional is accepted by virtually all of Purity’s defenders. However, I argue that it is also the (...) first step toward Purity’s undoing. For, if every grounding fact has a ground, then some grounded entities have “groundmates” or distinct grounded entities that share their full grounds. But, if there are groundmates, then Purity is false. So Purity leads to a contradiction. Therefore, it is false. I close by noting that my argument against Purity also gives us a powerful reason to think that some grounding facts are fundamental. (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)

The Stoics are famously committed to the thesis that only bodies are, and for this reason they are rightly called “corporealists.” They are also famously compared to Plato’s earthborn Giants in the Sophist, and rightly so given their steadfast commitment to body as being. But the Stoics also notoriously turn the tables on Plato and coopt his “dunamis proposal” that being is whatever can act or be acted upon to underwrite their commitment to body rather than shrink from it as (...) the Giants do. The substance of Stoic corporealism, however, has not been fully appreciated. This paper argues that Stoic corporealism goes beyond the dunamis proposal, which is simply an ontological criterion for being, to the metaphysics of body. This involves, first, an account of body as metaphysically simple and hence fundamental; second, an account of body as malleable and continuous, hence fit for blending (krasis di’ holou) and composition. In addition, the metaphysics of body involves a distinction between this composition relation seen in the cosmology, and the constitution relation by which the four-fold schema called the Stoic Categories proceeds, e.g. the relation between a statue and its clay, or a fist and its underlying hand. It has not been appreciated that the cosmology and the Categories are distinct — and complementary — explanatory enterprises, the one accounting for generation and unity, the other taking those individuals once generated, and giving a mereological analysis of their identity and persistence conditions, kinds, and qualities. The result is an elegant division of Plato’s labor from the Battle of Gods and Giants. On the one hand, the Stoics rehabilitate the crude cosmology of the Presocratics to deliver generation and unity in completely corporeal terms, and that work is found in their Physics. On the other hand, they reform the Giants and “dare to corporealize,” delivering all manner of predication (from identity to the virtues), and that work is found in Stoic Logic. Recognizing the distinctness of these explanatory enterprises helps dissolve scholarly puzzles, and harmonizes the Stoics with themselves. (shrink)

Sometimes you make a choice. Whether or not you made it was up to you. The choice was free. But how can this be? A scientific view of the world may leave no room for free choice. Free will literature continually explodes. Yet experts still focus on control or on a power to do otherwise. Sadly, they neglect another intuitive feature of free will: being an underived source or ultimate originator. When acting freely, one is a self-determined, self-directed, sole author (...) of change. Surprisingly, though the literature is replete with this pre-theoretic feature of free will, virtually no one makes rigorous use of it when constructing arguments. Equipped with fresh research, this book contends that agent-causation—currently an unpopular theory—deserves serious reconsideration. Only agent-causation accounts for ultimate origination, and popular objections fail under rigorous scrutiny. This book is tightly argued. It challenges and deepens recent advances in free will scholarship made by Peter van Inwagen, Robert Kane, Carl Ginet, Randy Clarke, Stewart Goetz, Tim O’Connor, and others. (shrink)

This dissertation concerns the foundations of epistemic modality. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The dissertation demonstrates how phenomenal consciousness and gradational possible-worlds models in Bayesian perceptual psychology relate to epistemic modal space. The dissertation demonstrates, then, how epistemic modality relates to the computational theory of mind; metaphysical modality; deontic modality; logical modality; the types of mathematical modality; to the (...) epistemic status of undecidable propositions and abstraction principles in the philosophy of mathematics; to the apriori-aposteriori distinction; to the modal profile of rational propositional intuition; and to the types of intention, when the latter is interpreted as a modal mental state. Examining the nature of epistemic logic itself, I develop a novel approach to conditions of self-knowledge in the setting of the modal μ-calculus, as well as novel epistemicist solutions to Curry's, the liar, and the knowability paradoxes. Solutions to previously intransigent issues concerning the first-person concept; the distinction between fundamental and derivative truths; and the unity of intention and its role in decision theory, are developed along the way. (shrink)

I consider some of the objections that have been raised against a conceptualist solution to the “grounding problem”, I address in particular two objections that I call Conceptual Validity and Instantiation, and I attempt to answer them on behalf of the conceptualist. My response, in a nutshell, is that the first of these objections fails because it ascribes to the conceptualist some commitments that do not really follow from the view’s basic insight, while the second objection also fails because it (...) denies the conceptualist resources that the alternative positions are allowed to use. (shrink)

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

Standard animalists are committed to a stringent form of restricted composition, thereby denying the existence of brains, hands, and other proper parts of an organism . One reason for positing this near-nihilistic ontology comes from various challenges to animalism such as the Thinking Parts Argument, the Unity Argument, and the Argument from the Problem of the Many. In this paper, I show that these putatively distinct arguments are all instances of a more general problem, which I call the ‘Too Many (...) Candidates Problem’ . Given my formulation of the problem, it is evident that standard animalists are mistaken in believing that restricting composition is the only solution. I show that there is another option for solving the TMC. The advantage of such a position, which I call ‘unrestricted animalism’, is that it is compatible with unrestricted composition and the existence of brains and other proper parts of an organism. I conclude by sketching several strategies one can take regarding this latter solution to the TMC. (shrink)

In trying to establish the view that there are no non-living macrophysical objects, Trenton Merricks has produced an influential argument—the Overdetermination Argument—against the causal efficacy of composite objects. A serious problem for the Overdetermination Argument is the ambiguity in the notion of overdetermination that is being employed, which is due to the fact that Merricks does not provide any theory of causation to support his claims. Once we adopt a plausible theory of causation, viz. interventionism, problems with the Overdetermination will (...) become evident. After laying out the Overdetermination Argument and examining one extant objection to it, I will explicate the relevant aspects of an interventionist theory of causation and provide a characterization of overdetermination that follows from such an account. From this, I will argue that the Causal Principle that undergirds the Overdetermination Argument is false and hence the argument is invalid; and I claim that the only other available characterization of overdetermination would render a key premise in the argument false. Thus, the Overdetermination Argument fails to provide us with any reason to deny the causal efficacy of macrophysical objects, and therefore provides no reason to doubt their existence. (shrink)

Constituent ontologies maintain that the properties of an object are either parts or something very much like parts of that object. Recently, such a view has been criticized as leading to a bizarre and problematic form of substance dualism and implying the existence of impossible objects. After briefly presenting constituent and relational ontologies, I respond to both objections, arguing that constituent ontology does not yield either of these two consequences and so is not shown to be an unacceptable ontological framework.

Viele Menschen halten Patientenverfügungen für ein geeignetes Mittel, um selbstbestimmt zu entscheiden, wie mit ihnen im Fall schwerer Demenz umgegangen werden soll. Die meisten Bioethiker stimmen ihnen zu: Demenzverfügungen seien Ausdruck der „verlängerten Autonomie“ der Patientin. Doch ob sie recht haben, ist unklar. Dem viel beachteten Identitätseinwand zufolge sind die Ausstellerin der Verfügung und ihre schwer demente Nachfolgerin numerisch verschieden: Sie sind zwei und nicht eins. Wenn das stimmt, kann die Ausstellerin nicht verfügen, wie mit ihr im Falle schwerer Demenz (...) umgegangen werden soll. Die Demenzverfügung ist ungültig. In meinem Aufsatz möchte ich eine neue Replik auf diesen Einwand vorstellen. Ihr Ansatzpunkt ist der menschliche Organismus, den wir sehen, wenn wir in den Spiegel blicken. Er kann schwer dement werden, und auch er hat die Patientenverfügung unterschrieben. Warum sollte sie dann ungültig sein? Auf den ersten Blick hat diese Replik eine Reihe von Vorzügen. Insbesondere akzeptiert sie die populären Annahmen, auf denen der Identitätseinwand basiert. Bei näherem Hinsehen zeigen sich jedoch Probleme, die so gravierend sind, dass wir von ihr Abstand nehmen sollten. (shrink)

Nihilists cannot square their position with common sense simply by paraphrasing away apparent ontological commitments in ordinary language. I argue for this claim by analogy. Paraphrase atheism says there is no God, but tries to square the truth of atheism with ordinary religious sentences by paraphrasing away apparent ontological commitments. Obviously, paraphrase does not reconcile atheism with ordinary language about God. I discuss two different reasons that paraphrase can fail and suggest that both reasons afflict paraphrase nihilism. Hence, paraphrase nihilism (...) cannot reconcile nihilism and common sense, and so nihilists must look for some other strategy that can evade the force of the Atheism Case. (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)

The paper explores a deductive-nomological account of metaphysical explanation: some truths metaphysically explain, or ground, another truth just in case the laws of metaphysics determine the latter truth on the basis of the former. I develop and motivate a specific conception of metaphysical laws, on which they are general rules that regulate the existence and features of derivative entities. I propose an analysis of the notion of ‘determination via the laws’, based on a restricted form of logical entailment. I argue (...) that the DN-account of ground can be defended against the well-known objections to the DN-approach to scientific explanation. The goal of the paper is to show that the DN-account of metaphysical explanation is a well-motivated and defensible theory. (shrink)

1. What are called ‘intuitions’ in philosophy are just applications of our ordinary capacities for judgement. We think of them as intuitions when a special kind of scepticism about those capacities is salient. 2. Like scepticism about perception, scepticism about judgement pressures us into conceiving our evidence as facts about our internal psychological states: here, facts about our conscious inclinations to make judgements about some topic rather than facts about the topic itself. But the pressure should be resisted, for it (...) rests on bad epistemology: specifically, on an impossible ideal of unproblematically identifiable evidence. 3. Our resistance to scepticism about judgement is not simply epistemic conservativism, for we resist it on behalf of others as well as ourselves. A reason is needed for thinking that beliefs tend to be true. 4. Evolutionary explanations of the tendency assume what they should explain. Explanations that appeal to constraints on the determination of reference are more promising. Davidson’s truth-maximizing principle of charity is examined but rejected. 5. An alternative principle is defended on which the nature of reference is to maximize knowledge rather than truth. It is related to an externalist conception of mind on which knowing is the central mental state. 6. The knowledge-maximizing principle of charity explains why scenarios for scepticism about judgement do not warrant such scepticism, although it does not explain how we know in any particular case. We should face the fact that evidence is always liable to be contested in philosophy, and stop using talk of intuition to disguise this unpleasant truth from ourselves. (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

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.

I argue that the Carroll-Chen cosmogonic model does not provide a plausible scientific explanation of the past hypothesis (the thesis that our universe began in an extremely low-entropy state). I suggest that this counts as a welcomed result for those who adopt a Mill-Ramsey-Lewis best systems account of laws and maintain that the past hypothesis is a brute fact that is a non-dynamical law.

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)

There is a thinking animal in your chair and you are the only thinking thing in your chair; therefore, you are an animal. So goes the main argument for animalism, the Thinking Animal Argument. But notice that there are many other things that might do our thinking: heads, brains, upper halves, left-hand complements, right-hand complements, and any other object that has our brain as a part. The abundance of candidates for the things that do our thinking is known as the (...) Thinking Parts Problem. Animalists who endorse the Thinking Animal Argument must solve this problem by giving reasons for privileging the animal over its rivals. In order to meet this challenge, some animalists have argued that the best solution is a biological minimalist one. In what follows, I argue that every extant biological minimalist solution to the Thinking Parts Problem fails. (shrink)

David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on (...) their respective mereological metaphysics, and offers a Golden Mean between their two opposite extremes. I argue for a novel account of mereology I call Modal Mereology that is an alternative to Classical Mereology. A modal mereologist can be a universalist about the possible composition of wholes from parts and a restrictivist about the actual composition of wholes from parts. I argue that puzzles facing Modal Mereology (e.g., puzzles concerning Cambridge changes and the Problem of the Many, and how to demarcate the actual from the possible) are also faced in similar forms by classical universalists. On my account, restricted composition is rather motivated by and occurs due to a possible whole’s instantiating an actual type. Universalists commonly believe in such types and defend their existence from objections and puzzles. The Modal Mereological restrictivist can similarly defend the existence of such types (adding that such types are the only wholes) from similar objections and puzzles. (shrink)

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)

Don Marquis’s “future-like-ours” argument against the moral permissibility of abortion is widely considered the strongest anti-abortion argument in the philosophical literature. In this paper, I address the issue of whether the argument relies upon controversial metaphysical premises. It is widely thought that future-like-ours argument indeed relies upon controversial metaphysics, in that it must reject the psychological theory of personal identity. I argue that that thought is mistaken—the future-like-ours argument does not depend upon the rejection of such a theory. I suggest, (...) however, that given a widely-accepted view about contraception and abstinence, the argument is committed to contentious metaphysics after all, as it relies upon a highly controversial assumption about mereology. This commitment is not only relevant for those who are inclined to endorse the argument but reject the mereological view in question, but in addition entails dialectical and epistemological liabilities for the argument, which on some views will be fatal to the argument’s overall success. (shrink)