In recent years there has been a lot of skepticism about the existence of facts. It seems that one of the last places for their application is in truthmaking theory. In this paper I discuss two approaches to the use of facts in truthmaking. The first, categorial, holds that facts are entities that belong to one of three ontological categories (true propositions, truth of propositions, instantiations of universals).The second, deflationary, holds that a fact is merely a functional concept denoting any (...) entity that performs a truthmaking function. I argue that in the face of significant criticism of categorial facts as truthmakers, a defender of facts may resort to the deflationary concept. Nevertheless, even in this case we can do without facts as truthmakers. (shrink)

This chapter is a work in applied metaphysics. Recent discussions of monism and metaphysical dependence are deployed to develop a view—the doctrine of divine priority (DDP)—that is a viable alternative to the doctrine of divine simplicity (DDS). DDS and the traditional motivation for it are discussed, then DDP is introduced by way of an analogy involving Jonathan Schaffer’s distinction between two forms of monism. It is argued that DDP is an alternative to DDS by showing that it is consistent with (...) the traditional motivation for the latter view, and argued that DDP is a viable alternative by showing that objections to its peculiar implications rest on assumptions that can reasonably be rejected. In the concluding section, the findings of the main discussion are summarized and DDP’s potential theological import is illustrated with a brief discussion of a possible solution to the Problem of the Trinity it affords. (shrink)

The practice of attributing aesthetic properties to scientific and philosophical theories is commonplace. Perhaps one of the most famous examples of such an aesthetic judgement about a theory is Quine's in 'On what there is': "Wyman's overpopulated universe is in many ways unlovely. It offends the aesthetic sense of us who have a taste for desert landscapes". Many other philosophers and scientists, before and after Quine, have attributed aesthetic properties to particular theories they are defending or rejecting. One often hears (...) that a view is "elegant", "attractive", "beautiful", or even "sexy". [...] The general claim that aesthetic properties supervene on non-aesthetic properties is a largely debated one. In this paper, I wish to address this issue from an angle which has not been really explored so far: I shall neither concentrate on cases of artefacts nor of natural objects, like the beauty of a painting or the beauty of a sunrise, rather, my main centre of attention will be the somewhat more special, theoretical case of the beauty of philosophical theories (with a focus on metaphysical theories). As we will see, there are some interesting issues concerning claims that attribute aesthetic properties to theories, in part because, even if such claims are commonplace in philosophy and in science, little has been said about the nature of the relevant supervenience basis – that is, about what it is exactly that the beauty of a theory is supposed to supervene on. Moreover, we shall see that aesthetic properties of theories play a crucial role in theory choice and evaluation. Indeed, it seems that the aesthetic properties of a theory can be appealed to in theory evaluation and when it comes to preferring one theory over another. But before we ask ourselves what role the attribution of aesthetic properties to theories can play, I will adress the question how theories come to have their aesthetic properties in the first place. (shrink)

The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

Most social policies cannot be defended without making inductive inferences. For example, consider certain arguments for racial profiling and affirmative action, respectively. They begin with statistics about crime or socioeconomic indicators. Next, there is an inductive step in which the statistic is projected from the past to the future. Finally, there is a normative step in which a policy is proposed as a response in the service of some goal—for example, to reduce crime or to correct socioeconomic imbalances. In comparison (...) to the normative step, the inductive step of a policy defense may seem trivial. We argue that this is not so. Satisfying the demands of the inductive step is difficult, and doing so has important but underappreciated implications for the normative step. In this paper, we provide an account of induction in social contexts and explore its implications for policy. Our account helps to explain which normative principles we ought to accept, and as a result it can explain why it is acceptable to make inferences involving race in some contexts (e.g., in defense of affirmative action) but not in others (e.g., in defense of racial profiling). (shrink)

