This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

I first ask what it is to make up a story. In order to answer that question, I give existence and identity conditions for stories. I argue that a story exists whenever there is some narrative content that has intentionally been made accessible. I argue that stories are abstract types, individuated by the conditions that must be met by something in order to be a properly formed token of the type. However, I also argue that the truth of our story (...) identity attributions---sentences like, "Peter Jackson's Lord of the Rings is the same story as JRR Tolkien's Lord of the Rings''---are relative to their context of use, so that the same attribution of identity might be true in one context or false in another because of a change in what's being said about the works in the differing contexts. From those existence and identity conditions, I draw the conclusions that story is best understood to be a phase sortal of some abstract types, and that what it is to make up a story is to identify a type of narrative representation and its content, such that the content is neither based on actual events nor on the content of other stories to an objectionable degree. In chapter 2, I ask what it is for a story to be complete. I argue for the general meta-thesis I call "Completion Pluralism", viz. that there are many kinds of artwork completeness, many corresponding senses of 'complete', and no kind of artwork completeness is objectively more important than any other. I give a pair of arguments against those who would deny Completion Pluralism, endorsing Completion Monism instead. First, I show how Monistic analyses of the one (or one most important) kind of artwork completeness fail. I also show that each Monistic theory's failure is contingent on the assumption of Completion Monism: the denial of Completion Monism dissolves each argument against the extensional adequacy of extant theories of artwork completeness. I argue that this is all best explained by the idea that Completion Pluralism is true. Second, I argue that Completion Pluralism fits best with the variety of interests that we bring to questions about artwork completeness: there is no single or overriding concern we have when we want to know whether an artwork is complete. We shouldn't expect completeness to be a single sort of thing, then. I show how to put Completion Pluralism to work by identifying different kinds of artwork completeness in artworks. Finally, I introduce a new kind of completeness particular to stories, what I call "narrative completion", and show how it's distinct from other kinds of completeness discussed. In chapter 3, I argue that the distinction between fictional and non-fictional stories is the degree to which stories are made-up. In short, a fictional story is a made-up story. I first provide a couple desiderata for thinking about theories of fiction, then show how the two most popular extant theories of fiction---the prop theory and the genre theory---fall short in meeting one or more of those desiderata to some extent. I then show how the theory that fictions are made-up stories better meets the desiderata, using my account of what it is to make up a story from chapter 1. I turn to explicitly ontological matters in chapter 4. Addressing the question of what stories are, I show that both the theses that they are eternal and immutable and that they are created and historical seem plausible for independent reasons. I discuss a schema of an argument some philosophers who hold to the latter view (those I call "Creationists") attempt to give for their view. However, I show how those who hold to the view that stories are eternal and immutable ("Platonists") can account for all the same appearances as the Creationists, usually at least as well and sometimes with a better accounting. Similar, deductive arguments for Platonism will give rise to similar responses from the Creationist, however. In the end, then, the style of argument in particular is unlikely to advance the discussion much. Finally, I attempt to advance the discussion by building an abductive case for Platonism. First, I vindicate a particular metaontological methodology for the debate at hand, a methodology that allows for "revisionary" outcomes in our ontologies of art objects. Second, I build a case for Platonism by arguing that it best explains a number of features of stories discussed in the previous chapters. Moreover, I argue that Creationism is committed to an implausible account of how some abstract objects come into existence. Given the combination of those facts, I argue that we should prefer Platonism to Creationism. (shrink)

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

Lynne Baker’s case for the incompatibility of naturalism with the first-person perspective raises a range of questions about the relationship between naturalism and the various properties involved in first-person perspectives. After arguing that non-qualitative properties—most notably, haecceities like being Lynne Baker—are ineliminably tied to first-person perspectives, this paper considers whether naturalism and non-qualitative properties are, in fact, compatible. In doing so, the discussion focus on Shamik Dasupgta’s argument against individuals and, in turn, non-qualitative properties. Several strategies for undermining Dasgupta's argument (...) are considered, drawing on de re laws and haecceitistic possibilities. Finally, an analogy is drawn between naturalism and platonism regarding mathematical entities and naturalism's parallel commitment to individuals. I conclude that naturalists are obliged to posit non-qualitative properties. (shrink)

