This paper argues that emergent conscious properties can't bestow emergent causal powers. It supports this conclusion by way of a dilemma. Necessarily, an emergent conscious property brings about its effects actively or other than actively. If actively, then, the paper argues, the emergent conscious property can't have causal powers at all. And if other than actively, then, the paper argues, the emergentist finds himself committed to incompatible accounts of causation.

Pretheoretically, ‘all believers are immortal’ is about all believers, but B is not about any unbeliever. Similarly, ‘all mortals are unbelievers’ is not about any immortal, but M is about all mortals. But B and M are logically equivalent universal generalizations, so arguably they are about exactly the same objects; by, they are about those mortals who are unbelievers, contradicting. If one responds by giving up, is there still a sense in which B treats unbelievers differently from believers? I argue (...) that there is. B is uninformative about unbelievers but informative about believers, in the following sense: for any object o, the information that B provides only about o—namely, ‘o is a believer only if o is immortal’—is entailed by ‘o is an unbeliever’ but not by ‘o is a believer’. (shrink)

A common objection to Humeanism about natural laws is that, given Humeanism, laws cannot help explain their instances, since, given the best Humean account of laws, facts about laws are explained by facts about their instances rather than vice versa. After rejecting a recent influential reply to this objection that appeals to the distinction between scientific and metaphysical explanation, I will argue that the objection fails by failing to distinguish between two types of facts, only one of which Humeans should (...) regard as laws. I will then conclude by rebutting a variant of this objection that appeals to a principle of metaphysical explanation recently put forward by Kit Fine. (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)

Many necessitarians about cause and law (Armstrong 1983; Mumford 2004; Bird 2007) have argued that Humeans are unable to justify their inductive inferences, as Humean laws are nothing but the sum of their instances. In this paper I argue against these necessitarian claims. I show that Armstrong is committed to the explanatory value of Humean laws (in the form of universally quantified statements), and that contra Armstrong, brute regularities often do have genuine explanatory value. I finish with a Humean attempt (...) at a probabilistic justification of induction, but this fails due to its assumption that the proportionality syllogism is justified. Although this attempt fails, I nonetheless show that the Humean is at least as justified in reasoning inductively as Armstrong. (shrink)

A dispositional property is a tendency, or potency, to manifest some characteristic behaviour in some appropriate context. The mainstream view in the twentieth century was that such properties are to be explained in terms of more fundamental non-dispositional properties, together with the laws of nature. In the last few decades, however, a rival view has become popular, according to which some properties are essentially dispositional in nature, and the laws of nature are to be explained in terms of these fundamental (...) dispositions. The supposed ability of fundamental dispositions to ground natural laws is one of the most attractive features of the dispositional essentialist position. In this paper, however, I cast doubt on the ability of dispositional essences to ground the laws of nature. In particular I argue that the dispositional essentialist position is not able to coherently respond—sympathetically or otherwise—to Cartwright's challenge that there are no true general laws of nature. (shrink)

In this paper, I explore the notion of a “causal power”, particularly as it is relevant to a theory of properties whereby properties are individuated by the causal powers they bestow on the objects that instantiate them. I take as my target certain eliminativist positions that argue that certain kinds of properties (or relations) do not exist because they fail to bestow unique causal powers on objects. But the notion of a causal powers is inextricably bound up with our notion (...) of what an event is, and not only is there disagreement as to which theory of events is appropriate, but on the three prevailing theories, it can be shown that the eliminativists arguments do not follow. (shrink)

In this paper I claim that Earman and Norton 's hole argument against substantivalist interpretations of General Relativity assumes that the substantivalist must adopt a conception of determinism which I argue is unsatisfactory. Butterfield and others have responded to the hole argument by finding a conception of determinism open to the substantivalist that is not prone to the hole argument. But, unfortunately for the substantivalist, I argue this conception also turns out to be unsatisfactory. Accordingly, I search for a conception (...) of determinism that is both independently plausible and capable of blocking the hole argument. (shrink)