I explore the view that the imago Dei is essential to us as humans but accidental to us as persons. To image God is to resemble God, and resemblance comes in degrees. This has the straightforward—and perhaps disturbing—implication that we can be more or less human, and possibly cease to be human entirely. Hence, I call it the spectrum view. I argue that the spectrum view is complementary to the Biblical data, helps explain the empirical reality of horrendous evil, and (...) offers an elegant rapprochement between the traditional view of hell and its rivals. (shrink)

The general concept of a trope – that of a non-shareable character-grounder – admits of a distinction between modifier tropes and module tropes. Roughly, a module trope is self-exemplifying whereas a modifier trope is not. This distinction has wide-ranging implications. Modifier tropes are uniquely eligible to be powers and fundamental determinables, whereas module tropes are uniquely eligible to play a direct role in perception and causation. Moreover, each type of trope theory faces unique challenges concerning character- grounding. Modifier trope theory (...) faces challenges concerning the inscrutability of predication and the incompatibility with bundle theory, whereas module trope theory faces challenges concerning character overdetermination and a collapse into austere nominalism. These differences indicate that the modifier/module distinction divides the advantages of general trope theory and thus presents the trope theorist with a pivotal choice. (shrink)

This chapter contains section titled: The Issue Varieties of Nominalism Two Conceptions of Universals The Regress Charge and two Unsuccessful Attempts to Meet it An Alternative.

Consider two similarity facts: a is similar to b with respect to G, and c is similar to d with respect to G. According to the Platonist approach to similarity, the analysis of such facts forces us to admit that similarity facts are to be analyzed into facts about universal similarities of the form: a is similar to b with respect to G, and c is similar to d with respect to G, where similarity is a universal. In this paper, (...) I defend Neutralism, a view according to which there are properties and similarities, but these are not universals, particulars, or of other categories. After presenting the Platonist analysis of similarity proposed by Russell and Grossmann, I examine the question of whether or not the Platonist analysis of similarity leads us inevitably to a conception of similarity as a universal. Then I offer a novel, alternative analysis of similarity free of commitment to universals. (shrink)

Mereological Nominalism, as traditionally understood, states that properties are mereological wholes and that instantiation is mereological. Thus defined, this view faces a number of well-known issues, which make it virtually untenable. Recently, Effingham :160–185, 2020) has offered an alternative account of Mereological Nominalism, which intends to avoid these problems by accepting while rejecting. In this paper, we argue that this theory is not viable for two main reasons. First, it faces a threat of circularity. Second, the various non-mereological accounts of (...) instantiation envisioned by Effingham in order to replace seem inconsistent with. (shrink)

Three plausible views—Presentism, Truthmaking, and Independence—form an inconsistent triad. By Presentism, all being is present being. By Truthmaking, all truth supervenes on, and is explained in terms of, being. By Independence, some past truths do not supervene on, or are not explained in terms of, present being. We survey and assess some responses to this.

According to the doctrine of divine simplicity, God is an absolutely simple being lacking any distinct metaphysical parts, properties, or constituents. Although this doctrine was once an essential part of traditional philosophical theology, it is now widely rejected as incoherent. In this paper, I develop an interpretation of the doctrine designed to resolve contemporary concerns about its coherence, as well as to show precisely what is required to make sense of divine simplicity.

This article discusses a familiar version of trope theory as opposed to a familiar version of the theory of universals, examining how these two rivals address the problem of “attribute agreement”—a problem that has been at the root of the very reason for developing these theories in the first place. The article shows that there is not much of a difference between the ways these two theories handle the problem, and in a more general way it argues that there is (...) little reason for preferring one theory over the other. It is not interested in this claim only for the sake of the debate between trope theory and the theory of universals. Indeed, the reasons why it claims that it is so difficult to choose one theory over the other can be applied to other cases as well (where they might lead to claims of metaphysical equivalence). (shrink)

