Paul (Noûs 36:578–596, 2002; Noûs 40:623–659, 2006, The Handbook of Mereology, forthcoming) has argued for a bundle theory of objects that analyzes the bundling relation between properties and objects in terms of parthood relations. In this paper I argue that any mereological bundle theory with the explanatory power of Paul’s theory will entail the principle of the identity of indiscernibles (PII). This is problematic, since similar bundle theories seem to fall to Max Black’s two sphere counterexample to (PII). I argue, (...) however, that a fully developed mereological bundle theory provides a new way of interpreting Black’s two sphere universe that dispels the counterexample. I argue that this solution to Black’s puzzle is superior to other solutions on offer, and consequently that mereological bundle theory is an attractive ontological strategy for friends of (PII). (shrink)

Nexuses such as exemplification are the fundamental ties that structure reality as a whole. They are “formal” in the sense of constituting the form, not the matter of reality and they are “transcendental” inasmuch as they transcend the categorial distinctions between the denizens of reality, including that between existents and non-existents. I shall advocate a moderately particularist view about (external) nexuses and argue that it provides not only the best solution to Bradley’s regress, but also an elegant account of symmetrical (...) relations (both formal and material), as well as of temporal and modal change. These advantages are illustrated by the reconstruction of an Aristotelian ontology of exemplification involving substances, kinds and material attributes. (shrink)

The semantic rules that govern ordinary property discourse appear to give rise to a version of Russell's antinomy. Do we therefore have an inconsistent conception of properties? This paper firstly develops a consistent conception of properties and secondly argues that we may indeed interpret ordinary property discourse as expressing the consistent conception rather than an inconsistent one.

Is the relation between properties and the causal powers they confer necessary, or contingent? Necessary, says Sydney Shoemaker, on pain of skepticism about the properties. Contingent, says David Lewis, swallowing the skeptical conclusion. I shall argue that Lewis is right about the metaphysics, but that Shoemaker and Lewis are wrong about the epistemology. Properties have intrinsic natures (quiddities), which we can know.

The notion of grounding has gained increasing acceptance among metaphysicians in recent years. In this paper, I argue that this notion can be used to formulate a very attractive version of (property) nominalism, a view that I call ‘grounding nominalism’. Simplifying somewhat, this is the view that all properties are grounded in things. I argue that this view is coherent and has a decisive advantage over competing versions of nominalism: it allows us to accept properties as real, while fully accommodating (...) nominalist intuitions. Finally, I defend grounding nominalism against several seemingly troublesome objections. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

Recent discussions of mental causation have focused on three principles: (1) Mental properties are (sometimes) causally relevant to physical effects; (2) mental properties are not physical properties; (3) every physical event has in its causal history only physical events and physical properties. Since these principles seem to be inconsistent, solutions have focused on rejecting one or more of them. But I argue that, in spite of appearances, (1)–(3) are not inconsistent. The reason is that 'properties' is used in different senses (...) in the principles. In (1) and (3), 'properties' should be read as 'tropes' (properties here are particulars), while in (2) 'properties' should read as 'types' (properties here are universals or classes). Although mental types are distinct from physical types, every mental trope is a physical trope. This allows mental properties to be causally relevant to physical effects without violating the closed character of the physical world. (shrink)

This essay re-examines Meinong's "Über Gegenstandstheorie" and undertakes a clarification and revision of it that is faithful to Meinong, overcomes the various objections to his theory, and is capable of offering solutions to various problems in philosophy of mind and philosophy of language. I then turn to a discussion of a historically and technically interesting Russell-style paradox (now known as "Clark's Paradox") that arises in the modified theory. I also examine the alternative Meinong-inspired theories of Hector-Neri Castañeda and Terence Parsons.

In the present paper, I offer a conceptual argument against the view that all properties are pure powers. I claim that thinking of all properties as pure powers leads to a regress. The regress, I argue, can be solved only if non-powers are admitted. The kernel of my thesis is that any attempt to answer the title question in an informative way will undermine a pure-power view of properties. In particular, I focus my critique on recent arguments in favour of (...) pure powers by the Late George Molnar and Jennifer McKitrick. The lines of defence of the friends of powers converge on what I call 'the ultimate argument for powers', viz., that current physics entails (or supports) the view that the fundamental properties (spin, mass, charge) are ungrounded powers. I take issue with this argument and make a modest suggestion: that the evidence from current physics is inconclusive. (shrink)