I first give a brief summary of a critique of the traditional theories of approximation and idealization; and after identifying one of the major roles of idealization as detaching component processes or systems from their joints, a detailed analysis is given of idealized laws – which are discoverable and/or applicable – in such processes and systems (i.e., idealized model systems). Then, I argue that dispositional properties should be regarded as admissible properties for laws and that such an inclusion supplies the (...) much needed connection between idealized models and the laws they `produce'' or `accommodate''. And I then argue that idealized law-statements so produced or accommodated in the models may be either true simpliciter or true approximately, but the latter is not because of the idealizations involved. I argue that the kind of limiting-case idealizations that produce approximate truth is best regarded as approximation; and finally I compare my theory with some existing theories of laws of nature.We seem to trace [in KingLear] ... the tendency of imagination toanalyse and abstract, to decomposehuman nature into its constituentfactors, and then to construct beings in whomone or more of these factors isabsent or atrophied or only incipient. (shrink)

There is a puzzle concerning the essences of fundamental entities that arises from considerations about essence, on one hand, and fundamentality, on the other. The Essence-Dependence Link (EDL) says that if x figures in the essence of y, then y is dependent upon x. EDL is prima facie plausible in many cases, especially those involving derivative entities. But consider the property negative charge. A negatively charged object exhibits certain behaviors that a positively charged object does not: it moves away from (...) other negatively charged objects, towards positively charged objects, etc. It is commonly thought that negative charge disposes its bearer to move away from other negatively charged objects, towards positively charged objects, etc. But if negative charge is fundamental, then no other entities—including the property positive charge—can figure in its essence. We thus have a prima facie puzzle: How can we say anything interesting about the essences of fundamental entities without running afoul of EDL? In this paper, I present and discuss the consequences of EDL for the debate between causal essentialists and quidditists about properties, and propose solutions to the puzzle. (shrink)

What are moral principles? In particular, what are moral principles of the sort that (if they exist) ground moral obligations or—at the very least—particular moral truths? I argue that we can fruitfully conceive of such principles as real, irreducibly dispositional properties of individual persons (agents and patients) that are responsible for and thereby explain the moral properties of (e.g.) agents and actions. Such moral dispositions (or moral powers) are apt to be the metaphysical grounds of moral obligations and of particular (...) truths about what is morally permissible, impermissible, etc. Moreover, they can do other things that moral principles are supposed to do: explain the phenomena “falling within their scope,” support counterfactuals, and ground moral necessities, “necessary connections” between obligating reasons and obligations. And they are apt to be the truthmakers for moral laws, or “lawlike” moral generalizations. (shrink)

The physicalist thesis that all entities are nothing over and above physical entities is often interpreted as appealing to a supervenience-based account of "nothing over and aboveness”, where, schematically, the A-entities are nothing over and above the B-entities if the A-entities supervene on the B-entities. The main approaches to filling in this schema correspond to different ways of characterizing the modal strength, the supervenience base, or the supervenience connection at issue. I consider each approach in turn, and argue that the (...) resulting formulation of physicalism is compatible with physicalism’s best traditional rival: a naturalist emergentism. Others have argued that supervenience-based formulations of physicalism fail. My aim here, besides addressing the full spectrum of supervenience-based approaches, is to show how certain philosophical and scientific theses concerning naturalism, properties, and laws give us new reasons to think that supervenience-based formulations of physicalism are untenable. (shrink)

This article offers a critical review of various ontological-relativist arguments, mostly deriving from the work of W. V. Quine and Thomas K hn. I maintain that these arguments are (1) internally contradictory, (2) incapable of accounting for our knowledge of the growth of scientific knowledge, and (3) shown up as fallacious from the standpoint of a causal-realist approach to issues of truth, meaning, and interpretation. Moreover, they have often been viewed as lending support to such programmes as the 'strong' sociology (...) of knowledge and the turn towards wholesale cultural-relativist doctrines, whether of the Wittgensteinian ('language-games') or Heideggerian (depth-hermeneutic) varieties. Thus Richard Rorty recommends that we should henceforth drop all that old-fashioned talk of 'truth', 'knowledge', or 'reality', since whatever warrants those descriptions from time to time is just the product of some currently favoured language-game or range of elective metaphors. Such ideas have little in common with Quine's general outlook of robust physicalism, nor again - though the case is less clear - with Kuhn's reconsidered approach to these issues as set forth in his 1969 Postscript to The Structure of Scientific Revolutions . However, both thinkers have left themselves open to misconstrual by adopting a sceptical-relativist fallback position in response to the well-known problems with logical empiricism. This essay therefore reviews those problems with reference to alternative, more adequate accounts of what is involved in the process of scientific discovery and theory-change. (shrink)