Several metaphysical debates have typically been modeled as oppositions between a relationist approach and a substantivalist approach. Such debates include the Bundle Theory and the Substratum Theory about ordinary material objects, the Bundle (Humean) Theory and the Substance (Cartesian) Theory of the Self, and Relationism and Substantivalism about time. In all three debates, the substantivalist side typically insists that in order to provide a good treatment of the subject-matter of the theory (time, Self, material objects), it is necessary to postulate (...) the existence of a certain kind of substance, while the other side, the relationist one, characteristically feels that this is an unnecessary expense and that one can get the job done in an ontologically cheaper way just with inter-related properties or events. In this paper I shall defend the view that there is much less of a disagreement between relational ontologies and substantival ontologies than it is usually thought. I believe that, when carefully examined, the two sides of the debate are not that different from each other, in all three cases of pairs of views mentioned above. As we will see, both the relational side and the substantival side work in the same way, suffer from and answer the same objections, and are structurally extremely similar. It will be an important question – one that I shall discuss in detail, and that is indeed the main point of interest for me in this paper – whether this means that the two sides of the debate are somehow 'equivalent' or not, and what 'equivalent' could mean. (shrink)

Metaphysical theories heavily rely on the use of primitives to which they typically appeal. I will start by examining and evaluating some traditional well-known theories and I will discuss the role of primitives in metaphysical theories in general. I will then turn to a discussion of claims of between theories that, I think, depend on equivalences of primitives, and I will explore the nature of primitives. I will then claim that almost all explanatory power of metaphysical theories comes from their (...) primitives, and so I will turn to scrutinize the notion of "power" and "explanatory". (shrink)

In this article, I defend Lewisian modal realism against objections arising from the possibility of ‘Island Universes’ and other similar cases. The problem comes from Lewis’ claim that possible worlds are spatio-temporally isolated. I suggest a modification of Lewisian modal realism in order to avoid this family of objections. This modification may sound quite radical since it amounts to abandoning the very notion of a possible world, but as radical as it may sound it in fact remains well in the (...) spirit of Lewis’ original view. (shrink)

What is an epiphenomenal property? This question needs to be settled before we can decide whether higher-level properties are epiphenomenal or not. In this paper, I offer an account of what it is for a property to have some causal power. From this, I derive a characterisation of the notion of an epiphenomenal property. I then argue that physically realized higher-level properties are not epiphenomenal because laws of nature impose causal similarities on the bearers of such properties, and these similarities (...) figure as powers in the causal profiles of these properties. (shrink)

According to contemporary ‘process ontology’, organisms are best conceptualised as spatio-temporally extended entities whose mereological composition is fundamentally contingent and whose essence consists in changeability. In contrast to the Aristotelian precepts of classical ‘substance ontology’, from the four-dimensional perspective of this framework, the identity of an organism is grounded not in certain collections of privileged properties, or features which it could not fail to possess, but in the succession of diachronic relations by which it persists, or ‘perdures’ as one entity (...) over time. In this paper, I offer a novel defence of substance ontology by arguing that the coherency and plausibility of the radical reconceptualisation of organisms proffered by process ontology ultimately depends upon its making use of the ‘substantial’ principles it purports to replace. (shrink)

Truthmaker theorists often express their core commitment by saying that truth is grounded in being, and grounding theorists often take truthmaking to be a paradigm case of grounding. But I will argue that truthmaking is not a case of grounding. What is crucial for understanding truthmaking is not grounding but rather meaning (in a broad sense including reference). Truth is still constrained by how things are, so even if (so‐called) truthmakers don't play a role in grounding truths, the methodological program (...) of truthmaker theory survives. Here I lay out my understanding of truth and truthmaking, and distinguish two conceptions of grounding. I argue that truthmaking is not plausibly seen as a case of grounding on either conception. I argue further that treating truthmaking as grounding threatens to violate a plausible irreflexivity principle, and makes trouble for the view that grounding is transitive. I then suggest that there is no genuine relation of truthmaking (which there would have to be if it were a true case of grounding). Finally, I show how the core insights of truthmaker theory are preserved by the understanding of truthmaking that I favor. (shrink)

