It is often said that the best system account of laws needs supplementing with a theory of perfectly natural properties. The ‘strength’ and ‘simplicity’ of a system is language-relative and without a fixed vocabulary it is impossible to compare rival systems. Recently a number of philosophers have attempted to reformulate the BSA in an effort to avoid commitment to natural properties. I assess these proposals and argue that they are problematic as they stand. Nonetheless, I agree with their aim, and (...) show that if simplicity is interpreted as ‘compression’, algorithmic information theory provides a framework for system comparison without the need for natural properties. (shrink)

Rudolf Carnap's Der logische Aufbau der Welt (The Logical Structure of the World) is generally conceived of as being the failed manifesto of logical positivism. In this paper we will consider the following question: How much of the Aufbau can actually be saved? We will argue that there is an adaptation of the old system which satisfies many of the demands of the original programme. In order to defend this thesis, we have to show how a new 'Aufbau-like' programme may (...) solve or circumvent the problems that affected the original Aufbau project. In particular, we are going to focus on how a new system may address the well-known difficulties in Carnap's Aufbau concerning abstraction, dimensionality, and theoretical terms. (shrink)

This thesis proposes that key, competing theories of dispositions mistake and conflate how we identify, designate and talk about dispositions and dispositional terms for the nature of dispositions and the meaning of dispositional terms when they argue that: a) dispositions are extrinsic properties of their bearers (Boyle 1666) b) all properties are purely dispositional (Bird 2007) c) all properties are purely categorical (there are no dispositional properties) (Armstrong in AMP 1996) d) dispositional and categorical properties are separate and distinct properties (...) (Prior, Pargetter and Jackson 1982). In so doing these theories make unwarranted and unsupported ontological conclusions about dispositions. The thesis traces the principal source of this confusion and conflation to a reliance on the counterfactual analysis of dispositions that wrongly encourages the conflation of a disposition (say fragility) with its manifestation (shattering). There is good reason to hold that the counterfactual analysis of dispositions is false — the truth of a counterfactual statement (such as “if x were dropped x would break”) is neither necessary nor sufficient for the truth of a dispositional ascription (such as “x is fragile”). (shrink)

Jerrold Levinson maintains that he is a realist about aesthetic properties. This paper considers his positive arguments for such a view. An argument from Roger Scruton, that aesthetic realism would entail the absurd claim that many aesthetic predicates were ambiguous, is also considered and it is argued that Levinson is in no worse position with respect to this argument than anyone else. However, Levinson cannot account for the phenomenon of aesthetic autonomy: namely, that we cannot be put in a position (...) to make an aesthetic judgement by testimony alone. Finally, Levinson's views on the ontology of aesthetic properties are considered and found wanting. /// [Jerrold Levinson] Being an aesthetic realist is hard work. Derek Matravers has raised a number of concerns for the brand of aesthetic realism that I have defended in the past, and that I continue to defend, albeit with modification. Much turns on the nature of aesthetic properties, and on the reasons for acknowledging their existence. I here try to provide further illumination on both scores, suggesting in particular that many aesthetic properties can be viewed as manifest higher-order ways of appearing. Toward the end of my discussion the question of whether or not aesthetic properties are response-dependent is addressed, and I offer the tentative conclusion that some are, and some are not. (shrink)

Properties and facts play a central role within metaphysics, yet there is no widely accepted account of what constitutes a property or a fact. Traditional conceptions of these metaphysical notions raise serious philosophical puzzles, making the existence of each seem dubious. Drawing on the minimalist theory of truth, I argue in favor of a minimalist conception of properties and facts. A minimalist theory of properties and facts explains these matters in terms of the acceptance of trivial schemas. To make the (...) case that minimalism is a superior approach to properties and facts, I argue against the standard views in the philosophical literature. I argue that the minimalist approach to properties has advantages over realism, nominalism, and the trope theory. I argue that the minimalist approach to facts is superior to the standard treatment of facts on correspondence theories. Metaphysical minimalism, a minimalist metaphysics of properties and facts, is a distinct and superior alternative to the theories of properties and facts currently on offer.Iako svojstva i činjenice u metafizici igraju središnju ulogu, ne postoji usuglašen opis toga što sačinjava svojstvo ili činjenicu. Tradicionalne koncepcije tih metafizičkih pojmova povlače za sobom ozbiljne filozofske zagonetke, zbog kojih se postojanje i svojstava i činjenica čini dvojbenim. Oslanjajući se na minimalističku teoriju istine, iznosim argumente u prilog minimalističkoj koncepciji svojstava i činjenica. Minimalistička teorija objašnjava svojstva i činjenice na osnovi prihvaćanja trivijalnih shema. Kako bih dokazao da je minimalizam nadmoćan pristup svojstvima i činjenicama, iznosim argumente protiv standardnih gledišta u filozofskoj literaturi. Tvrdim da minimalistički pristup svojstvima ima prednosti u odnosu na realizam, minimalizam i teoriju tropa. Tvrdim da je minimalistički pristup činjenicama nadmoćan standardnom shvaćanju činjenica u teorijama korespondencije. Metafizički minimalizam, minimalistička metafizika svojstava i činjenica, neovisna je i nadmoćna alternativa postojećim teorijama svojstava i činjenica. (shrink)

