In this paper, I argue that there are universals. I begin (Sect. 1) by proposing a sufficient condition for a thing’s being a universal. I then argue (Sect. 2) that some truths exist necessarily. Finally, I argue (Sects. 3 and 4) that these truths are structured entities having constituents that meet the proposed sufficient condition for being universals.

The theory of universals faces two opposing demands. On the one hand, it must be explanatory. That is, certain kinds of statements found in our everyday discourse and the theories used to explain them seem to require the existence of universals for their understanding or acceptance. On the other hand, it must be ontologically appropriate. This means that theories that intervene ontologically without sufficient reasons for the existence of implausible entities or theories that result in an excessive proliferation of new (...) entities should not be embraced as theories of universals. The problem is that a theoretically sound theory of universals appears to inevitably involve a tension between explanatory and ontological appropriateness. This dilemma arises from the two aforementioned demands, and it is a genuine dilemma in that it is difficult to give up either demand. Philosophy, or metaphysics, fundamentally aims to explain the facts of the experiential world. If a philosophical theory fails to adequately satisfy our explanatory demands regarding the experiential world, it is not suitable as a philosophical theory. Conversely, it is also undesirable for a philosophical theory to impose excessive ontological burdens. The justification of a philosophical theory is a priori, and any a priori claims about the existence of entities should not be arbitrarily adopted. This article resolves this dilemma as follows: If the explanatory demand requires reduction from an ontological standpoint, it can be adequately addressed through unproblematic means. On the other hand, the apparent conflict between the explanatory demand and appropriate ontology only arises when it is understood as a demand for explanatory priority. However, such a demand does not necessarily require the introduction of any ontological priority. Therefore, there was no need for the dilemma to arise. Finally, I attempt to respond to the demands from natural kind predicates. (shrink)

In this paper, I introduce a quantifier-pluralist theory of time, temporal quantifier relativism. Temporal quantifier relativism includes a restricted quantifier for every instantaneous moment of time. Though it flies in the face of orthodoxy, it compares favorably to rival theories of time. To demonstrate this, I first develop the basic syntax and semantics of temporal quantifier relativism. I then compare the theory to its rivals on three issues: the passage of time, the analysis of change, and temporal ontology.

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

In this chapter, I make the case for platonic realism, the thesis that there are properties that lack spatial locations. After criticizing the one-over-many argument for realism and Lewis's argument for realism, I endorse a modal argument that derives the existence of platonic properties from considerations involving necessary truth. I then defend this argument from various objections. Finally, I argue that epistemic considerations and considerations of parsimony favor a weak form of platonic realism on which there are platonic properties, but (...) each property could have had an instance, and would have been located in its instances if it had any. (shrink)

