It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...) thing, being, entity, item, existent, and—especially—object.[ It is not obvious that there is any fully general category (whether object or otherwise). Accordingly, not all accounts of object assign it to a fully general category, instead allowing that there are non-objects. On those views, object does indeed divide. Accounts of object, then, differ with respect to whether there are non-objects. And this is not the only fault line. Other dimensions of difference include what objects there are and what objects are. Accordingly, this entry will survey three broad questions about the category object: What, if any, is its contrast or complement? What is its extension? What is its nature? (shrink)

This paper explores the connection between two philosophical debates concerning the nature of properties. The first metaethical debate is about whether normative properties are ordinary natural properties or some unique kind of non-natural properties. The second metaphysical debate is about whether properties are sets of objects, transcendent or immanent universals, or sets of tropes. I argue that nominalism, transcendent realism, and immanent realism are not neutral frameworks for the metaethical debate but instead lead to either metaethical naturalism or non-naturalism. We (...) can therefore investigate the metaethical question on its own terms only within the framework of trope theory. (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’.

Nonnaturalist realism is the view that normative properties are unique kind of stance-independent properties. It has been argued that such views fail to explain why two actions that are exactly alike otherwise must also have the same normative properties. Mark Schroeder and Knut Olav Skarsaune have recently suggested that nonnaturalist realists can respond to this supervenience challenge by taking the primary bearers of normative properties to be action kinds. This paper develops their response in two ways. First, it provides additional (...) motivation for the previous claim about the bearers of normative properties by drawing from the work of H. A. Prichard. Second, and more importantly, it formulates a plausible metaphysical framework based on the contemporary trope theory to explain why action kinds would have their second-order properties, including their normative properties, necessarily. (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)

Bare particularism is a constituent ontology according to which substances—concrete, particular objects like people, tables, and tomatoes—are complex entities constituted by their properties and their bare particulars. Yet, aside from this description, much about bare particularism is fundamentally unclear. In this paper, I attempt to clarify this muddle by elucidating the key metaphysical commitments underpinning any plausible formulation of the position. So the aim here is primarily catechismal rather than evangelical—I don’t intend to convert anyone to bare particularism, but, by (...) looking at a series of questions, to instead specify what, if one is a bare particularist, one is committed to. Along the way, I address three major objections: a classic objection about whether bare particulars have properties, a new objection raised by Bailey, and an understanding objection that questions some of the position’s resources. (shrink)

ABSTRACTMany philosophers have suggested that disagreement is good grounds for scepticism. One response says that disagreement-motivated scepticism can be mitigated to some extent by the thesis that philosophical disputes are often verbal, not genuine. I consider the implications of this anti-sceptical strategy, arguing that it trades one kind of scepticism for others. I conclude with suggestions for further investigation of the epistemic significance of the nature of philosophical disagreement.

I explore some of the ways that assumptions about the nature of substance shape metaphysical debates about the structure of Reality. Assumptions about the priority of substance play a role in an argument for monism, are embedded in certain pluralist metaphysical treatments of laws of nature, and are central to discussions of substantivalism and relationalism. I will then argue that we should reject such assumptions and collapse the categorical distinction between substance and property.

Philosophy and Phenomenological Research, EarlyView.

This paper argues that, assuming properties exist and must be located in spacetime, the prevailing view that they are exactly located where their instances are is false. Instead a property is singularly located at just one region, namely the union of its instance's locations. This bears not just on issues in the metaphysics of properties, but also on the debate over whether multi-location is conceivable and/or possible.

The doctrine of divine simplicity has recently been ably defended, but very little work has been done considering reasons to believe God is simple. This paper begins to address this lack. I consider whether divine aseity or the related notion of divine sovereignty provide us with good reason to affirm divine simplicity. Divine complexity has sometimes been thought to imply that God would possess an efficient cause; or, alternatively, that God would be grounded by God’s constituents. I argue that divine (...) complexity implies neither of these, and so that a complex God could also exist a se. Similarly, a complex God might be thought less sovereign than a simple God, due to lacking control over the divine constituents. I argue in reply that a complex God either has just as much control as a simple God, or that a complex God’s relative lack of control should cause no theological problems. The upshot is that neither the doctrines of divine aseity or of divine sovereignty give theists good reason to endorse divine simplicity. (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)

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)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

Objects partially resemble when they are alike in some way but not entirely alike. Partial resemblance, then, involves similarity in a respect. It has been observed that talk of “respects” appears to be thinly‐veiled talk of properties. So some theorists take similarity in a respect to require property realism. I will go a step further and argue that similarity in intrinsic respects (partial intrinsic resemblance) requires properties to be immanent in objects. For a property to be immanent in an object (...) is roughly for it to be wholly present in that object. (So understood, immanence does not imply repeatability, and thus tropes count as immanent.) If two objects are intrinsically similar in one way but not another, there must be a difference between the two ways. And if the similarity is between the objects as they are in themselves, then this difference, too, must be within the objects. Partial intrinsic resemblance thus requires internal structure. Without it, there can be no distinctions between ways in which things are intrinsically alike and ways in which they aren't. I will argue, further, that distinctions between properties that transcend objects fail to account for the possibility of partial intrinsic resemblance. (shrink)

Perichoresis, or “mutual indwelling,” is a crucial concept in Trinitarian theology. But the philosophical underpinnings of the concept are puzzling. According to ordinary conceptions of “indwelling” or “being in,” it is incoherent to think that two entities could be in each other. In this paper, I propose a mereological way of understanding “being in,” by analogy with standard examples in contemporary metaphysics. I argue that this proposal does not conflict with the doctrine of divine simplicity, but instead affirms it. I (...) conclude by discussing how mutual indwelling relates to the concepts of unity and identity. (shrink)

Bare particulars have received a fair amount of bad press. Many find such entities to be obviously incoherent and dismiss them without much consideration. Proponents of bare particulars, on their part, have not done enough to clearly motivate and characterize bare particulars, thus leaving them open to misinterpretations. With this paper, I try to remedy this situation. I put forward a much-needed positive case for bare particulars through the four problems that they can be seen to solve—The Problem of Individuation, (...) The Problem of Change, The Problem of Having a Property, and The Problem of Subtraction. I then distinguish and characterize three possible types of bare particulars—genuinely bare, constitutively bare, and thinly clothed—and consider how each of these cope with some classical and recent objections to bare particulars. I argue that the most troubling objections do not come from familiar quarters, but from examining how well such entities address all four of the ontological problems outlined. I ultimately conclude that the best contenders among the three types of bare particulars are the constitutively bare variety, but argue that, if they are to earn their keep, they must either share or turn over their individuating role to the ordinary particulars that they constitute. (shrink)

Sentience, as the capacity to feel pleasure and pain, is often understood as a property of an organism, and the main problem is to determine whether an organism possesses this property or not. This is not just an armchair worry. Sentient ethics grounds its normative prescriptions on sentience, so assessing if an organism possesses sentience is crucial for ethical reasoning and behaviour. Assessing if it is the case is far from simple and there is no stable agreement about it. This (...) is the problem of sentience. In this paper, I argue that there is a problem intrinsic to the problem of sentience. I call it the “metaproblem of sentience”. I claim that the assumptions that underlie the concept of sentience are what create the “problem of sentience”. In the first part of the paper, I list and describe these assumptions and show how they create the problem of sentience in sentient ethics. In the second part, I offer enactive and pragmatist tools, namely real doubt (Peirce, In: Kloesel C (ed) Writings of Charles S. Peirce: A Chronological Edition, vol. 3. Bloomington: Indiana University Press, 1986) and loving epistemology (De jaegher, Phenomenol Cogn Sci 20:847–870. https://doi.org/10.1007/s11097-019-09634-5, 2019), for tackling the problem of sentience. I advance a participatory account of sentience and show of relevance of the transcendental argument (Weber and Varela, Phenomenol Cogn Sci, 1:97–125, 2002; Weber, Natur als Bedeutung: Versuch Einer Semiotischen Ästhetik Des Lebendigen. Königshausen & Neumann, 2003; Thompson, Mind in life: Biology, Phenomenology, and the sciences of mind. Harvard University Press, 2007) in ethical discourse. My own contribution is that the transcendental argument should be understood in a relational manner, from the experience of participatory sentience. So it is not just that life can be known only by life. Life can be cared for only by life. So, as in sentient ethics, it is out of my concern for sentient begins that I need to care for them. But, distinct from sentient ethics, may approach to participatory sentience would push to known sentience from how I care for sentient begins, from how I engage with them, from how I take part in their life. I conclude by stressing the significance of a participatory ethics of sentience. (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)

In both the historical and contemporary literature on the metaphysics of space, a core dispute is that between relationism and substantivalism. One version of the latter is supersubstantivalism, according to which space is the only kind of substance, such that what we think of as individual material objects are actually just parts of spacetime which instantiate certain properties. If those parts are ontologically dependent on spacetime as a whole, then we arrive at an ontology with only a single genuinely independent (...) substance, namely the entire spacetime manifold. This is monist supersubstantivalism. A view on which the parts of spacetime are ontologically prior to the whole has been called pluralistic supersubstantivalism. As currently formulated, supersubstantivalism carries significant advantages and encounters major difficulties. I argue that some of the latter motivate... (shrink)

Many philosophers believe that there are both particulars and universals. Many of these philosophers, in turn, believe that universals areimmanent. On this view, universals are wholly located where their instances are located. Both Douglas Ehring and E.J. Lowe have argued that immanent universals do not exist on the grounds that nothing can be wholly located in multiple places simultaneously without contradiction. In this paper, I focus on Lowe’s argument, which has received far less attention in the literature. Using the theory (...) of location found in Josh Parsons (2007), I show how Lowe’s argument against immanent universals can be resisted. (shrink)

In this article I examine an as yet unexplored aspect of J.P. Moreland’s defense of so-called bare particularism — the ontological theory according to which ordinary concrete particulars (e.g., Socrates) contain bare particulars as individuating constituents and property ‘hubs.’ I begin with the observation that if there is a constituency relation obtaining between Socrates and his bare particular, it must be an internal relation, in which case the natures of the relata will necessitate the relation. I then distinguish various ways (...) in which a bare particular might be thought to have a nature and show that on none of these is it possible for a bare particular to be a constituent of a complex particular. Thus, Moreland’s attempt to resurrect bare particulars as ontologically indispensable entities is not wholly without difficulties. (shrink)

This paper proposes an analysis of statements about universals according to which such statements assert nothing more than that the evidence we’d take to confirm them obtains, where this evidence is understood to consist solely of patterns in the behavior of particulars that cannot be explained by other regularities in the way things behave. On this analysis, to say that a universal exists is simply to say that there is such a pattern in the behavior of certain particulars, and for (...) any predicate F that is presumed to correspond to a universal, to say that a particular is F is simply to say that its behavior exhibits a pattern of this sort. I argue that there is no theoretical work that we want postulations and ascriptions of universals to do that they’d be unfit for if analyzed in this way, and consequently that there is no reason to treat such statements as asserting anything more than what the proposed analysis suggests. (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.

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.

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Metaphysical orthodoxy holds that a privileged minority of properties carve reality at its joints. These are the so-called fundamental properties. This thesis concerns the contemporary philosophical debate about the nature of fundamental properties. In particular, it aims to answer two questions: What is the most adequate conception of fundamental properties? What is the “big picture” world-view that emerges by adopting such a conception? I argue that a satisfactory answer to both questions requires us to embrace a novel conception of powerful (...) qualities, according to which properties are at once dispositional and qualitative. By adopting the proposed conception of powerful qualities, an original theory of fundamental properties comes to light. I call it Dual-Aspect Account. In this thesis, I defend the Dual-Aspect Account and its superiority with respect to rival views of fundamental properties. I illustrate this claim by examining Dispositionalism, the view defended among others by Alexander Bird and Stephen Mumford, Categoricalism, which has been advocated notably by David Lewis and David Armstrong, and the Identity Theory of powerful qualities, primarily championed by C. B. Martin and John Heil. The latter is the standard conception of powerful qualities. However, in the literature, the Identity Theory faces the charge of contradiction. A preliminary task is therefore to show that a conception of powerful qualities is coherent. To accomplish this aim, I introduce the notion of an aspect of a property. On this interpretation, powerful qualities can be thought of as having dispositional and qualitative aspects. I show that such a conception allows us to disambiguate the claim that a property’s dispositionality is identical with its qualitativity, and evade the charge of contradiction. Aspects bring us other theoretical benefits. I illustrate this claim by showing how the Dual-Aspect Account offers us a promising theory of resemblance. I then compare its merits with David Armstrong’s theory of partial identity. The conclusion of this thesis is that the Dual-Aspect Account is better suited to capturing the world as we find it in everyday life and scientific investigation as compared to the theoretical positions examined. (shrink)

The paper is the summary of a wider work, a research program. The hypothesis is that if Fundamental Ontology is apophatic – that is, if it has the same dialectical nature (relationality-substantiality) as the Trinity – we can accept that Trinity is also apophatic. The apophatic-relational explanation may sound odd, but it is the most honest one, because it does not hide the problems under the carpet. What emerges is a coherent form of Trinitarian Theism – since there is correspondence (...) between the human (un)ability to know the two levels of reality (the World and God) – that is based on an inevitable relational-apophatic paradigm. The apophaticism that we see in the Trinity (and in ontology) ensures that Trinitarian Theism can neither be proven nor disproven. (shrink)

The theory of events as property-instances has been considered one of the most widely accepted metaphysical theories of events. On the other hand, several philosophers claim that if both events and objects perdure, then objects must be identified with events. In this work, I investigate whether these two views can be held together. I shall argue that if they can, it depends on the particular theory of instantiation one is to adopt. In particular, I shall conclude that the theory of (...) events as property-instances and the view that identifies objects with events can be held together only if instances of eventive universals are temporal parts of objects – namely, those temporal parts that have the universals in question. (shrink)

Much of historic Christian philosophical theology has affirmed that God not only exists, but is Existence itself. Nowadays, this claim is widely rejected as unintelligible by theists and non-theists alike. I argue in contrast that if there is such a thing as Existence itself, that thing must be a maximally excellent being, which is what many philosophers call God. This is because Existence would itself need to exist, which is only possible if Existence exists in a paradigmatic way, that is, (...) as a perfect instance of existence. My argument thus offers both a defence of the coherence of the claim that God is Existence itself, and a new way of arguing for theism. (shrink)

Several philosophers have argued that property dualism and substance materialism are incompatible positions. Recently, Susan Schneider has provided a novel version of such an argument, claiming that the incompatibility will be evident once we examine some underlying metaphysical issues. She purports to show that on any account of substance and property-possession, substance materialism and property dualism turn out incompatible. In this paper, I argue that Schneider’s case for incompatibility between these two positions fails. After briefly laying out her case for (...) incompatibility, I present an account of substance—one that relies on a relational ontology—that makes the combination of substance materialism and property dualism unproblematic. Then I show that even under the theories of substance that Schneider considers—those that rely on a constituent ontology—there still is no incompatibility problem. (shrink)

In this paper, I examine Peter Schulte’s “Grounding Nominalism” (Schulte, 2018), understood as the claim that first-order properties and relations are grounded in the concrete particulars which instantiate them. While Schulte offered reasons to think that this view is consistent, along with answers to a number of objections, a more straightforward argument for GN is still needed. I take on this task here, by discussing and defending what I call the “argument from abstraction”. The latter, I suggest, offers more grounds (...) to Grounding Nominalism. (shrink)

One of the key questions in the contemporary analytic ontology concerns the relation between the Principle of Identity of Indiscernibles (PII) and the Bundle Theory (BT). The majority of authors believe that BT implies PII. Therefore, it is widely believed that the world violating PII presented by Max Black (1952. “The Identity of Indiscernibles.” Mind 61 (242): 153–64) is also devastating for BT. However, this has been questioned by Rodriguez-Pereyra (2004. “The Bundle Theory is Compatible with Distinct but Indiscernible Particulars.” (...) Analysis 64 (1): 72–81), who formulated an interpretation of BT with instances. Recently Robert (2019. “Can the Realist Bundle Theory Account for the Numerical Difference between Qualitavely Non-discernible Concrete Particulars?” Theorema 38 (1): 25–39) argued that this version of BT is not a constituent ontology and, therefore, Rodriguez-Pereyra’s solution comes at a price of excluding bundle theory from the domain of constituent ontologies, and, in this sense, it fails. I question Robert’s point by claiming that his account of constituent ontologies is too demanding. In particular, I show that the instance version of BT is compatible with the constrains defining constituent ontologies in general, and therefore Rodriguez-Pereyra’s argument is correct. (shrink)

Mereological nominalism is the thesis that properties are identical to mereological fusions of their instances. Cumpa and Declos have raised two problems for the view. This paper is a reply to both problems.

Primary to both ontology and epistemology is the attributional union that properties and relations have with their subjects. Yet, the tradition’s understanding of attribution has been assessed as shallow, and its contemporary analysis deemed locked in a non-progressing stalemate. Central here is the historically dominant __in___herence_/_constituent_ construal of attribution, what, I argue, has remained obscure and unattended as to its background assumptions and their implications. On the analysis offered herein, I make precise and detail errors of the defining assumptions of (...) inherence theory and the _two-tiered nature_ it requires of attribution. Brought into relief will be the four elements involved in every attributional union, and what are the errors in a sequence of collapsing identities among them that define inherence theory. Along the way, clarification and warrant is provided for the alternative theses and their implications defining an __ad___herence_ theory of attribution, key features synopsized in the last section. (shrink)

Over the past twenty-five years, no one has done more than J. P. Moreland to equip Christians to love God with their minds. In his work as a Christian philosopher, scholar, and apologist, he has influenced thousands of students, written groundbreaking books, and taught multitudes of Christians to defend their faith. -/- In honor of Moreland's ministry, general editors Paul M. Gould and Richard Brian Davis have assembled a team of friends and colleagues to celebrate his work. In three major (...) parts devoted to philosophy, apologetics, and spiritual formation, scholars such as Stewart Goetz, Paul Copan, Douglas Groothuis, Scott Rae, and Klaus Issler interact with Moreland's thought and make their own contributions to these important subjects. Moreland concludes the volume with his own essay, "Reflections on the Journey Ahead.". (shrink)

The debate about the ontological innocence of mereology has generally been framed as a debate about the plausibility of Universal Fusion. Ontologically loaded fusions must be more than the sum of their parts, and this seems to violate parsimony if fusion is universal. Less attention has been paid to the question of what sort of emergence mereological fusions must exhibit if they are irreducible to their parts. The philosophy of science literature provides several models of such strong emergence. Examining those (...) models suggests that the difficulty with emergent fusions has at least as much to do with extensionality as it does with Universal Fusion. Some accounts of emergence fail to ensure irreducibility when combined with extensional mereologies. The most promising model for the strong emergence of ontologically loaded fusions fails to validate Anti-Symmetry, which naturally leads to failures of extensionality. These results suggest that the focus on Universal Fusion may have been misplaced. (shrink)

In the opening chapter of the Monologion, Anselm offers an intriguing proof for the existence of a Platonic form of goodness. This proof is extremely interesting, both in itself and for its place in the broader argument for God’s existence that Anselm develops in the Monologion as a whole. Even so, it has yet to receive the scholarly attention that it deserves. My aim in this article is to begin correcting this state of affairs by examining Anslem’s proof in some (...) detail. In particular, I aim to clarify the proof’s structure, motivate and explain its central premises, and begin the larger project of evaluating its overall success as an argument for Platonism about goodness. (shrink)