In the first part of this paper, I argue against the view that laws of nature are contingent, by attacking a necessary condition for its truth within the framework of a conception of laws as relations between universals. I try to show that there is no independent reason to think that universals have an essence independent of their nomological properties. However, such a non-qualitative essence is required to make sense of the idea that different laws link the same universals in (...) different possible worlds. In the second part, I give a positive argument for the necessity of at least some laws of nature, by showing with the example of a paradigmatic law of association that it consists in an internal relation between two universals which are determinables of the same class of determinates, where this relation is essential to both. Furthermore, I show that the necessity of laws of association could be accommodated within David Lewis' Humean metaphysics, but that it is incompatible with David Armstrong's combinatorialism. (shrink)

In so many of his epistemological writings, Aristotle defends a sensible flavor of gradualism about our cognitive capacities: we start with the partial grasps afforded by what is better known to us, and if things go well, we end up with understandings of those objects better known by nature. The picture is of a step-wise process, rather than a transforming moment of illumination.

I introduce "nomic-role nonreductionism" as an alternative to traditional causal-role functionalism in the philosophy of mind. Rather than identify mental properties by a theory that describes their intra-level causal roles via types of inputs, internal states, and outputs, I suggest that one identify mental properties by a more comprehensive theory that also describes inter-level realization roles via types of lower-level engineering, internal mental states, and still higher-level states generated by them. I defend this position on grounds that mental properties should (...) be understood by our best scientific theories, which at present include informatioin about mental engineering. I further defend this claim by a "parity of reasons" argument. Causal-role functionalists are justified to include sensory stimuli in their theory of mind as opposed to, say, the remote causes of sensory stimuli because the former but not the latter are items of direct mental production. But ditto for the system's physical realizations. They too directly produce mental states, only not by "causing" them but by "realizing" them. Engineering realizations and their input triggering conditions work in tandem. In addition, I tell a related but more general metaphysical story about property identity, namely, that the traditional causal theory should be replaced by a more comprehensive nomic theory that individuates properties by their intra-level causal powers as well as their inter-level realization capacities. (shrink)

The causal theory of properties is standardly combined with a realist's ontology of universals or tropes. In this paper, I consider an uncharted alternative – a nominalist causal theory of properties. I discuss advantages and disadvantages of the resulting theory of properties, and explore the Rylean understanding of causal powers that emerges.

Natural properties are those that carve reality at the joints. The notion of carving reality at the joints, however, is somewhat obscure, and is often understood in terms of making for similarity, conferring causal powers, or figuring in the laws of nature. I develop and assess an account of the third sort according to which carving reality at the joints is understood as having the right level of determinacy relative to nomic roles. The account has the attraction of involving very (...) weak metaphysical presuppositions, but fails to capture several features that natural properties are presumed to have. (shrink)

According to the species of neo-logicism advanced by Hale and Wright, mathematical knowledge is essentially logical knowledge. Their view is found to be best understood as a set of related though independent theses: (1) neo-fregeanism-a general conception of the relation between language and reality; (2) the method of abstraction-a particular method for introducing concepts into language; (3) the scope of logic-second-order logic is logic. The criticisms of Boolos, Dummett, Field and Quine (amongst others) of these theses are explicated and assessed. (...) The issues discussed include reductionism, rejectionism, the Julius Caesar problem, the Bad Company objections, and the charge that second-order logic is set theory in disguise. (shrink)