In Contradiction advocates and defends the view that there are true contradictions, a view that flies in the face of orthodoxy in Western philosophy since Aristotle. The book has been at the center of the controversies surrounding dialetheism ever since its first publication in 1987. This second edition of the book substantially expands upon the original in various ways, and also contains the author’s reflections on developments over the last two decades. Further aspects of dialetheism are discussed in the companion (...) volume, Doubt Truth to be a Liar, also published by Oxford University Press in 2006. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

Vallicella’s influential work makes a case that, when formulated broadly, as a problem about unity, Bradley’s challenge to Armstrongian states of affairs is practically insurmountable. He argues that traditional relational and non-relational responses to Bradley are inadequate, and many in the current metaphysical debate on this issue have come to agree. In this paper, I argue that such a conclusion is too hasty. Firstly, the problem of unity as applied to Armstrongian states of affairs is not clearly defined; in fact, (...) it has taken a number of different forms each of which need to be carefully distinguished and further supported. Secondly, once we formulate the problem in more neutral terms, as a request for a characterization of the way that particulars, universals, and states of affairs stand to one another, it can be adequately addressed by an Armstrongian about states of affairs. I propose the desiderata for an adequate characterization and present a neo-Armstrongian defense of states of affairs that meets those desiderata. The latter relies on an important distinction between different notions of fundamentality and existential dependence. (shrink)

Bradley's Regress-a problem about what grounds or 'accounts for' the ability of two or more things to stand in a relation-is often presented as a problem about truthmakers: what entity 'makes it true' that two objects a and b are related? I criticize this account of the regress on the grounds that it is dialectically weak and trivially solvable. I then propose an alternative interpretation, according to which the regress challenges our ability to use relational entities to give an account (...) of the underlying metaphysical situation in cases of relatedness. Although I concede that this regress is fatal for some realist and trope-theoretic accounts of relatedness, and does not permit of a trivial solution, I suggest a way we can avoid it without giving up an ontology of relational universals or relational tropes. Bradley's Regress-correctly understood-sets limits on our theory of relations; it does not force us to abandon relations altogether. (shrink)

I argue for a property mereology and for mereological bundle theory. I then apply this theory to the one over many problem (universals) and puzzles concerning persistence and material constitution.

I shall argue in this article that, if we need to admit of negative facts in our ontology as falsemakers of false propositions, then it is plausible to accept that there are also negative properties conceived of as modes. After having briefly recalled the falsemaker argument, I shall explore five different alternative interpretations of negative facts and I shall demonstrate that each alternative – except for the one involving negative properties – is affected by some problems. Later on, I shall (...) deal with a number of objections against negative properties and I shall demonstrate that they can be overcome without much difficulty. Eventually, I shall tackle Nick Zangwill's argument against the thesis that negative properties are as real as positive ones. Among other things, I shall argue that Zangwill's argument is at least limited in its scope, since it only works with negative and positive determinates within some common determinable. (shrink)

The author argues for the existence of negative facts. The first section is devoted to an argument, grounded on truthmaker maximalism, that aims at demonstrating that negative facts must exist at least as false propositions’ falsemakers. In the second section, the author analyzes and criticizes several attempts to get rid of negative facts: the ones based on incompatibilities, absences, totality facts and polarities, as well as the ones based on various restrictions on truthmaker maximalism or on the non-acceptance of facts (...) as truthmakers. In particular, it is shown that an ontology that accepts negative facts is simpler than an ontology that denies their existence and that in general, many attempts to get rid of negative facts turn out to recognize the existence of such entities or of entities that are more mysterious than negative facts themselves. (shrink)