It is a standard assumption in contemporary metaphysics that concrete objects come with a location in space and time. This applies not only to material objects and events, but also modes (such as the roundness of the apple, the softness of the pillow, Socrates' wisdom) and entities that have been called 'disturbances' (e.g. holes, folds, faults, and scratches). Taking the approach of descriptive metaphysics, I will show that modes and disturbances fail to have a bearer-independent spatial location. This allows for (...) a metaphysical explanation of the Chomskyan contrast between 'There is a fly believed to be in the bottle' and the unacceptable 'There is a flaw believed to be in the argument'. A subsidiary point this paper makes is that in their lack of a direct spatial location, modes need to be sharply distinguished from tropes as a category of foundationalist metaphysics that has been at the center of a pursuit of a one-category ontology since Williams (1953). (shrink)

Argument that priority monism is best understood as being a contingent thesis.

Discussion of atomistic and monistic theses about abstract reality.

Wilfrid Sellars is widely known for two positions that he calls “nominalism.” On the one hand, there is his “psychological nominalism,” according to which any awareness one might have of abstract entities—be they properties, relations, or facts—is a thoroughly linguistic affair, and so cannot be presupposed in thinking about the process of learning a (first) language. On the other hand, there is his ontological nominalism, according to which the world, as it is in itself, is fundamentally a world of concrete (...) particulars and so does not ultimately contain such things as properties, relations, or propositionally-structured facts. Sellars clearly takes these two sorts of “nominalism” to go together. However, one of the most influential inheritors of Sellars's philosophy, Robert Brandom, thinks that they do not. Brandom endorses the former, but denies that the latter “is in the end so much as intelligible.” In this paper, I articulate the connection between Sellars's psychological and ontological nominalism and draw on Brandom's own development of Sellars's functional role semantics to argue, against Brandom, that Sellars's ontological nominalism not only harmonizes with the rest of his philosophical commitments, but is actually made fully intelligible by the very aspect of Sellars's theory that Brandom himself develops. (shrink)

Some properties such as having a beard and being a philosopher are intuitively qualitative, while other properties such as being identical to Plato and being a student of Socrates are intuitively non-qualitative. It is often assumed that, necessarily, a property is qualitative if and only if it can be designated descriptively without the aid of directly referential devices. I argue that this linguistic thesis fails in both directions: there might be non-qualitative properties that can be designated descriptively, and there appear (...) to be qualitative properties that can only be designated directly. I conclude that while the linguistic thesis is ultimately untenable as stated, it can be plausibly recast as a thesis about our concepts rather than the properties they designate. (shrink)

Proponents of the epistemic companions in guilt argument argue that we should reject the moral error theory because it entails that there are no epistemic reasons. In this paper, I investigate whether a plausible version of the moral error theory can be constructed that does not entail an error theory about epistemic reasons. I argue that there are no irreducibly normative second-personal reasons even if there are irreducibly normative reasons. And epistemic reasons are not second-personal reasons. In this case, a (...) plausible version of the moral error theory can be constructed that does not entail an error theory about epistemic reasons if facts and claims about morality entail facts and claims about irreducibly normative second-personal reasons. And, as I explain, there is a good case that facts and claims about morality do entail facts and claims about irreducibly normative second-personal reasons. (shrink)

'The kind Lion' denotes a kind. Yet many generics are thought to denote kinds also, like the subject-terms in 'The lion has a mane', 'Dinosaurs are extinct', and 'The potato was cultivated in Ireland by the end of the 17th century.' This view may be adequate for the linguist's overall purposes--however, if we limit our attention to the theory of reference, it seems unworkable. The problem is that what is often predicated of kinds is not what is predicated of the (...) lion, dinosaurs, and the potato. Thus, kinds are sometimes said to be abstract objects, immanent universals, nominal essences, etc. But the lion is a predatory cat--it is not an abstract object, nor an immanent universal, nor a nominal essence. I consider several proposals about resolving the dilemma; however, the conclusion is that none of the proposals are adequate. We are thus hard pressed to make sense of allegedly kind-denoting generics, and the lesson is a "Socratic" one about the depths of our ignorance. (shrink)

Primitives are both important and unavoidable, and which set of primitives we endorse will greatly shape our theories and how those theories provide solutions to the problems that we take to be important. After introducing the notion of a primitive posit, I discuss the different kinds of primitives that we might posit. Following Cowling (2013), I distinguish between ontological and ideological primitives, and, following Benovsky (2013) between functional and content views of primitives. I then propose that these two distinctions cut (...) across each other leading to four types of primitive posits. I then argue that theoretical virtues should be taken to be meta-theoretical ideological primitives. I close with some reflections on the global nature of comparing sets of primitives. (shrink)

Abstract objects are standardly taken to be causally inert, however principled arguments for this claim are rarely given. As a result, a number of recent authors have claimed that abstract objects are causally efficacious. These authors take abstracta to be temporally located in order to enter into causal relations but lack a spatial location. In this paper, I argue that such a position is untenable by showing first that causation requires its relata to have a temporal location, but second, that (...) if an entity is temporally located then it is spatiotemporally located since this follows from the theory of Relativity. Since abstract objects lack a spatiotemporal location, then if something is causally efficacious, it is not abstract. (shrink)

Artworks have authors. According to Christy Mag Uidhir, this simple assumption has significant consequences for the ontology of artworks. One such consequence is that artworks cannot be identified with abstract entities: if there are works of art, they are concrete entities. Therefore, one cannot create an abstract work of art. Mag Uidhir presents a novel challenge against abstract creationism, the view that certain kinds of art objects are abstract artifacts. This article has two aims. First, it provides a defense of (...) abstract creationism against Mag Uidhir’s arguments. Second, it argues that creation, even in the case of concrete artifacts, is never purely causal: to create an artifact is to bring about the conditions on which the created object ontologically depends. I conclude that a properly developed account of creation provides a better understanding of the question of how one comes to create an artifact, be it abstract or concrete. (shrink)

Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...) about merely possible entities. I argue that such difficulty is rooted in a problem in the metaphysics of powers. In particular, I contend that the well-known tension between two key principle of powers ontology, namely Directedness and Independence has received an unsatisfactory solution so far, and that it is this unsatisfactory solution concerning the status of “unmanifested manifestations” that makes it hard for Dispositionalism to account for mere possibilia. I develop a novel account of the status of unmanifested manifestations and an overall metaphysics of powers which allows to better respond to Leech's objection and handle mere possibilia. The central idea of the proposal is that unmanifested manifestations are akin to mere logical existents, and are best characterised as non-essentially non-located entities. (shrink)