In the past fifteen years or so there has been a lot of attention paid to theories of “sparse” universals, particularly because of the work of D. M. Armstrong. These theories are of particular interest to those of us concerned with the distinction between natural and non-natural properties, since, as David Lewis has observed, it seems possible to analyze naturalness in terms of sparse universals. Moreover, Armstrong claims that we should conceive of universals as being “immanent” as opposed to “transcendent”, (...) and if universals are immanent then, as we will see, there is pressure to admit they are sparse as well. But I will argue that neither of these alleged reasons to accept a sparse conception of universals succeeds: the outlook for a fully general analysis of naturalness in terms of universals is not good, and the apparent advantages of immanence over transcendence are illusory. (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)

Is the assumption of a fundamental distinction between particulars and universals another unsupported dogma of metaphysics? F. P. Ramsey famously rejected the particular – universal distinction but neglected to consider the many different conceptions of the distinction that have been advanced. As a contribution to the piecemeal investigation of this issue three interrelated conceptions of the particular – universal distinction are examined: universals, by contrast to particulars, are unigrade; particulars are related to universals by an asymmetric tie of exemplification; universals (...) are incomplete whereas particulars are complete. It is argued that these conceptions are wanting in several respects. Sometimes they fail to mark a significant division amongst entities. Sometimes they make substantial demands upon the shape of reality; once these demands are understood aright it is no longer obvious that the distinction merits our acceptance. The case is made via a discussion of the possibility of multigrade universals. (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)

Two kinds of explanation might be put forward. The first goes like this: the necessary connection between the location of a whole and the location of its parts holds because the location of the whole is nothing but the collective location of its parts. The second style of explanation goes like this: the connection holds because what it is for a material whole to have something as a part, is (perhaps among other things) for the whole to contain the part.

I argue that relations between non-collocated spatial entities, between non-identical topological spaces, and between non-identical basic building blocks of space, do not exist. If any spatially located entities are not at the same spatial location, or if any topological spaces or basic building blocks of space are non-identical, I will argue that there are no relations between or among them. The arguments I present are arguments that I have not seen in the literature.

I discuss the relations between God and spatial entities, such as the universe. An example of a relation between God and a spatial entity is the relation,causes. Such relations are, in D.M. Armstrong’s words, ‘realm crossing’ relations: relations between or among spatial entities and entities in the realm of the spatially unlocated. I discuss an apparent problem with such realm crossing relations. If this problem is serious enough, as I will argue it is, it implies that God cannot be the (...) creator of the universe I also discuss that if God cannot be the creator of the universe, then God does not exist. (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)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

In various areas of Anglo-American law, legal liability turns on causation. In torts and contracts, we are each liable only for those harms we havecausedby the actions that breach our legal duties. Such doctrines explicitly make causation an element of liability. In criminal law, sometimes the causal element for liability is equally explicit, as when a statute makes punishable any act that has “caused… abuse to the child….” More often, the causal element in criminal liability is more implicit, as when (...) criminal statutes prohibitkillings, maimings, rapings, burnings, etc. Such causally complex action verbs are correctly applied only to defendants who have caused death, caused disfigurement, caused penetration, caused fire damage, etc. (shrink)

Dooyeweerd’s account of abstraction is examined and found to be faulty. He holds that abstract thinking isolates aspects which must then be synthesized, whereas I argue that we cannot isolate any aspect from the others however so hard we try. But our very inability to isolate aspects is then turned into an alternative version of a transcendental critique of theory making. Instead of asking for a basis for synthesizing aspects we have isolated, the new version asks: what is the nature (...) of the aspectual connectedness which is so strong that it cannot be interrupted even by abstraction? I argue that it is impossible for anyone to understand the meaning of a concept fully without taking a position on this issue, whether that is done implicitly or explicitly. Moreover, every answer to this question presupposes a divinity belief. Hence, this recasting of the critique yields a demonstration of the religious regulation of all concepts and every theory. In this way the goal of Dooyeweerd’s critique is achieved, even if not in the way he envisioned. (shrink)