Law dispositionalism is the doctrine according to which laws of nature are grounded on powers/dispositions. In this article, I shall examine how certain laws of nature can turn out to be contingent on this view. First of all, I shall distinguish between two versions of law dispositionalism (i.e., a weak and a strong one) and I shall also single out two further theses that may be conjoined with it (i.e., strong and weak dispositional essentialism). I shall then define four different (...) sorts of laws of nature. Afterwards, I shall examine five sources of contingency for law dispositionalism: the contingent existence of the relevant entities involved in the laws; the contingent activation, background and possession conditions of the powers at stake; the presence of contingent constants in the laws; the presence of indeterministic powers; the presence of powers that are not essential to the entities involved in the laws. (shrink)

I put in question in this article the existence of conjunctive properties. In the second section, after having provided a characterization of conjunctive properties, I develop an argument based on the principle of ontological parsimony: if we accept that there are conjunctive properties in the universe then, ceteris paribus, our ontology turns out to be less ontologically parsimonious than if we reject them. Afterwards, in the third section, I distinguish between maximalist and non-maximalist and reductionist and non-reductionist theories of conjunctive (...) properties., as well as between reductionist and non-reductionist theories that reject conjunctive properties. Such distinctions help to clarify the options at hand when accepting or rejecting conjunctive properties. In light of these distinctions, I then tackle two objections against the argument from ontological parsimony. Finally, in the remaining sections, I deal with two arguments defended by D. M. Armstrong for the existence of conjunctive properties: the argument from infinite complexity and the argument from causal powers. I show that there are several ways to resist these arguments and their conclusion. (shrink)

I will consider Armstrong's problems in trying to account for structural universals, i.e., a kind of complex universal whose instantiation by particulars involves different parts of those particulars instantiating several basic properties and relations, such as the property of being a molecule of methane. I present and criticise Armstrong's most recent attempt to explain structural properties by means of the identification of universals with types of states of affairs and I state my own solution to the problem by appealing to (...) formal relations holding between particulars. (shrink)

In truth theory one aims at general formal laws governing the attribution of truth to statements. Gupta’s and Belnap’s revision-theoretic approach provides various well-motivated theories of truth, in particular T* and T#, which tame the Liar and related paradoxes without a Tarskian hierarchy of languages. In property theory, one similarly aims at general formal laws governing the predication of properties. To avoid Russell’s paradox in this area a recourse to type theory is still popular, as testified by recent work in (...) formal metaphysics by Williamson and Hale. There is a contingent Liar that has been taken to be a problem for type theory. But this is because this Liar has been presented without an explicit recourse to a truth predicate. Thus, type theory could avoid this paradox by incorporating such a predicate and accepting an appropriate theory of truth. There is however a contingent paradox of predication that more clearly undermines the viability of type theory. It is then suggested that a type-free property theory is a better option. One can pursue it, by generalizing the revision-theoretic approach to predication, as it has been done by Orilia with his system P*, based on T*. Although Gupta and Belnap do not explicitly declare a preference for T# over T*, they show that the latter has some advantages, such as the recovery of intuitively acceptable principles concerning truth and a better reconstruction of informal arguments involving this notion. A type-free system based on T# rather than T* extends these advantages to predication and thus fares better than P* in the intended applications of property theory. (shrink)

This paper first discusses how Russell and Hochberg have addressed some phenomena of relatedness, notably relational order, in a similarly ‘positionalist’ way, yet by appealing to different sorts of formal relations: “positions” in Russell's case and “ordering relations” in Hochberg's. After pointing out some shortcomings of both approaches, the paper then proposes an alternative view based on ‘o-roles’, which are, roughly speaking, ontological counterparts of the thematic roles postulated in linguistics. It is argued that o-roles are sort of middle-of-the-road entities (...) in the sense that they have the virtues of positions and those of ordering relations, without having their respective vices. Some tentative ideas on which o-roles should be acknowledged are also put forward. (shrink)

Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to (...) be called P*, intended for applications in Montague-style natural language semantics and formal ontology. The theory is philosophically grounded on Gupta’s and Belnap’s revision theory of definitions and its basic idea is viewing predication (exemplification) as a ‘circular concept’ that can be captured by circular definitions. The paper has the following fourteen sections: (1) Introduction; (2) Formal type-free property theory; (3) Applying RTD [revision theory of definitions] to exemplification; (4) The system P*; (5) Some features of P*; (6) A comparison with Turner’s system; (7) Entailment and P*; (8) P* and natural language semantics; (9) Noun phrases; (10) The need for type-freedom in semantics; (11) Arithmetic in P*; (12) Arithmetic in PN*; (13) Complexity of P*; (14) Conclusion, and acknowledgments. (shrink)