This paper presents the view that tropes can change, and so are not individuated by their determinate qualitative characters. On the view I have in mind, a trope is at any given time fully determinate, but can change qualitatively within the bounds set by a determinable essence. A charge trope, for example, must at any time have some exact intensity, but can survive changes in intensity. My argument, roughly, is this: Objects can change, and tropes are the parts of objects (...) that change (in a special sense of ‘part’), so tropes can change too. After some preliminaries, I present the argument carefully and discuss the operant notions. I then discuss each premise in turn. I respond to the charge that the view isn't realist, and to objections based on identity‐conditions for tropes. I describe both substratum‐ and bundle‐theoretic versions of the view, and finally, show what the view buys us. (shrink)

This paper discusses a problem for Russellian propositions. According to Russellianism, each word in a sentence contributes its referent to the proposition expressed by the sentence. Russellian propositions have normally been conceived of as problematic for two reasons, viz. they cannot account for the unity of the proposition and they have problems with non-referring singular names. In this paper, I argue that Russellianism also faces a problem with respect to properties. It is inconsistent with both traditional realism and trope-theories. The (...) only theory of properties which is consistent with Russellianism is Platonism. Moreover, it is argued that Russellianism needs a particularly implausible version of Platonism. (shrink)

This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...) to a case of coextension consists in contending that the relevant ascriptions of properties are identical. In this chapter, I defend a monist approach to cases of coextension that appeals to a counterpart theory for propositions. (shrink)

I defend a reading of David Hume’s nominalism that he comes close to Keith Campbell's contemporary trope theory in the specific case of spatial properties. I argue that Hume's view should be construed as classifying spatial properties as Campbellian tropes (particular properties): abstract, particular, determinate and qualitatively simple properties. This has implications for reconstructing Hume's answer to the problem of universals. I argue that Hume’s account of objects resembling each other in respect of spatial properties is grounded in the resemblance (...) of tropes rather than in the resemblance of objects. (shrink)

Distinctively mathematical explanations (DMEs) explain natural phenomena primarily by appeal to mathematical facts. One important question is whether there can be an ontic account of DME. An ontic account of DME would treat the explananda and explanantia of DMEs as ontic structures and the explanatory relation between them as an ontic relation (e.g., Pincock 2015, Povich 2021). Here I present a conventionalist account of DME, defend it against objections, and argue that it should be considered ontic. Notably, if indeed it (...) is ontic, the conventionalist account seems to avoid a convincing objection to other ontic accounts (Kuorikoski 2021). (shrink)

Whereas traditional nominalists accept the realist's challenge to solve a 'Problem of Universals', the Ostrich Nominalist responds that there is no such Problem to answer. I suggest that Ostrich Nominalist arguments expose a genuine flaw in the realist project. However, I argue, Ostrich Nominalism is ultimately defeated by a problem about the analysis of qualitative sameness and difference. Qualitative sameness and difference are adequately understood only as sameness or difference in some respect. The need to say what these respects of (...) sameness and difference are (if not universals) constitutes a genuine Problem of Universals; consequently—I claim—the Ostrich Nominalist is mistaken. (shrink)

Le Poidevin has recently presented an argument that gives rise to a serious problem for relationist theories of space. It appeals to the simple geometrical fact that if A, B and C are three points lying in a straight line, then AB and BC together entail AC. He suggests that an ontological relationship of supervenience must be appealed to to explain this entailment. Given this thesis of supervenience, relationism is implausible. I argue that the problem that Le Poidevin raises for (...) relationism should be rejected, because the thesis of supervenience is false. The latter rests upon what Le Poidevin refers to as ‘The explanatory principle', a principle which he claims to be a natural extension of the truthmaker principle. Contrary to this, I argue that given any plausible theory of truthmaking, the explanatory principle is false. With the rejection of this principle, Le Poidevin's argument against relationism collapses. (shrink)