This dissertation explores the concepts of naturalness, intrinsicality, and duplication. An intrinsic property is had by an object purely in virtue of the way that object is considered in itself. Duplicate objects are exactly similar, considered as they are in themselves. The perfectly natural properties are the most fundamental properties of the world, upon which the nature of the world depends. In this dissertation I develop a theory of intrinsicality, naturalness, and duplication and explore their philosophical applications. Chapter 1 introduces (...) the notions, gives a preliminary survey of some proposed conceptual connections between the notions, and sketches some of their proposed applications. Chapter 2 gives my background assumptions and introduces notational conventions. In chapter 3 I present a theory of naturalness. Although I take ‘natural’ as a primitive, I clarify this notion by distinguishing and explicating various conceptions of naturalness. In chapter 4 I give a theory of various notions related to naturalness, especially intrinsicality and duplication. I show that ‘intrinsic’ and ‘duplicate’ are interde nable, and then give analyses of these and other notions in terms of naturalness. If, as I think likely, naturalness cannot be analyzed, then what is the proper response? David Lewis suggests: accept naturalness as a primitive. I am sympathetic to this proposal, but not to the form Lewis gives it: chapter 5 contains an argument against Lewis’s theory of naturalness. In chapter 6 I reject the idea that naturalness is analyzable in terms of immanent universals. I focus on the work of D. M. Armstrong. I also criticize Armstrong’s arguments against transcendent universals. (shrink)

This paper sets out a new framework for discussing a long-standing problem in the philosophy of mathematics, namely the connection between the physical world and a mathematical domain when the mathematics is applied in science. I argue that considering counterfactual situations raises some interesting challenges for some approaches to applications, and consider an approach that avoids these challenges.

Setting off from a familiar distinction in the philosophy of properties, this paper introduces a tripartite distinction between sparse causation, abundant causation and mere abundant causation. It is argued that the contrast between sparse and mere abundant causation allows us to resolve notorious philosophical issues having to do with negative causation, causation involving institutional properties and physical macro-causation in a way that is unified, intuitive and in line with scientific doctrines and practices.

Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...) predication, we offer such an account. We use this account to examine the problem in three different type-theoretic settings, which are increasingly permissive with respect to predication. We conclude that unrestricted quantification is available in all but the most permissive kind of type theory. (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)

I consider exactly what is involved in a solution to the probability problem of the Everett interpretation, in the light of recent work on applying considerations from decision theory to that problem. I suggest an overall framework for understanding probability in a physical theory, and conclude that this framework, when applied to the Everett interpretation, yields the result that that interpretation satisfactorily solves the measurement problem. Introduction What is probability? 2.1 Objective probability and the Principal Principle 2.2 Three ways of (...) satisfying the functional definition 2.3 Cautious functionalism 2.4 Is the functional definition complete? The Everett interpretation and subjective uncertainty 3.1 Interpreting quantum mechanics 3.2 The need for subjective uncertainty 3.3 Saunders' argument for subjective uncertainty 3.4 Objections to Saunders' argument 3.5 Subjective uncertainty again: arguments from interpretative charity 3.6 Quantum weights and the functional definition of probability Rejecting subjective uncertainty 4.1 The fission program 4.2 Against the fission program Justifying the axioms of decision theory 5.1 The primitive status of the decision-theoretic axioms 5.2 Holistic scepticism 5.3 The role of an explanation of decision theory Conclusion. (shrink)

The categorial concepts of substance (thing) and substance (stuff) are described, and the conceptual relationships between things and their constitutive stuff delineated. The relationship between substance concepts, expressed by other count-nouns, and natural kind concepts is examined. Artefacts and their parts are argued to be substances, whereas parts of organisms are not. The confusions of seventeenth- and eighteenth-century philosophers who invoked the concept of substance are adumbrated.

A book review of "Properties" by Douglas Edwards (Polity Press, 2014).

The traditional conception of response-dependence isinadequate because it cannot account for all intuitivecases of response-dependence. In particular, it is unableto account for the response-dependence of (aesthetic, moral, epistemic ...) values. I therefore propose tosupplement the traditional conception with an alternativeone. My claim is that only a combination of the twoconceptions is able to account for all intuitivecases of response-dependence.

The possibility of apparently negative causation has been discussed in a number of recent works on causation, but the discussion has suffered from beingscattered. In this paper, the problem of apparently negative causation and its attemptedsolutions are examined in more detail. I discuss and discard three attempts that have beensuggested in the literature. My conclusion is negative: Negative causation shows that thetraditional cause & effect view is inadequate. A more unified causal perspective is needed.