There have been attempts to derive anti-haeccetistic conclusions from the fact that quantum mechanics (QM) appeals to non-standard statistics. Since in fact QM acknowledges two kinds of such statistics, Bose-Einstein and Fermi-Dirac, I argue that we could in the same vein derive the sharper anti-haeccetistic conclusion that bosons are bundles of tropes and fermions are bundles of universals. Moreover, since standard statistics is still appropriate at the macrolevel, we could also venture to say that no anti-haecceitistic conclusion is warranted for (...) ordinary objects, which could then tentatively be identified with substrates. In contrast to this, however, there has been so far no acknowledgement of the possibility of inclusivism, according to which ontological accounts of particulars as widely different as those can possibly coexist in one world picture. The success of the different statistics in physics at least calls for a revision in this respect. (shrink)

This paper defends the view that Newtonian forces are real, symmetrical and non-causal relations. First, I argue that Newtonian forces are real; second, that they are relations; third, that they are symmetrical relations; fourth, that they are not species of causation. The overall picture is anti-Humean to the extent that it defends the existence of forces as external relations irreducible to spatio-temporal ones, but is still compatible with Humean approaches to causation (and others) since it denies that forces are a (...) species of causation. (shrink)

In the last few decades of the twentieth century there was a revolution in metaphysics: the intensional revolution. Many metaphysicians rejected the doctrine, associated with Quine and Davidson, that extensional analyses and theoretical resources were the only acceptable ones. Metaphysicians embraced tools like modal and counterfactual analyses, claims of modal and counterfactual dependence, and entities such as possible worlds and intensionally individuated properties and relations. The twenty-first century is seeing a hypterintensional revolution. Theoretical tools in common use carve more finely (...) than by necessary equivalence: two pieces of language can apply to the same entities across all possible worlds but not be equivalent; thoughts can be necessarily equivalent in truth value but not synonymous. This paper argues that hyperintensional resources are valuable in metaphysics outside theories of representation, and discusses some promising areas of hyperintensional metaphysics. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

Extensive measurement theory is developed in terms of theratio of two elements of an arbitrary (not necessarily Archimedean) extensive structure; thisextensive ratio space is a special case of a more general structure called aratio space. Ratio spaces possess a natural family of numerical scales (r-scales) which are definable in non-representational terms; ther-scales for an extensive ratio space thus constitute a family of numerical scales (extensive r-scales) for extensive structures which are defined in a non-representational manner. This is interpreted as involving (...) arelational theory of quantity which contrasts in certain respects with thequalitative theory of quantity implicit in standard representational extensive measurement theory. The representational properties of extensiver-scales are investigated, and found to coincide withweak extensive measurement in the sense of Holman. This provides support for the thesis (developed in a separate paper) that weak extensive measurement is a more natural model of actual physical extensive scales than is the standard model using strong extensive measurement. Finally, the present apparatus is applied to slightly simplify the existing necessary and sufficient conditions for strong extensive measurement. (shrink)

Developing some suggestions of Ramsey (1925), elementary logic is formulated with respect to an arbitrary categorial system rather than the categorial system of Logical Atomism which is retained in standard elementary logic. Among the many types of non-standard categorial systems allowed by this formalism, it is argued that elementary logic with predicates of variable degree occupies a distinguished position, both for formal reasons and because of its potential value for application of formal logic to natural language and natural science. This (...) is illustrated by use of such a logic to construct a theory of quantity which is argued to be scientifically superior to existing theories of quantity based on standard categorial systems, since it yields real-valued scales without the need for unrealistic existence assumptions. This provides empirical evidence for the hypothesis that the categorial structure of the physical world itself is non-standard in this sense. (shrink)

David Armstrong is one of Australia's greatest philosophers. His chief philosophical achievement has been the development of a core metaphysical programme, embracing the topics of universals, laws, modality and facts. This book offers an introduction to the full range of Armstrong's thought. It begins with a discussion of Armstong's naturalism.

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