In this paper I argue, contra Fraser MacBride, that conceptual analysis, and in particular the distinction between numerical and qualitative identity, can solve the Problem of Universals, whether understood as the One over Many or the as the Many over One. In this paper I show why the solutions needed to solve either version of the problem must be in terms of truthmakers, and that the distinction between numerical and qualitative identity is not sufficient to solve them.

Guy Rohrbaugh and Allan Hazlett have provided two arguments against the thesis that musical works are types. In short, they assume that, according to our modal talk and intuitions, musical works are modally flexible entities; since types are modally inflexible entities, musical works are not types. I argue that Rohrbaugh’s and Hazlett’s arguments fail and that the type/token theorist can preserve the truth of our modal claims and intuitions even if types are modally inflexible entities. First, I consider two alternatives (...) for the type/token theorist proposed in recent literature about the topic: the created types’ solution and the created abstract objects’ solution. I argue that none of them is attractive for the type/token theorist because they do not preserve the theoretical advantages of type/token theories to explain musical works’ repeatable nature. Then, I focus on the arguments’ common premise that musical works are modally flexible entities. A deeper analysis of musical practice will show that this premise is not true: our modal claims do not imply that musical works could have had different intrinsic but, instead, extrinsic properties. Finally, I show how the nested types theory may offer a satisfactory explanation of this fact and how it captures the truth of our modal talk about musical works. (shrink)

The mythical1 hungry ass, facing two identical bundles of hay equidistant from him, has engendered two related questions. Can he choose one of the bundles, there seemingly being nothing to incline him one way or the other? If he can, the second puzzle — pertaining to rational choice — arises. It seems the ass cannot rationally choose one of the bundles, because there is no sufficient reason for any choice.2In what follows, I will argue that choice is possible even when (...) there is no option which is better than the others (section II), and that it is perfectly reasonable to choose an option even when there is no sufficient reason for it (section III). I will then (section IV) point to another puzzling feature of the .. (shrink)

This paper defends the case against (sparse) disjunctive properties by means of four Armstrongian arguments. The first of these is a logical atomist argument from truthmaking, which is, broadly speaking, ‘Armstrongian’ (Armstrong 1997). This argument is strong – although it stands or falls with the relevant notion of truthmaking, as it were. However, three arguments, which are prima facie independent of truthmaking, can be found explicitly early in Armstrong’s middle period. Two of these early arguments face a serious objection put (...) forward forcefully by Louise Antony (2003) and Alan Penczek (1997), respectively. I consider these objections and argue that they fail. Thus, even if the argument from truthmaking is indecisive, disjunctive properties should be rejected. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

Nominalism about attributes has serious difficulties in accounting for truths involving abstract nouns. Prominent among such truths are statements of comparative similarity among attributes. This paper argues that one cannot account for the truth of such statements without invoking attributes.

In developing resemblance nominalism, Rodriguez-Pereyra attempts to meet the challenge that truths involving abstract nouns pose to the doctrine. He holds that one can render sentences containing abstract nouns without invoking attributes and defends this view by giving nominalistic sentences that express the truthmakers of two such sentences: ‘Scarlet is a colour’ and ‘Carmine resembles vermillion more than it resembles French blue.’ This article argues that his renderings have serious problems and fall far short of meeting the challenge posed by (...) truths involving abstract nouns. (shrink)

Visual perception is widely taken to present properties such as redness, roundness, and so on. This in turn might be thought to give rise to accuracy conditions for experience, and so content, regardless of which metaphysical view of perception one endorses. An influential version of this argument—Susanna Siegel’s ’Argument from Appearing’—aims to establish the existence of content as common ground between representational and relational views of perception. This goes against proponents of ‘austere’ relationalism who deny that content plays a substantive (...) role in philosophical explanations of conscious perceptual experience. Though Siegel’s argument purports to be neutral with respect to the metaphysics of perception, it relies upon an equivocation between the presentation of property-types and property-instances. Consequently, the argument begs the question against the austere relational view, and so fails to establish the desired conclusion. So while relationalists can and should allow that experiences have accuracy conditions, it does not follow from this that they have contents of any philosophically interesting or significant kind. (shrink)