According to one popular criterion of property identity, where X and Y are properties, X is identical with Y if and only if X and Y bestow the same conditional powers on their bearers. In this paper, I argue that this causal criterion of property identity is unsatisfactory, because it fails to provide a sufficient condition for the identification of properties. My argument for this claim is based on the observation that the summing of properties does not entail the summing (...) of the conditional powers that they bestow on an object, but, rather, in some cases their subtraction. If so, the following causal structure seems possible: There are two properties, A and B. Each bestows a different set of conditional powers on its bearer, but the conjunctive property A-and-B bestows exactly the same set of conditional powers as either A or B. If this causal structure is possible, then it creates a serious problem for the causal criterion of property identity. (shrink)

In his groundbreaking work of 1969, Spinoza's Metaphysics: An Essay in Interpretation, Edwin Curley attacked the traditional understanding of the substance-mode relation in Spinoza, according to which modes inhere in substance. Curley argued that such an interpretation generates insurmountable problems, as had already been claimed by Pierre Bayle in his famous Dictionary entry on Spinoza. Instead of having modes inhere in substance Curley suggested that the modes’ dependence upon substance should be interpreted in terms of (efficient) causation, i.e., as committing (...) Spinoza to nothing over and above the claim that substance is the (efficient) cause of the modes. These bold and fascinating claims generated one of the most important scholarly controversies in Spinoza scholarship of the past thirty-five years. In this paper I argue against Curley’s interpretation and attempt to reestablish the traditional understanding of Spinozistic modes as inhering in God and as predicated of God. I also criticize Curley’s philosophical motivation for suggesting this interpretation. In order to show that, for Spinoza, modes are predicated of - and inhere in - substance, I will proceed in the following manner. First, I will summarize Curley’s arguments against substance-mode inherence and present his alternative interpretation of the substance-mode relation. I will then present what I consider to be the most compelling arguments against Curley’s interpretation. Some of these arguments have already been suggested in the literature of the past thirty years (and by Bayle); however, as far as I know, most of the arguments I will be making are new. In the subsequent section I will respond to objections that Curley and Bayle advance against Spinoza’s view of God as the substratum in which all things inhere. Finally, I will address whether Spinozistic modes are predicated of (and not only inhere in) substance, and whether Spinoza considered modes to be particular properties (or “tropes,” in the jargon of contemporary metaphysics). Since Bayle’s claims will be used both in support of and against Curley’s interpretation, it would be appropriate to say a few introductory words on Bayle’s stance. In his Spinoza entry, Bayle criticizes Spinoza’s claim that all things are modes of God, claiming that it “is the most monstrous hypothesis that could be imagined, the most absurd, and the most diametrically opposed to the most evident notions of our mind.” Bayle, however, has no doubt that when Spinoza claims that all things are modes of God, Spinoza means that all things inhere in God. Curley embraces Bayle’s arguments against Spinoza, but uses them in order to claim that we should not ascribe to Spinoza a view which is allegedly shown by Bayle to be absurd. What we should do, Curley argues, is to reinterpret the substance-mode relation as a relation of causal dependence, which would set Spinoza free from Bayle’s hook. Interestingly, as we shall soon see, Bayle himself discusses and rejects a very similar revisionary interpretation of the substance-mode relation. (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)

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

Discusses Armstrong's and Roman Ingarden's ontology, criticises substance ontology, and defends tropes and a field ontology.

I argue that relations between non-identical times, such as the relations, earlier than, later than, or 10 seconds apart, involve contradiction, and only co-temporal relations are non-contradictory, which would leave presentism the only non-contradictory theory of time. The arguments I present are arguments that I have not seen in the literature.

This paper uses the explanation of blindsight generated by a two-systems theory of vision in order to set Siewert a dilemma. Either his blindsight examples are modelled on actual blindsight, in which case certain reductive theories of phenomenal consciousness will have no difficulty in accommodating them. Or they are intended to be purely imaginary, in which case they will have no force against a reductive naturalist.

The concept of appearance has had the historical misfortune of being associated with a Kantian or idealist program in metaphysics. Within this program, appearances are treated as "internal objects" that are immaterial and exert no causal powers over the physical world. However, there is a more mundane and innocuous notion of appearance, in which to say that x appears to y is just to say that y perceives x. In this more mundane sense of the term, an appearance is a (...) perceived object ? qua perceived. In this paper, I try and develop an account of the metaphysic of appearances in this more mundane sense. The account is developed within the framework of Trope Theory. After defining the notion of a "phenomenal trope," I construe appearances as special bundles of phenomenal tropes. I then use this account to develop an approach to the thorny issue of appearance individuation. (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)

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)