The concern of this paper is not with the truth of any particular realist or anti-realist view, but rather with determining what it is to be a realist or anti-realist in the first place. While much skepticism has been voiced in recent years about the viability of such a project, my goal is to articulate interesting and informative conditions whereby any view in any domain of experience can count as either a realist or an anti-realist position.

In this paper, a criticism of the traditional theories of approximation and idealization is given as a summary of previous works. After identifying the real purpose and measure of idealization in the practice of science, it is argued that the best way to characterize idealization is not to formulate a logical model – something analogous to Hempel's D-N model for explanation – but to study its different guises in the praxis of science. A case study of it is then made (...) in thermostatistical physics. After a brief sketch of the theories for phase transitions and critical phenomena, I examine the various idealizations that go into the making of models at three difference levels. The intended result is to induce a deeper appreciation of the complexity and fruitfulness of idealization in the praxis of model-building, not to give an abstract theory of it. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

If the property _being a methane molecule_ is a universal, then it is a structural universal: objects instantiate _being a methane molecule_ just in case they have the right sorts of proper parts arranged in the right sort of way. Lewis argued that there can be no satisfactory account of structural universals; in this paper I provide a satisfactory account.

We discuss the one–many problem as it appears in the Philebus and find that it is not restricted to the usually understood problem about the identity of universals across particulars that instantiate them (the Hylomorphic Dispersal Problem). In fact some of the most interesting aspects of the problem occur purely with respect to the relationship between Forms. We argue that contemporary metaphysicians may draw from the Philebus at least three different one–many relationships between universals themselves: instantiation, subkind and part, and (...) thereby construct three new ‘problems of the one and the many’ (an Eidetic Dispersal Problem, a Genus–Species Problem, and an Eidetic Combination Problem), which are as problematic as the version generally discussed. We then argue that this taxonomy sheds new and interesting light on certain discussions of higher-order universals in recent Australian analytic philosophy. (shrink)

In reply to certain cosmological arguments for theism, critics regularly argue that the causal principle ex nihilo nihil fit may be false. Various theistic counter-replies to this challenge have emerged. One type of strategy is to double down on ex nihilo nihil fit. Another, very different strategy of counter-reply is to grant for the sake of argument that the principle is false, while maintaining that sound cosmological arguments can be formulated even with this concession in place. Notably, one can employ (...) a weaker opening premise formulated in modal terms, proceeding for instance from the proposition that for any contingent object coming into existence it is at least possible that it have a cause. My aim here is to try out a related strategy for weakening the relevant opening premise. Granting that it is possible for a contingent object to come into existence out of nothing without a cause, I proceed from the extremely modest claim that the obtaining of exceptionless longstanding contingent regularities demands an explanation. As such, the contingent regularity that empirically accessible macro-level contingent objects do not pop into existence causelessly demands explanation. And as it turns out, that explanation will have to be in terms of an object or objects possessed of at least some of the traditional divine attributes. (shrink)

In what does philosophical progress consist? 'Vertical' progress corresponds to development within a specific paradigm/framework for theorizing (of the sort associated, revolutions aside, with science); 'horizontal' progress corresponds to the identification and cultivation of diverse paradigms (of the sort associated, conservativism aside, with art and pure mathematics). Philosophical progress seems to involve both horizontal and vertical dimensions, in a way that is somewhat puzzling: philosophers work in a number of competing frameworks (like artists or mathematicians), while typically maintaining that only (...) one of these is correct (like scientists). I diagnose this situation as reflecting that we are presently quite far from the end of inquiry into philosophical methodology. The good news is that we appear to be making advances on this score. The bad news is that failure to recognize or make explicit that our standards are in flux often leads to dogmatism, as I illustrate by attention to three assumptions presently operative in metaphysical and metametaphysical contexts. I close by identifying a tension between vertical and horizontal progress in philosophy, and suggesting an updated version of Carnap's principle of tolerance for new philosophical forms. (shrink)