While the concept event has been an important tool in our thinking about causation and action, the concept process has not been appealed to so readily. However, recently, several philosophers have...

Comparison is fundamental to the practice and subject-matter of philosophy, but has received scant attention by philosophers. This is even so in “comparative philosophy,” which literally distinguishes itself from other philosophy by being “comparative.” In this article, the need for a philosophy of comparison is suggested. What we compare with what, and in what respect it is done, poses a series of intriguing and intricate questions. In Part One, I offer a problematization of the tertium comparationis (the third of comparison) (...) by examining conceptualizations of similarity, family resemblance, and analogy, which it is sometimes argued can do without a tertium comparationis. In Part Two, I argue that a third of comparison is already required to determine what is to be compared, and insofar as that determination precedes the comparison that tertium may be called “pre-comparative.” This leads me to argue against incomparability and to show how anything can indeed be compared to anything. In Part Three, I relate my arguments to what is today commonly labelled “comparative philosophy.” Finally, I raise some questions of ontology and politics in order to demonstrate the relevance of a philosophy of comparison. (shrink)

The present paper addresses Molnar’s problem :72–86, 2000): that of finding positive truthmakers for negative truths. The proposed solution, called, is to hold truth and falsity to be primitive and positive features of propositions and to take every literal negative truth to be made true by the falsity of the atomic proposition that it embeds. The solution is shown to be compatible with Maximalism, Necessitarianism and with the Entailment Thesis, as well as with most if not all possible variants of (...) truthmaking theory. Other advantages of are noted: it doesn’t require the inclusion of exotic objects in one’s ontology; it doesn’t require any revision of one’s logic or of one’s theory of modality. The solution also allows one to eschew negative facts, tropes and properties while providing a definition of negativity for certain literal propositions. The paper ends by rebutting several objections that may be levelled against. (shrink)

Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...) aim of this paper is to explore a nominalist version of the view, Austere Nominalist Dispositional Essentialism. The core features of the proposed account are that it eschews all kinds of properties, takes certain predicative truths as fundamental, and employs the so-called generic notion of essence. As I will argue, the account is significantly closer to the core idea behind Dispositional Essentialism than the only nominalist account in the vicinity of Dispositional Essentialism that has been offered so far—Ann Whittle’s Causal Nominalism—and is immune to crucial problems that affect this view. (shrink)

Traditionally, many arguments for realism about properties rely on a priori claims. The author argues that if we make use of an abductive principle that is commonly employed by scientific realists, a new argument for property realism can be formulated which is based firmly in scientific practice. The abductive principle says that we should believe in the existence of certain theoretical entities if they figure in the best explanation for what scientists observe. The scientific argument for property realism then says (...) that the best explanation for various behavioural patterns that physical scientists observe is that microscopic entities instantiate stable, causally efficacious properties. After presenting the argument, the author defends it against possible objections. More generally, the article provides a case study for how science and metaphysics can work together to generate ontological claims. (shrink)

Among those who posit properties, liberals (mostly nominalists) admit abundant, ontologically free properties, which particulars possess whenever they satisfy the same predicate and belong to the same class, however artificial. I call them “L-properties” (for “Liberal”). Some liberals also admit that some few L-properties are natural, while most of them are artificial (the same applies to the corresponding classes). Others (mostly but not only realists) commit to a more discriminating use of the category: properties are sparse, they make for the (...) objective similarities among particulars, and more importantly, they allow to analyze “objective similarity” and “class naturalness” in terms of property-possessing and sharing. They give particulars their “true nature”, and I call them “A-properties” (for “Analytical”). This article provides a defense of this second type of properties, in the particular case of sortals. To that end, a new fact is put forward: that sorts are classes which are natural not as a primitive feature, but in virtue of what the particulars which belong to them are, and which makes them _naturally belong_ to them. I then argue that this fact entails the existence of the desired type of properties, “sortal A-properties”, although leaving open the question of how they should be construed. (shrink)

