The currently standard philosophical conception of existence makes a connection between three things: certain ways of talking about existence and being in natural language; certain natural language idioms of quantification; and the formal representation of these in logical languages. Thus a claim like ‘Prime numbers exist’ is treated as equivalent to ‘There is at least one prime number’ and this is in turn equivalent to ‘Some thing is a prime number’. The verb ‘exist’, the verb phrase ‘there is’ and the (...) quantifier ‘some’ are treated as all playing similar roles, and these roles are made explicit in the standard common formalization of all three sentences by a single formula of first-order logic: ‘(∃ x )[P( x ) & N( x )]’, where ‘P( x )’ abbreviates ‘ x is prime’ and ‘N( x )’ abbreviates ‘ x is a number’. The logical quantifier ‘∃’ accordingly symbolizes in context the role played by the English words ‘exists’, ‘some’ and ‘there is’. (shrink)

Do powers have powers? More urgently, do powers need further powers to do what powers do? Stathis Psillos says they do. He finds this a fatal flaw in the nature of pure powers: pure powers have a regressive nature. Their nature is incoherent to us, and they should not be admitted into the ontology. I argue that pure powers do not need further powers; rather, they do what they do because they are powers. I show that at the heart of (...) Psillos’ regress is a metaphysical division he assumes between a pure power to φ and its directedness towards the manifestation of φ-ing, i.e. between a pure power and its essence. But such an ontological division between an entity and its essence has already been shown by Aristotle to be detrimental, condemning the entity to a regressive nature. I show that Psillos’ regress is but an instance of Aristotle’s regress argument on the relation between an entity and its essence. I compare Aristotle’s, Bradley’s, and Psillos’ regresses, showing that Bradley’s and Psillos’ (different) conclusions from the regress arguments lead to impasses. I then build on Aristotle’s directive against regressive natures, arguing with him that an entity is not other than its nature (being divided from its nature by a relation between them). Rather, an entity is an instantiated nature itself. The Aristotelian position I put forward explains how the oneness of the entity is achieved by its being an instance of a type. Thus, the regress is blocked, and the nature of pure powers is shown to pose no threats of an ontological or epistemological kind, if physics gave us reasons to posit pure powers. (shrink)

This paper examines the idea that there might be natural kinds of causal processes, with characteristic diachronic structure, in much the same way that various chemical elements form natural kinds, with characteristic synchronic structure. This claim -- if compatible with empirical science -- has the potential to shed light on a metaphysics of essentially dispositional properties, championed by writers such as Bird and Ellis.

Simon Blackburn posed a dilemma for any realist attempt to identify the source of necessity. Either the facts appealed to to ground modal truth are themselves necessary, or they are contingent. If necessary, we begin the process towards regress; but if contingent, we undermine the necessity whose source we wanted to explain. Bob Hale attempts to blunt both horns of this dilemma. In this paper I examine their respective positions and attempt to clear up some confusions on either side. I (...) come to defend Hale’s conclusion that both horns of the dilemma can be resisted. I end by defending my own account of the source of necessity, and showing why it does not fall victim to Blackburn’s problem. (shrink)

The aim of this paper is to argue that there are categorical properties as well as causal powers, and that the world would not exist as we know it without them. For categorical properties are needed to define the powers—to locate them, and to specify their laws of action. These categorical properties, I shall argue, are not dispositional. For their identities do not depend on what they dispose their bearers to do. They are, as Alexander Bird would say, ’quiddities’. But (...) there is nothing wrong with quiddities. And, in the second half of this paper, I shall defend the thesis that all categorical properties are quiddities. (shrink)

In this paper I explore Michael Loux’s important distinction between “tropes” and “tropers”. First, I argue that the distinction throws into relief an ambiguity and discrepancy in the literature, revealing two fundamentally different versions of trope theory. Second, I argue that the distinction brings into focus unique challenges facing each of the resulting trope theories, thus calling into question an alleged advantage of trope theory—that by uniquely occupying the middle ground between its rivals, trope theory is able to recover and (...) preserve the insights of these views. Ultimately, the distinction suggests that trope theory is a divided house. (shrink)