W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...) large measure to developments stemming from Carnap’s studies and culminating in the work of Kripke, Hintikka, and Bayart. These developments undermined Quine’s crusade against intensions on two fronts. First, in the context of possible world semantics, intensions could after all be given rigorous identity conditions by defining them (in the simplest case) as functions from worlds to appropriate extensions, a fact exploited to powerful and influential effect in logic and linguistics by the likes of Kaplan, Montague, Lewis, and Cresswell. Second, the rise of possible world semantics fueled a strong resurgence of metaphysics in contemporary analytic philosophy that saw properties and propositions widely, fruitfully, and unabashedly adopted as ontological primitives in their own right. This resurgence — happily, in my view — continues into the present day. -/- For a time, at any rate, Quine experienced somewhat better success with his second thesis: that higher-order logic is, at worst, confused and, at best, a quirky notational alternative to standard first-order logic. However, Quine notwithstanding, a great deal of recent work in formal metaphysics transpires in a higher-order logical framework in which properties and propositions fall into an infinite hierarchy of types of (at least) every finite order. Initially, the most philosophically compelling reason for embracing such a framework since Russell first proposed his simple theory of types was simply that it provides a relatively natural explanation of the paradoxes. However, since the seminal work of Prior there has been a growing trend to consider higher-order logic to be the most philosophically natural framework for metaphysical inquiry, many of the contributors to this volume being among the most important and influential advocates of this view. Indeed, this is now quite arguably the dominant view among formal metaphysicians. -/- In this paper, and against the current tide, I will argue in §1 that there are still good reasons to think that Quine’s second battle is not yet lost and that the correct framework for logic is first-order and type-free — properties and propositions, logically speaking, are just individuals among others in a single domain of quantification — and that it arises naturally out of our most basic logical and semantical intuitions. The data I will draw upon are not new and are well-known to contemporary higher-order metaphysicians. However, I will try to defend my thesis in what I believe is a novel way by suggesting that these basic intuitions ground a reasonable distinction between “pure” logic and non-logical theory, and that Russell-style semantic paradoxes of truth and exemplification arise only when we move beyond the purely logical and, hence, do not of themselves provide any strong objection to a type-free conception of properties and propositions. -/- Most of my arguments in §1 are largely independent of any specific account of the nature of properties and propositions beyond their type-freedom. However, I will in addition argue that there are good reasons to take propositions, at least, to be very fine-grained. My arguments are thus bolstered significantly if it can be shown that there are in fact well-defined examples of logics that are not only type-free but which comport with such a conception of propositions. It is the purpose of §2 to lay out a logic of this sort in some detail, drawing especially upon work by George Bealer and related work of my own. With the logic in place, it will be possible to generalize the line of argument noted above regarding Russell-style paradoxes and, in §3, apply it to two propositional paradoxes — the Prior-Kaplan paradox and the Russell-Myhill paradox — that are often taken to threaten the sort of account developed here. (shrink)

I critically examine some deflationary theories of properties, according to which properties are ‘shadows of predicates’ and quantification over them serves a mere quasi-logical function. I start by considering Hofweber’s internalist theory, and pose a problem for his account of inexpressible properties. I then introduce a theory of properties that closely resembles Horwich’s minimalist theory of truth. This theory overcomes the problem of inexpressible properties, but its formulation presupposes the existence of various kinds of abstract objects. I discuss some ways (...) to reduce these existence assumptions, but ultimately suggest that deflationists can hardly avoid quantification over abstract objects of one sort or another. I conclude that property deflationism is perhaps not as deflationary as some philosophers want it to be, but that it’s still apt to call the position ‘deflationary’. (shrink)

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and show (...) that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

This paper evaluates six contenders which might be invoked by essentialists in order to meet Quine’s challenge, viz., to provide necessary and sufficient conditions for the crossworld identity of individuals: (i) an object’s qualitative character; (ii) matter; (iii) origins; (iv) haecceities or primitive non-qualitative thisness properties; (v) “world-indexed properties”; and (iv) individual forms. The first three candidates, I argue, fail to provide conditions that are both necessary and sufficient for the crossworld identity of individuals; the fourth and fifth criteria are (...) open to the charge that they do not succeed in meeting Quine’s demand in an explanatorily adequate fashion. On balance, then, individual forms, or so I propose, deserve to be taken very seriously as a possible response to Quine’s challenge, especially by neo-Aristotelians who are already committed to a hylomorphic conception of composite concrete particular objects for other reasons. Theorists who also accept a non-modal conception of essence, i.e., a conception according to which essence is not reducible to modality, in addition face the further difficult task, over and above what is required to meet Quine’s challenge, of having to explain how an object’s de re modal profile in some way follows from facts about its essence. Haecceities and world-indexed properties, as I indicate, are unlikely to be of much help with respect to this second challenge, while the forms of hylomorphic compounds are in fact well-suited for this purpose. (shrink)

A preview of my book *Perception*. Discusses the relationship between perception and the physical world and the issue of whether reality is as it appears. Useful examples are included throughout the book to illustrate the puzzles of perception, including hallucinations, illusions, the laws of appearance, blindsight, and neuroscientific explanations of our experience of pain, smell and color. The book covers both traditional philosophical arguments and more recent empirical arguments deriving from research in psychophysics and neuroscience. The addition of chapter summaries, (...) suggestions for further reading and a glossary of terms make Perception essential reading for anyone studying the topic in detail, as well as for students of philosophy of mind, philosophy of psychology and metaphysics. (shrink)