This symposium contribution discusses some issues of ontology involved in the metaethics of Hilary Putnam's book Ethics without Ontology.

The notion of similarity plays a central role in Quine’s theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine’s theory has been ignored by several philosophers (see, e.g., Armstrong, D. M. (1978a). Nominalism and (...) realism: Universals and Scientific realism (Vol. I). Cambridge: Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine’s austere ontology; in particular, it does not assume the existence of properties and of possible worlds. (I will mention below Quine’s reason for rejecting properties and possible worlds. For a theory of Universals that assumes possible worlds, see, e.g., Rodriguez-Pereyra, G. (2002). Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine’s approach that have been raised by Armstrong and Oliver [(1996). The metaphysics of properties. Mind, 105, 1–80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [(1986). On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

The notion of similarity plays a central role in Quine's theory of Universals and it is with the help of this notion that Quine intends to define the concept of kind which also plays a central role in the theory. But as Quine has admitted, his attempts to define kinds in terms of similarities were unsuccessful and it is mainly because of this shortcoming that Quine's theory has been ignored by several philosophers. Nominalism and realism: Universals and Scientific realism. Cambridge: (...) Cambridge University Press). In the present paper, I propose an alternative framework that accounts for the phenomena that Quine intends to explain with his resemblance theory. The framework agrees with Quine's austere ontology; in particular, it does not assume the existence of properties and of possible worlds.. Resemblance nominalism: A solution to the problem of Universals. Oxford: Clarendon Press.) Moreover, the framework is extensionalist since the abstract entities it assumes are classes and these can be individuated extensionally, for classes are identical if their members are identical. Finally, I will refute some of the objections to Quine's approach that have been raised by Armstrong and Oliver [. The metaphysics of properties. Mind, 105, 1-80.] and I will argue that, contrary to what has been claimed by Oliver in a comment on Lewis [. On the plurality of worlds. Oxford: Blackwell.], Quine is able to specify an important set of sparse properties. (shrink)

Among truthmaker theorists it is generally thought that we are not able to use the entailment principle to ground negative truths. But these theorists usually only discuss truthmakers for truth-functional complexes, thereby overlooking the fact that there are non-truth-functional complexes whose truth values are not solely determined by the truth or falsity of their atomic propositions. And once we expand the class of truths that require their own bespoke truthmakers to also include these, there is no reason to exempt negative (...) truths from grounding. For given that truthmaking is closed under entailment and every negative truths is entailed by some non-truth-functional complex or other, any resources rich enough to ground the truth of the latter will do the same job for the former. (shrink)

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

One of the more persistent debates in mereology is whether distinct wholes can have the same parts. Extensional mereologists hold that if there is no part that makes the difference, then there is nothing to distinguish the wholes, so sameness of parts implies identity. Non-extensionalists, however, do think there are cases where distinct wholes share all their parts. This paper argues that the kind of argument non-extensionalists employ can also be levelled against a widely accepted extensionality principle of plural logic. (...) Non-extensionalists thus face a dilemma: either give up the argument for non-extensional mereology, or deny both the extensionality principle of mereology and the analogous principle for plural logic. (shrink)

In a recent article, Herbert Hochberg portrays my ontological position, that of a trope nominalist who is sceptical about relational tropes, as deviating into idealism. Since there are few philosophical views I find more repugnant than idealism, I must either resist the accusation or recant. I choose to resist, by showing how relational tropes are not needed as truth-makers for a wide range of truths, and raising the real possibility that they may not be needed at all, without lapsing into (...) either monism or idealism. (shrink)