David Lewis famously argued against structural universals since they allegedly required what he called a composition “sui generis” that differed from standard mereological com¬position. In this paper it is shown that, although traditional Boolean mereology does not describe parthood and composition in its full generality, a better and more comprehensive theory is provided by the foundational theory of categories. In this category-theoretical framework a theory of structural universals can be formulated that overcomes the conceptual difficulties that Lewis and his followers (...) regarded as unsurmountable. As a concrete example of structural universals groups are considered in some detail. (shrink)

In this essay, I argue for an account of property possession as strict, numerical identity. According to this account, for an entity to possess a property is for that entity to be numerically identical to that property.

In this paper I rehearse two central failings of traditional possible world semantics. I then present a much more robust framework for intensional logic and semantics based liberally on the work of George Bealer in his book Quality and Concept. Certain expressive limitations of Bealer's approach, however, lead me to extend the framework in a particularly natural and useful way. This extension, in turn, brings to light associated limitations of Bealer's account of predication. In response, I develop a more general (...) and intuitively more adequate account of the logical form of predication. (shrink)

The paper looks at the semantics and ontology of dispositions in the light of recent work on the subject. Objections to the simple conditionals apparently entailed by disposition statements are met by replacing them with so-called 'reduction sentences' and some implications of this are explored. The usual distinction between categorical and dispositional properties is criticised and the relation between dispositions and their bases examined. Applying this discussion to two typical cases leads to the conclusion that fragility is not a real (...) property and that, while both temperature and its bases are, this does not generate any problem of overdetermination. (shrink)

We group the existing variants of the familiar set-theoretical and truth-theoretical paradoxes into two classes: connective paradoxes, which can in principle be ascribed to the presence of a contracting connective of some sort, and structural paradoxes, where at most the faulty use of a structural inference rule can possibly be blamed. We impute the former to an equivocation over the meaning of logical constants, and the latter to an equivocation over the notion of consequence. Both equivocation sources are tightly related, (...) and can be cleared up by adopting a particular substructural logic in place of classical logic. We then argue that our perspective can be justified via an informational semantics of contraction-free substructural logics. (shrink)

There are three different degrees to which we may allow a systematic theory of the world to embrace the idea of relatedness—supposing realism about non-symmetric relations as a background requirement. (First Degree) There are multiple ways in which a non-symmetric relation may apply to the things it relates—for the binary case, aRb ≠ bRa. (Second Degree) Every such relation has a distinct converse—for every R such that aRb there is another relation R* such that bR*a. (Third Degree) Each one of (...) them applies in an order to the things it relates—with regard to the state that results from R's applying to a and b, either R applies to a first and b second, or it applies to b first and a second. Whereas the first degree is near-indubitable, embracing the second or third generates unwholesome consequences. The second degree embodies a commitment to the existence of a superfluity of distinct converses and states to which such relations give rise. The third degree embodies commitment to recherché facts of the matter about how the states that arise from the application of one non-symmetric relation compare to any other. It is argued that accounts that purport to offer an analysis of the first degree generate unwelcome second or third degree consequences. This speaks in favour of our adopting an account of the application of relations that's not an analysis at all, an account that takes the first degree as primitive. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

In this paper, we develop an alternative strategy, Platonized Naturalism, for reconciling naturalism and Platonism and to account for our knowledge of mathematical objects and properties. A systematic (Principled) Platonism based on a comprehension principle that asserts the existence of a plenitude of abstract objects is not just consistent with, but required (on transcendental grounds) for naturalism. Such a comprehension principle is synthetic, and it is known a priori. Its synthetic a priori character is grounded in the fact that it (...) is an essential part of the logic in which any scientific theory will be formulated and so underlies (our understanding of) the meaningfulness of any such theory (this is why it is required for naturalism). Moreover, the comprehension principle satisfies naturalist standards of reference, knowledge, and ontological parsimony! As part of our argument, we identify mathematical objects as abstract individuals in the domain governed by the comprehension principle, and we show that our knowledge of mathematical truths is linked to our knowledge of that principle. (shrink)