In this paper, I argue that for the purposes of ordinary reasoning, sentences about properties of concrete objects can be replaced with sentences concerning how things in our universe would be related to inscriptions were there a pluriverse. Speaking loosely, pluriverses are composites of universes that collectively realize every way a universe could possibly be. As such, pluriverses exhaust all possible meanings that inscriptions could take. Moreover, because universes necessarily do not influence one another, our universe would not be any (...) different intrinsically if there were a pluriverse. These two facts enable anti-realists about abstract objects to replace, e.g. talk of anatomical features with talk of the inscriptions concerning anatomical structure that would exist were there a pluriverse. The availability of such replacements enables anti-realists to carry out essential ordinary reasoning without referring to properties, thereby making room for a consistent anti-realist worldview. The inscriptions of the would-be pluriverse are so numerous and varied that sentences about them can play the roles in ordinary reasoning served by simple sentences about properties of concrete objects. (shrink)

Unlike identity physicalism, ground physicalism does not achieve the physicalist dream. It faces the T-shirt problem for ground physicalism (Pautz 2014; Schaffer this volume; Rubenstein ms). In the case of insentient nature, it may be able to get by with small handful of very general ground laws to explain the emergence of nonfundamental objects and properties – for example, a few “principle of plenitude”. But I argue that for the case consciousness it will require a separate huge raft of special, (...) anomalous psychophysical ground laws. So it is just as complex and nonuniform as dualism. (shrink)

“X-Firsters” hold that there is some normative feature that is fundamental to all others (and, often, that there’s some normative feature that is the “mark of the normative”: all other normative properties have it, and are normative in virtue of having it). This view is taken as a starting point in the debate about which X is “on first.” Little has been said about whether or why we should be X-Firsters, or what we should think about normativity if we aren’t (...) X-Firsters. Hence the chapter’s two main goals. First, to provide a simple argument that one shouldn’t be an X-Firster about the normative domain, which starts with the observation that analogous views have dubious merits in analogous domains. Second, to offer an alternative view—taking normativity to be a determinable explained in terms of its determinates—that offers an interesting way to think about the structure and unity of normativity. (shrink)

Writers in the propositions literature consider the Benacerraf objection serious, often decisive. The objection figures heavily in dismissing standard theories of propositions of the past, notably set-theoretic theories. I argue that the situation is more complicated. After explicating the propositional Benacerraf problem, I focus on a classic set-theoretic theory of propositions, the possible worlds theory, and argue that methodological considerations influence the objection’s success.

This paper explores the metaethical ramifications of a coarse-grained criterion of property identity, sometimes referred to as Hume's dictum. According to Hume's dictum, properties are identical if and only if they are necessarily co-extensive. Assuming the supervenience of the normative on the natural, this criterion threatens the non-naturalist view that there are instantiable normative properties which are distinct from natural properties. In response, non-naturalists typically point to various counterintuitive implications of Hume's dictum. The paper clarifies this strategy and defends it (...) against objections by Bart Streumer and Ralf Bader. In addition, it is argued that proponents of naturalist and supernaturalist views, along with proponents of a certain kind of nihilism, should also reject Hume's dictum. This shows that non-naturalists can also attack the criterion indirectly, by pointing to partners in guilt. Also, it shows that not just any opponent of non-naturalism can appeal to Hume's dictum. Only certain nihilists can. (shrink)

