Philosophy and Phenomenological Research, EarlyView.

Structural universals are a kind of complex universal. They have been put to work in a variety of philosophical theories but are plagued with problems concerning their compositional nature. In this article, we will discuss the following questions. What are structural universals? Why believe in them? Can we give a consistent account of their compositional nature? What are the costs of doing so?

This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...) and were influential in their communities, but produced relatively little. In Australia, materialism gained prominence through the work of John Anderson, who arrived in Australia in 1927, and continues to be influential. John Anderson had been a student of Henry Jones, who might therefore be said to have influenced both main strands of Australian philosophical thought. (shrink)

Discussion of atomistic and monistic theses about abstract reality.

I will introduce and motivate eliminativist super-relationism. This is the conjunction of relationism about spacetime and eliminativism about material objects. According to the view, the universe is a big collection of spatio-temporal relations and natural properties, and no substance (material or spatio-temporal) exists in it. The view is original since eliminativism about material objects, when understood as including not only ordinary objects like tables or chairs but also physical particles, is generally taken to imply substantivalism about spacetime: if properties are (...) directly instantiated by spacetime without the mediation of material objects, then, surely, spacetime has to be a substance. After introducing briefly the two debates about spacetime (§1) and material objects (§2), I will present Schaffer's super-substantivalism (§3), the conjunction of substantivalism about spacetime and eliminativism about material objects at the fundamental level. I shall then expose and discuss the assumption from which the implication from eliminativism to substantivalism is drawn, and discuss the compatibility of eliminativism with relationism: if spacetime is not a substance, and if material objects are not real, how are we to understand the instantiation of properties (§4)? And what are the relata of spatio-temporal relations (§5)? I then show that each argument in favor of super-substantivalism offered by Schaffer also holds for super-relationism (§6) and examine several metaphysical consequences of the view (§7). I conclude that both super-substantivalism and super-relationism are compatible with Schaffer's priority monism (§8). (shrink)

Since the publication of Universals and Scientific Realism (Armstrong 1978a, b) until Sketch for a Systematic Metaphysics (Armstrong 2010), via Universals: An Opinionated Introduction (Armstrong 1989), a World of States of Affairs (Armstrong 1997), and Truth and Truthmakers (Armstrong 2004), David Armstrong has developed one of the most influential theories of instantiation in contemporary analytic metaphysics (see, for example, Lewis, in Aust J Phil 61(4), 343–377, 1983; Baxter in Aust J Phil, 79, 449–464, 2001; Forrest, in Aust J Phil, 83, (...) 213–228, 2006). Instantiation has been advocated by Armstrong to give a solution to what he has called the “pressing problem” of “the multiple location of property universals” (Armstrong, in Universals: An opinionated introduction. University Press, Cambridge, 1989, pp. 89–90). Here I argue that Armstrong’s theory of instantiation fails to solve the problem because it involves two kinds of instantiation to account for particulars “having” and “sharing” universals. As a viable alternative to Armstrong’s theory, I propose a theory of instantiation capable of accounting for both phenomena in a univocal way. (shrink)

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

2020 update of the entry "Properties".

I present in this article a new theory of structural properties or, more precisely, of structural kinds, such as being methane. According to this theory, structural kinds are kinds that are both emergent and sustained in their existence. In the first section, I introduce structural properties and four problems that affect the most widely held conception of them, namely, the pictorial conception. In the second section, I introduce some theses about emergence, powers, emergent powers, relations and structures that I have (...) defended in other works and that constitute the basis on which my theory of structural kinds is built up. In the third section, I eventually develop my theory in full detail and show how it can solve the problems mentioned in the second section. Finally, in the fourth section, I face five objections and briefly compare my account with some other accounts of structural properties. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

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)

Typical structural universals are not just the mereological sum of their constituents. Hence, there is the Structure Problem of explaining this non-mereological structure. The Instantiation Problem is that the predicate "U is instantiated by x, y, etc., in that order" is ill-suited to be a primitive, unanalyzed predicate. The proposed solution to these problems is based on the observation that if universal U is said to supervene upon universals V, W, etc., then it is the instantiation of U that supervenes (...) on the instantiation of V, W, etc. Assuming there are few subvenient universals, which is admittedly a speculation, their instantiation may be explained in ways that would be uneconomic if there were too many. (shrink)

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