Beach's Gaelic Symphony is plausibly an abstract object that Beach created. The view that people create some abstract objects is called abstract creationism. There are abstract creationists about many kinds of objects, including musical works, fictional characters, arguments, words, internet memes, installation artworks, bitcoins, and restaurants. Alternative theories include materialism and Platonism. This paper discusses some of the most serious objections against abstract creationism. Arguably, these objections have ramifications for questions in metaphysics pertaining to the abstract/concrete distinction, time, causation, vague (...) existence, vague identity, and inadvertent creation. (shrink)

The debate between relational versus constituent substance ontology is longstanding and ongoing. In the contemporary literature it is mostly taken for granted that any version of hylomorphism must count as a constituent substance ontology. Here I argue that a certain sort of relational substance ontology could also legitimately be labeled hylomorphic, and in fact that relational substance ontologists have some good reasons to affirm this version of hylomorphism.

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

In this paper I argue, that if it is metaphysically possible for it to have been the case that nothing existed, then it follows that the right modal logic cannot extend D, ruling out popular modal logics S4 and S5. I provisionally defend the claim that it is possible for nothing to have existed. I then consider the various ways of resisting the conclusion that the right modal logic is weaker than D.

I argue that it is metaphysically necessary that: (i) every fundamental entity is conscious, and (ii) every fundamental property is a phenomenal property.

In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...) the abstract with the concrete, the physical with the non-physical, and the possible with the impossible, just to name a few. -/- Proposed by David Lewis (1991) alongside his defence of classical mereology (the major theory of parthood which permits such transcategorial composites through its principle of unrestricted composition) it is my contention that mixed fusions are an under-examined consequence of indiscriminate mereological fusion which harbour a multitude of complications. In my attempt to discern their substantive character, throughout this thesis I make a case study of mixed fusions and uncover several problematic consequences which I think follow from their most plausible assessment. -/- These include: (1) that mixed fusions’ probable membership relations may lead to dubious foundational loops in the mereological Universe, or (2) otherwise that mixed fusions oblige an implausible ontological priority of the mereological Universe as a whole; (3) that mixed fusions contradict the reductive account of set theory they are proposed within, by plausibly being seen to have the same members as their class parts, and (4) that mixed fusions therefore confound a mereological thesis of Composition as Identity, which some (including Lewis) use to support classical mereology – a consequence which is potentially self-defeating; (5) that mixed fusions as sums of abstract and concrete entities both subvert Lewis’s (1986) system of modal realism, while (6) also undermining less expansive theories of possible worlds; and finally, (7) that even where some of the foregoing is resisted, it remains implausible that mixed fusions are ontologically innocent, because their supposed distinction from their parts in this case ensures that they need to be counted as additional entities in one’s ontology. -/- To be clear, I do not advance a theory of mereological hybrid nihilism in the sense of denying all cases of transcategorial composition. (I only cover a few select instances of mereological hybridism via mixed fusions after all.) Rather, I deny that mereological hybridism is plausible in full generality, by demonstrating that any cases of it are at least limited by the constraints that I identify. This in turn vindicates a call for a restriction on parthood theories and composition principles which allow certain types of categorially mixed entities – including restricting classical mereology with its principle of unrestricted composition. -/- Although theories of parthood like the standard classical mereology are not ordinarily developed for the sake of mereological hybrids like mixed fusions, these and other transcategorial composites are still among the logical consequences of such parthood systems operating with sufficient generality. The significance of my thesis, then, comes from showcasing how some of these kinds of entities do not conform to the systems in which they are included as required, and hence I argue for the rejection of unrestricted mereological hybridism as well as any mereological principles which support it. (shrink)