Kit Fine (2000) breaks with tradition, arguing that, pace Russell (e.g., 1903: 228), relations have neither directions nor converses. He considers two ways to conceive of these new "neutral" relations, positionalism and anti-positionalism, and argues that the latter should be preferred to the former. Cody Gilmore (2013) argues for a generalization of positionalism, slot theory, the view that a property or relation is n-adic if and only if there are exactly n slots in it, and (very roughly) that each slot (...) may be occupied by at most one entity. Slot theory (and with it, positionalism) bears the full brunt of Fine's (2000) symmetric completions and conflicting adicities problems. I fully develop an alternative, plural slot theory (or pocket theory), which avoids these problems, key elements of which are first considered by Yi (1999: 168 ff.). Like the slot theorist, the pocket theorist posits entities (pockets) in properties and relations that can be occupied. But unlike the slot theorist, the pocket theorist denies that at most one entity can occupy any one of them. As a result, she must also deny that the adicity of a property or relation is equal to the number of occupiable entities in it. By abandoning these theses, however, the pocket theorist is able to avoid Fine's problems, resulting in a stronger theory about the internal structure of properties and relations. Pocket theory also avoids a serious drawback of anti-positionalism. (shrink)

In this paper, I develop a novel account of ideological kinds. I first present some conceptual territory regarding the use of Occam’s Razor in minimizing ontological commitments. I then present the analogous device for minimizing ideological commitments, what I call the Comb. I argue that metaphysicians ought to use both or none at all. This means that those who endorse a principle of ontological parsimony ought to also endorse some principle of ideological parsimony, where we ought to prefer the metaphysical (...) theory that employs less ideology. In support of one such principle, I propose a novel account of ideological kinds. I individuate ideological kinds based on the satisfaction of two conditions: interdefinability and sameness of syntactic category. Ultimately, I think this account is the best available. It does, however, produce surprising results. For instance, my account shows that quantifier pluralism is ideologically parsimonious. I end by replying to some objections. (shrink)

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (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.

Some theists have adopted materialism for human persons. They associate this metaphysics with their belief in resurrection and focus on problems arising from personal identity, temporal gaps or material constitution, but, in this paper, I argue that being a materialist for human persons leads to an epistemological problem regarding our knowledge of God’s life. The only way to avoid this problem is to choose a particular materialist metaphysics for human persons, that is, a constitution theory that emphasizes the irreducibility of (...) the first-person perspective. (shrink)

The paper has two parts: First, I describe a relatively popular thesis in the philosophy of propositional attitudes, worthy of the name ‘taking tense seriously’; and I distinguish it from a family of views in the metaphysics of time, namely, the A-theories (or what are sometimes called ‘tensed theories of time’). Once the distinction is in focus, a skeptical worry arises. Some A-theorists maintain that the difference between past, present, and future, is to be drawn in terms of what exists: (...) growing-block theorists eschew ontological commitment to future entities; presentists, to future and past entities. Others think of themselves as A-theorists but exclude no past or future things from their ontology. The metaphysical skeptic suspects that their attempt to articulate an ‘eternalist’ version of the A-theory collapses into merely ‘taking tense seriously’– a thesis that does not imply the A-theory. The second half of the paper is the search for a stable eternalist A-theory. It includes discussion of temporary intrinsics, temporal parts, and truth. (shrink)

This essay defends the neo-Quinean approach to ontology against the criticisms of two neo-Carnapians, Huw Price and Amie Thomasson.

This essay defends the neo-Quinean approach to ontology against the criticisms of two neo-Carnapians, Huw Price and Amie Thomasson.

This dissertation argues that we have no good reason to accept any one theory of properties as correct. To show this, I present three possible bases for theory-choice in the properties debate: coherence, explanatory adequacy, and explanatory value. Then I argue that none of these bases resolve the underdetermination of our choice between theories of properties. First, I argue considerations about coherence cannot resolve the underdetermination, because no traditional theory of properties is obviously incoherent. Second, I argue considerations of explanatory (...) adequacy cannot resolve the underdetermination, because every traditional theory of properties lacks the theoretical resources to adequately explain resemblance, causal powers, and predication. However, these inadequacies are easily remedied with theoretical modifications. But this results in an overabundance of modified, but adequate, theories of properties. Third, I argue explanatory virtues cannot resolve the underdetermination, because we have no reason to think explanatory virtues make theories of properties more likely to be true. I reject the common argument that explanatory virtues are truth-conducive in theories of properties because they are truth-conducive in scientific theories. Since none of the three bases for theory choice can resolve the underdetermination, I conclude that we have no good reason to accept any one theory of properties as correct. Finally, I consider the possibility of choosing one theory over the others on pragmatic grounds. But I argue that pragmatic grounds cannot resolve the underdetermination either. Instead, I suggest we accept the view I call 'instrumental pluralism,' which allows practitioners to use whatever theory of properties they find useful. Adviser: Jennifer McKitrick. (shrink)

Trope theory is an increasingly prominent contender in contemporary debates about the existence and nature of properties. But it suffers from ambiguity concerning the nature of a trope. Disambiguation reveals two fundamentally different concepts of a trope: modifier tropes and module tropes. These types of tropes are unequally suited for metaphysical work. Modifier tropes have advantages concerning powers, relations, and fundamental determinables, whereas module tropes have advantages concerning perception, causation, character-grounding, and the ontology of substance. Thus, the choice between modifier (...) tropes and module tropes is significant and divides the advantages of trope theory simpliciter. In addition, each resulting trope theory is unstable: modifier trope theory threatens to collapse into realism and module trope theory threatens to collapse into austere nominalism. This invites reflection on the stability of trope theory in general. (shrink)

According to the traditional bundle theory, particulars are bundles of compresent universals. I think we should reject the bundle theory for a variety of reasons. But I will argue for the thesis at the core of the bundle theory: that all the facts about particulars are grounded in facts about universals. I begin by showing how to meet the main objection to this thesis (which is also the main objection to the bundle theory): that it is inconsistent with the possibility (...) of distinct qualitative indiscernibles. Here, the key idea appeals to a non-standard theory of haecceities as non-well-founded properties of a certain sort. I will then defend this theory from a number of objections, and finally argue that we should accept it on the basis of considerations of parsimony about the fundamental. (shrink)

In this dissertation I consider the merits of certain nominalist accounts of phenomena related to the character of ordinary objects. What these accounts have in common is the fact that none of them is an error theory about standard cases of predication and none of them deploys God or uniquely theistic resources in its explanatory framework. -/- The aim of the dissertation is to answer the following questions: -/- • What is the best nominalist account on offer? • How might (...) it be improved? • Does it ultimately succeed? -/- I will argue that while so-called trope theory is the best account on offer, it can be significantly improved—or replaced—by a novel version of nominalism that is modeled after trope theory. Ultimately, however, I will argue that even the novel version fails. -/- The dissertation unfolds as follows. In Chapter 1, I introduce Austere Nominalism (AN), which is perhaps the most extreme version of nominalism that falls within the scope of the dissertation. AN is often described as the view that there exist only concrete particulars. According to AN, it is unnecessary to posit any entities other than ordinary objects—turkeys, tables, and the like—in order to account for explananda related to the character of those objects. (Such explananda include the phenomenon of attribute agreement, of attribute possession, of true subject-predicate sentences, etc.) In this chapter I argue that AN fails to provide an adequate account of these explananda. In addition, introducing and criticizing AN serves an important heuristic role for the rest of the dissertation. To understand this role, we must distinguish between the basic explanatory strategy deployed by the austere nominalist and the type of explananda for which she deploys that strategy. The austere nominalist deploys the strategy to account for the character of ordinary objects. As I argue in Chapter 1, this deployment is a failure. As I go on to show in Chapter 2, the widespread rejection AN has led to a variety of rival accounts of the character of ordinary objects. In rejecting AN, however, these accounts also tacitly reject its basic explanatory strategy. Thus goes the baby with the bathwater, since, arguably, there are some attractive features of AN’s basic explanatory strategy. Indeed, those who defend the most prominent version of nominalism—trope theory—seem to overlook the advantages of AN’s basic strategy, and by so doing, make an unnecessary concession to the realist. Or so I argue in Chapter 3. And, as I will argue in Chapter 4, the strongest version of nominalism is a novel account, modeled after trope theory, that deploys AN’s basic strategy at a more fundamental level than that of ordinary objects. This novel account—troper theory—is closer in spirit to AN than is traditional trope theory. (Thus, AN serves as a foil for the discussion of other nominalist views.) Finally, in the Afterword I indicate how troper theory is equally vulnerable to some of the traditional objections that plague trope theory. Thus, if you are not convinced that traditional objections to trope theory are conclusive and you want to be a nominalist, then you should abandon trope theory and adopt troper theory. If you take traditional objections against trope theory to have significant force, then you should reject both theories. (shrink)

Predication is an indisputable part of our linguistic behavior. By contrast, the metaphysics of predication has been a matter of dispute ever since antiquity. According to Plato—or at least Platonism, the view that goes by Plato’s name in contemporary philosophy—the truths expressed by predications such as “Socrates is wise” are true because there is a subject of predication (e.g., Socrates), there is an abstract property or universal (e.g., wisdom), and the subject exemplifies the property.1 This view is supposed to be (...) general, applying to all predications, whether the subject of predication is a person, a planet, or a property.2 Despite the controversy surrounding the metaphysics of predication, many theistic philosophers—including the majority of contemporary analytic theists—regard Platonism as extremely attractive. At the same time, however, such philosophers are also commonly attracted to a form of traditional theism that has at its core the thesis that God is an absolutely independent.. (shrink)

I argue that the best way to solve Russell's problem of the relationship between propositions and their constituents is to think of propositions as properties of worlds. I argue that this view preserves the strengths and avoids some of the weaknesses of the view of the metaphysics of propositions defended by Jeff King in his _The Nature and Structure of Content_, and that it provides an explanation of the representational properties of propositions and the nature of indexical belief. I conclude (...) by discussing some problems about how to think about the semantics of propositional attitude ascriptions, if a view of this sort is correct. (shrink)

It is common for contemporary metaphysical realists to adopt Quine's criterion of ontological commitment while at the same time repudiating his ontological pragmatism. 2 Drawing heavily from the work of others—especially Joseph Melia and Stephen Yablo—I will argue that the resulting approach to meta-ontology is unstable. In particular, if we are metaphysical realists, we need not accept ontological commitment to whatever is quantified over by our best first-order theories.

I defend an account of God’s ineffability that depends on the distinction between fundamental and non-fundamental truths. I argue that although there are fundamentally true propositions about God, no creature can have them as the object of a propositional attitude, and no sentence can perfectly carve out their structures. Why? Because these propositions have non-enumerable structures. In principle, no creature can fully grasp God’s intrinsic nature, nor can they develop a language that fully describes it. On this account, the ineffability (...) of God is explained in terms of the inability of our language and mental capacities to grasp God as he really is. I will motivate my account by distinguishing it from a rival proposal. According to this rival, there are no fundamentally true propositions about God’s intrinsic nature. I argue that this rival proposal faces problems that my account does not face. And unlike this rival and other accounts of ineffability, my account provides a fitting explanation of why God is ineffable. God is ineffable because the structure of his intrinsic nature is infinite. (shrink)

The aim of this paper is to explore the possibility that, at least, some metaphysical debates are ‘metalinguistic negotiations’. I will take the dispute between the dominant approaches of realism and the anti-realism ones about the ontological status of scientific models as a case-study. I will argue that such a debate may be better understood as a disagreement, at bottom normatively, motivated, insofar as a normative and non-factual question may be involved in it: how the relevant piece of language ought (...) to be used. Even though I will generally assess the prospects for a broadly deflationist approach, I shall outline a sense in which the dispute can be recast as ‘minimally substantive’. (shrink)

Materialists about human persons think that we are material through and through—wholly material beings. Those who endorse materialism more widely think that everything is material through and through. But what is it to be wholly material? In this article, I answer that question. I identify and defend a definition or analysis of ‘wholly material’.

I formulate an account, in terms of essence and ground, that explains why atomic Russellian propositions have the truth conditions they do. The key ideas are that (i) atomic propositions are just 0-adic relations, (ii) truth is just the 1-adic version of the instantiation (or, as I will say, holding) relation (Menzel 1993: 86, note 27), and (iii) atomic propositions have the truth conditions they do for basically the same reasons that partially plugged relations, like being an x and a (...) y such that Philip gave x to y, have the holding conditions they do. The account is meant to be mainly of intrinsic interest, but I hope that it goes some distance toward answering an objection to classical theories of propositions put forward by King (2014), who writes that ‘since the classical conception of propositions as things that have truth conditions by their very natures and independently of minds and languages is incapable of explaining how or why propositions have truth conditions, it is unacceptable’ (2014: 47). Propositions do have their truth conditions ‘by their very natures’ and ‘independently of minds and languages’. But a fact about a given entity can hold by the very nature of that entity without being a fundamental fact. I argue that this is plausibly the case for atomic Russellian propositions and the facts about their truth conditions. A fact about the truth conditions of such a proposition holds by the very nature of the given proposition but is metaphysically grounded in facts about that proposition’s parts and their essences. If my account is correct, then the supposedly intractable problem of explaining why the given propositions have the truth conditions they do reduces to the problem of explaining why relations have the holding essences they do, which few seem to have found worrisome . (shrink)

Are there disjunctive properties? This question is important for at least two reasons. First, disjunctive properties are invoked in defense of certain philosophical theories, especially in the philosophy of mind. Second, the question raises the prior issue of what counts as a genuine property, a central concern in the metaphysics of properties. I argue here, on the basis of general considerations in the metaphysics of properties, that there are no disjunctive properties. Specifically, I argue that genuine properties must guarantee similarity-in-a-respect (...) among their instances, and must inhere in their bearers (two notions to be clarified). Disjunctive properties would fail both requirements. I compare the case of disjunctive properties with “mere Cambridge properties,” determinable properties, and functional properties, and show how my conception of properties remains compatible with determinables and functional properties while ruling out disjunctive and mere Cambridge properties. (shrink)

In this paper I do two things: (1) I support the claim that there is still some confusion about just what the Quine-Putnam indispensability argument is and the way it employs Quinean meta-ontology and (2) I try to dispel some of this confusion by presenting the argument in a way which reveals its important meta-ontological features, and include these features explicitly as premises. As a means to these ends, I compare Peter van Inwagen’s argument for the existence of properties with (...) Putnam’s presentation of the indispensability argument. Van Inwagen’s argument is a classic exercise in Quinean meta-ontology and yet he claims – despite his argument’s conspicuous similarities to the Quine-Putnam argument – that his own has a substantially different form. I argue, however, that there is no such difference between these two arguments even at a very high level of specificity; I show that there is a detailed generic indispensability argument that captures the single form of both. The arguments are identical in every way except for the kind of objects they argue for – an irrelevant difference for my purposes. Furthermore, Putnam’s and van Inwagen’s presentations make an assumption that is often mistakenly taken to be an important feature of the Quine-Putnam argument. Yet this assumption is only the implicit backdrop against which the argument is typically presented. This last point is brought into sharper relief by the fact that van Inwagen’s list of the four nominalistic responses to his argument is too short. His list is missing an important – and historically popular – fifth option. (shrink)

This thesis is an exercise in comparative metaontology. I am centrally concerned with how one might choose between competing metaontological theories. To make my project tractable, I compare two contemporary metaontological approaches dominant in the literature: neo-Quineanism (N-Q) and neo-Aristotelianism (N-A). Peter van Inwagen, a representative of N-Q, claims that ontological inquiry should be conducted in the quantifier-variable idiom of first-order predicate logic; to know what exists, or what a theory says exists, we read our commitments off the regimented sentences (...) that we affirm as true. E.J. Lowe, a representative of N-A objects to N-Q and claims that ontology should be done directly; that it is a mostly a priori activity which is the indispensable intellectual foundation for all rational inquiry. Both metaontological accounts are questionable and there seems to be no decisive way to choose between them. I claim, however, that considerations concerning the explanatory nature of ontology is a key and under-studied factor with respect to ontological method, pointing a way to a possible candidate for metaontological theory choice. I conclude that van Inwagen’s N-Q metaontology is wanting in many respects and further, that he does not provide adequate reasons to dispense with explanation as a feature of ontological inquiry. While explanatory considerations are central to Lowe’s N-A metaontology, I claim that the best that can be hoped for with his particular approach is a form of explanatory antirealism. (shrink)

This paper is about avoiding commitment to an ontology of possible worlds with two primitives: a hyperintensional connective like ‘in virtue of’, and primitive quantification into predicate position. I argue that these tools (which some believe can be independently motivated) render dispensable the ontology of possible worlds needed by traditional anaylses of modality. They also shed new light on the notion of truth-at-a-world.

Speaks defends the view that propositions are properties: for example, the proposition that grass is green is the property being such that grass is green. We argue that there is no reason to prefer Speaks's theory to analogous but competing theories that identify propositions with, say, 2-adic relations. This style of argument has recently been deployed by many, including Moore and King, against the view that propositions are n-tuples, and by Caplan and Tillman against King's view that propositions are facts (...) of a special sort. We offer our argument as an objection to the view that propositions are unsaturated relations. (shrink)

The issues I explore in this paper are best introduced by the table with which it begins. The left-hand entry in each row gives expression to a kind objectivity; the right-hand entry affirms the existence of a special kind of object. When philosophers believe in any of the entities on the right, it is typically because they think them necessary to ground the facts on the left. By the same token, when philosophers deny any of the facts on the left, (...) it is often because they cannot bring themselves to believe in the associated kind of object on the right. My project is to explore the extent to which it is possible to have the objectivity without the objects—for example, absolute motion without substantival space, objective predication without universals, objective synonymy without propositions, and objective modality without possible worlds. Each of these combinations would have been congenial to A.N. Prior. (shrink)

Languages involving modalities and languages involving vagueness have each been thoroughly studied. On the other hand, virtually nothing has been said about the interaction of modality and vagueness. This paper aims to start filling that gap. Section 1 is a discussion of various possible sources of vague modality. Section 2 puts forward a model theory for a quantified language with operators for modality and vagueness. The model theory is followed by a discussion of the resulting logic. In Section 3, the (...) framework will permit us to address a puzzle raised by Elizabeth Barnes and Robert Williams. (shrink)

In this paper, I criticize Structured Propositionalism, the most widely held theory of the nature of propositions according to which they are structured entities with constituents. I argue that the proponents of Structured Propositionalism have paid insufficient attention to the metaphysical presuppositions of the view – most egregiously, to the notion of propositional constituency. This is somewhat ironic, since the friends of structured propositions tend to argue as if the appeal to constituency gives their view a dialectical advantage. I criticize (...) four different approaches to providing a metaphysics of propositional constituency: set-theoretic, mereological, hylomorphic, and structure-making. Finally, I consider the option of taking constituency in a deflationary, metaphysically ‘lightweight’ sense. I argue that, though invoking constituency in a lightweight sense may be useful for avoiding the ontological problems that plague the ‘heavyweight’ conception, it no longer proffers a dialectical advantage to Structured Propositionalism. (shrink)

Bart Streumer employs a reductio ad absurdum to show that a hyperintensional conception of properties has a multiplication problem; roughly, this conception of properties leads to the absurd result that we can multiply distinct but co-intensional properties without end. In this paper, I will explain why Streumer’s reductio fails to convince.

Are there any disjunctive properties—features of things such as being either red or round, or Nelson Goodman’s infamous example of being grue? As esoteric as the question may seem at first, central issues about the metaphysics of properties hinge upon its answer, such as whether reductive views about special science properties can handle the phenomenon of multiple realizability. A familiar argument for a negative answer is that disjunctive properties fail to guarantee that their instances are similar in some genuine respect. (...) In this paper, I respond to a novel, sophisticated version of this argument developed in recent work by Paul Audi. Along the way, I develop two new accounts of what it is for a property to be disjunctive—which rely on important recent work on the nature of essence and analysis—and clarify what one is committed to in believing that there are any disjunctive properties at all. (shrink)