Showcasing original arguments for well-defined positions, as well as clear and concise statements of sophisticated philosophical views, this volume is an ...

This paper addresses some problems related to the relation of truthmaking, especially those concerning its necessity, adopting an essentialist point of view and focusing on the nature of truthbearers. According to the orthodox view in truthmaker theory, the relation of truthmaking is necessary in some sense. Thus, an important question involves how the relation of truthmaking is made necessary. I adopt a version of Jonathan Lowe’s essentialist approach to this question. However, contra Lowe, I take token acts of predication as (...) the primary truthbearers. This is Peter Hanks’ view in the philosophy of language. I shall argue that some problems with the essentialist approach can be solved by taking the nature of token acts of predication to be the source of necessity in truthmaking. At the end of this paper, I shall also briefly outline two general consequences related to truthmaking that I suppose this move about truthbearers should have. (shrink)

Le regain de faveur de la thématique des « mondes possibles » dans la philosophie contemporaine est pour l’essentiel un effet collatéral du développement de la logique modale au long du XXe siècle. C’est en effet initialement pour résoudre le problème soulevé par l’évaluation des systèmes modaux, élaborés entre les années trente et cinquante par des auteurs comme Clarence Lewis, Richard Feys ou Georg von Wright, qu’une sémantique...

It is a common view that if composition as identity is true, then so is mereological universalism (the thesis that all objects have a mereological fusion). Various arguments have been advanced in favour of this: (i) there has been a recent argument by Merricks, (ii) some claim that Universalism is entailed by the ontological innocence of the identity relation, (or that ontological innocence undermines objections to universalism) and (iii) it is entailed by the law of selfidentity. After a preliminary introduction (...) to the competing theories of persistence (necessary for a discussion of Merricks’ argument) I examine each in turn and demonstrate how they fail. I conclude that the prejudice that if composition as identity is true then Universalism is true, is unwarranted. Thus one motivation for believing Universalism is lost and those who believe composition as identity should now be receptive to some form of restricted composition. (shrink)

My concern in this paper is with the intentionality of emotions. Desires and cognitions are the traditional paradigm cases of intentional attitudes, and one very direct approach to the question of the intentionality of emotions is to treat it as sui generis—as on a par with the intentionality of desires and cognitions but in no way reducible to it. A more common approach seeks to reduce the intentionality of emotions to the intentionality of familiar intentional attitudes like desires and cognitions. (...) In this paper, I argue for the sui generis approach. (shrink)

In this paper I argue against Armstrong’s recent truthmaking account of possibility. I show that the truthmaking account presupposes modality in a number of different ways, and consequently that it is incapable of underwriting a genuine reduction of modality. I also argue that Armstrong’s account faces serious difficulties irrespective of the question of reduction; in particular, I argue that his Entailment and Possibility Principles are both false.

The traditional ontology within which chemistry has developed involved various versions of a general substance/attribute scheme. Recently this has been challenged by two versions of Dynamism. One version is derived from the writings of A. N. Whitehead and the other from several sources, including G. Leibniz and I. Kant. Both involve the idea of flux of actual occasions. Unlike the former scheme, the latter involves a foundation of causal powers and the energetics of field theory. The situation has been made (...) more interesting because of the revival of trope theory, based on an ontology of particularized attributes. This notion is claimed to resolve philosophical problems about the nature of universals and of substances through the introduction of spatial and temporal sequences of tropes. While trope theory seems, at first sight, to work as an attractive alternative to substance/attribute close inspection shows that it is beset with difficulties that are more problematic that the dynamist ontology based on casual powers, dispositions and affordances. (shrink)

In the first part of the paper I reconstruct Kant’s proof of the existence of a ‘most real being’ while also highlighting the theory of modality that motivates Kant’s departure from Leibniz’s version of the proof. I go on to argue that it is precisely this departure that makes the being that falls out of the pre-critical proof look more like Spinoza’s extended natura naturans than an independent, personal creator-God. In the critical period, Kant seems to think that transcendental idealism (...) allows him to avoid this conclusion, but in the last section of the paper I argue that there is still one important version of the Spinozistic threat that remains. -/- . (shrink)

This paper discusses a somewhat neglected reading of the second chapter of Nāgārjuna’s Mūlamadhyamakakārikā, arguing that the main focus of a crucial part is a particular theory of properties and their relation to individuals they instantiate, rather than the refutation of specific assumptions about the nature of space and time. Some of Nāgārjuna’s key arguments about motion should be understood as argument templates in which notions other than mover, motion, and so forth could be substituted. The remainder of the discussion (...) of motion does not serve quasi-Zenonian purposes either but uses motion as a principal example of change and considers the soteriological problems of the subject moving (gati) through transmigratory existence (saṃsāra). I attempt to show how this interpretation coheres with Nāgārjuna’s overall philosophical project. (shrink)

After reviewing several failed arguments that laws cannot change, I use the laws' special relation to counterfactuals to show how temporary laws would have to differ from eternal but time-dependent laws. Then I argue that temporary laws are impossible and that neither Lewis's nor Armstrong's analyses of law nicely accounts for the laws' immutability. *Received September 2006; revised September 2007. ‡Many thanks to John Roberts and John Carroll for valuable comments on earlier drafts, as well as to several anonymous referees (...) for their good suggestions. †To contact the author, please write to: Department of Philosophy, University of North Carolina, CB #3125, Caldwell Hall, Chapel Hill, NC 27599-3125; e-mail: [email protected]. (shrink)

This article discusses recent disagreements over the correct formulation of physicalism. Although there appears to be a consensus outside those who discuss the issue that physicalists believe that what exists is what is countenanced by physics, as we will see, this orthodoxy faces an important puzzle now frequently referred to as 'Hempel's Dilemma'. After surveying the historical trajectory from Enlightenment-era materialism to contemporary physicalism, I examine several mainstream approaches that respond to Hempel's dilemma, and the benefits and drawbacks of each.

I consider a grand, yet neglected proposal put forward by Shoemaker—a functionalist theory of all properties. I argue that two possible ways of developing this proposal meet with substantial objections. However, if we are prepared to endorse an ontology of tropes, one of these functionalist analyses can be developed into an original and informative theory of properties.

On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

Metaphysicians eager to engage with substantive, thoughtful, and provocative issues will be happy with John Heil’s From an Ontological Point of View. The book represents not only a sustained defence of a specific metaphysical theory, but also of a specific way of doing metaphysics. Put ontology first, Heil urges us, in order to remember that the original fascination of metaphysics wasn’t the question ‘what must the world be like in order to correspond neatly to our use of language?’, but rather (...) the altogether more fundamental ‘what must the world be like?’. (shrink)

Recently, I’ve championed the doctrine that fundamentally different sorts of things exist in fundamentally different ways.1 On this view, what it is for an entity to be can differ across ontological categories.2 Although historically this doctrine was very popular, and several important challenges to this doctrine have been dealt with, I suspect that contemporary metaphysicians will continue to treat this view with suspicion until it is made clearer when one is warranted in positing different modes of existence.3 I address this (...) concern here. The question of when to posit ways of being is closely related to a more general question: when should one think that some philosophically interesting expression is analogous? Accordingly, my strategy here is as follows. First, I briefly explain my interpretation of ontological pluralism, the doctrine that there are ways of being.4 Second, I introduce the notion of an analogous term, and show how, on most ways of implementing ontological pluralism, “existence” is analogous. Third, I discuss two sufficient conditions for when one is warranted in claiming that a philosophically interesting term is analogous. Fourth, I present a series of ontological schemes, each of which satisfies at least one of the sufficient conditions. The upshot is this: if you are attracted to one of these ontologies, you have reason to believe in ways of being. The careful reader will have noted the apparent modesty of my conclusion. Unfortunately, I do not believe that one could ever be rationally required to believe in ways of being. Still, in general a metaphysic is a live option to the extent that it is shown to be rationally permissible to believe. Since the apparent consensus among contemporary analytic metaphysicians is that believing that things can exist in different ways is silly or confused, establishing the rational permissibility of belief in ways of being is a non-trivial task. Let us begin. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

There is a traditional theistic doctrine, known as the doctrine of divine simplicity, according to which God is an absolutely simple being, completely devoid of any metaphysical complexity. On the standard understanding of this doctrine—as epitomized in the work of philosophers such as Augustine, Anselm, and Aquinas—there are no distinctions to be drawn between God and his nature, goodness, power, or wisdom. On the contrary, God is identical with each of these things, along with anything else that can be predicated (...) of him intrinsically. (shrink)

When there is truth, there must be some thing (or things) to account for that truth: some thing(s) that couldn’t exist and the true proposition fail to be true. That is the truthmaker principle. True propositions are made true by entities in the mind-independently existing external world. The truthmaker principle seems attractive to many metaphysicians, but many have wanted to weaken it and accept not that every true proposition has a truthmaker but only that some important class of propositions require (...) truthmakers.1 Let us, following Armstrong, call the claim that all true propositions, without exception, have a truthmaker, Truthmaker Maximalism. Why might one be tempted to the spirit of truthmaker theory but reject Truthmaker Maximalism? Well, you might deny that necessary truths need truthmakers, for one, and insist that only contingent truths have truthmakers. But I think it’s fair to say that the most common motivation for rejecting maximalism concerns negative truths. The thought that negative truths are exempt from the demand for truthmakers could be justified in one of two ways: there is the claim that we don’t need truthmakers for negative truths, and there is the claim that we can’t have.. (shrink)

This bulletin contains a summary of the main topics of discussion in truthmaker theory, namely: the definition of truthmakers, problems with Truthmaker Necessitarianism and Truthmaker Maximalism, the ontological burden of truthmakers and the recalcitrant topic of truthmakers for negative truths.

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)

I argue that a solution to puzzles concerning the relationship ofobjects and their properties – a version of the `bundle' theory ofparticulars according to which ordinary objects are mereologicalfusions of monadic and relational tropes – is also a solution topuzzles of material constitution involving the allegedco-location of material objects. Additionally, two argumentsthat have played a prominent role in shaping the current debate,Mark Heller's argument for Four Dimensionalism and Peter vanInwagen's argument against Mereological Universalism, are shownto be unsound given this version (...) of the bundle theory. (shrink)

Truthmaker theory promises to do some useful philosophical work: equipping us to argue against phenomenalism and Rylean behaviourism, for instance, and helping us decide what exists (Lewis 1999, 207; Armstrong 1997, 113-119). But it has proved hard to formulate a truthmaker theory that is both useful and believable. I want to suggest that a neglected approach to truthmakers – that of Ian McFetridge – can surmount some of the problems that make other theories of truthmaking unattractive. To begin with, I’ll (...) outline some of the most prominent accounts of truthmaking in the current literature. Then the second part of the paper will explain McFetridge’s theory and argue for its superiority over these accounts. (shrink)

The rotating discs argument against perdurantism has been mostly discussed by metaphysicians, though the argument of course appeals to ideas from classical mechanics, especially about rotation. In contrast, I assess the RDA from the perspective of the philosophy of physics. I argue for three main conclusions. The first conclusion is that the RDA can be formulated more strongly than is usually recognized: it is not necessary to ‘imagine away’ the dynamical effects of rotation. The second is that in general relativity, (...) the RDA fails because of frame-dragging. The third conclusion is that even setting aside general relativity, the strong formulation of the RDA can after all be defeated, namely, by the perdurantist taking objects in classical mechanics to have only temporally extended temporal parts, which immediately blocks the RDA. Admittedly, this version of perdurantism defines persistence in a weaker sense of ‘definition’ than pointilliste versions that aim to define persistence assuming only instantaneous temporal parts. But I argue that temporally extended temporal parts can do the jobs within the endurantism– perdurantism debate that the perdurantist wants temporal parts to do and are supported by both classical and quantum mechanics. Introduction The story so far 2.1 The RDA 2.2 Intrinsic properties and the idea of velocity 2.2.1 The intrinsic–extrinsic distinction 2.2.2 Velocity to the rescue? 2.3 ‘Naturalism’ 2.4 The accompaniments of rotation 2.5 Two kinds of reply: against the consensus Describing rotation 3.1 Rotation is kinematic 3.2 Beware of rigidity 3.3 An improved RDA: allowing the actual accompaniments 3.4 The RDA fails in general relativity Perdurantism without tears: the classical case 4.1 Rejecting instantaneous temporal parts 4.2 Replying to the RDA 4.2.1 ‘Kinematics’ 4.2.2 ‘Dynamics’ 4.2.3 An ‘anti-pointilliste’ objection and reply 4.3 Intrinsic properties of non-instantaneous temporal parts 4.3.1 Can the perdurantist appeal to them? 4.3.2 Temporal intrinsicality at an instant is rare 4.3.3 A better reason for temporal intrinsicality 4.4 Non-instantaneous parts can do the jobs 4.4.1 Humean supervenience revisited 4.4.2 The problem of change 4.4.3 Puzzles of coincidence 4.5 Instantaneous velocity is hardly extrinsic Support from decoherence in quantum theory 5.1 Classical and quantum: relativizing the intrinsic–extrinsic distinction 5.1.1 Unitarity: momentum as temporally intrinsic 5.2 Position and existence as nomically extrinsic. (shrink)

This paper considers the philosophical interpretation of the concept of svabhāva, sometimes translated as 'inherent existence' or 'own-being', in the Madyamaka school of Buddhist philosophy. It is argued that svabhāva must be understood as having two different conceptual dimensions, an ontological and a cognitive one. The ontological dimension of svabhāva shows it to play a particular part in theories investigating the most fundamental constituents of the world. Three different understandings of svabhāva are discussed under this heading: svabhāva understood as essence, (...) as substance, and as the true nature of phenomena (absolute svabhāva). The cognitive dimension shows svabhāva as playing an important rôle in our everyday conceptualization of phenomena. Svabhāva is here seen as a superimposition (samāropa) which the mind projects onto the world. (shrink)

Armstrong's theory of laws of nature as relations between universals gives an initially plausible account of why the causal powers of substances are bound together only in certain ways, so that the world is a very regular place. But its resulting theory of causation cannot account for intentional causation, since this involves an agent trying to do something, and trying is causing. This kind of causation is thus a state of an agent and does not involve the operation of a (...) law. It is simpler to suppose that non-intentional causing is also causing by substances (and not events) in virtue of their powers to act. That raises again the question of why their powers are bound together only in certain ways. The most probable answer is that God, the simplest kind of person there could be, brings this about because it is necessary for the existence of finite rational creatures such as ourselves. (shrink)

forthcoming in Philosophy and Phenomenological Research.

In this paper I undermine the Entailment Principle according to which if an entity is a truthmaker for a certain proposition and this proposition entails another, then the entity in question is a truthmaker for the latter proposition. I argue that the two most promising versions of the principle entail the popular but false Conjunction Thesis, namely that a truthmaker for a conjunction is a truthmaker for its conjuncts. One promising version of the principle understands entailment as strict implication but (...) restricts the field of application of the principle to purely contingent truths (i.e. those that contain no necessary proposition at any level of analysis). But a conjunction of purely contingent truths strictly implies its conjuncts. So this version of the principle is committed to the Conjunction Thesis. The same is true of the version of the principle where entailment is understood in the sense of systems T, R, and E of relevant logic, since in these systems conjunctions entail their conjuncts. I argue that the Conjunction Thesis is false because a truthmaker is that in virtue of what a certain proposition is true and it is false that, for example, what the proposition that Peter is a man is true in virtue of is the conjunctive fact that Peter is man and Saturn is a planet (or the facts that Peter is a man and that Saturn is a planet taken together). I also argue against other versions of the principle. (shrink)

Nominalizations are expressions that are particularly challenging philosophically in that they help form singular terms that seem to refer to abstract or derived objects often considered controversial. The three standard views about the semantics of nominalizations are [1] that they map mere meanings onto objects, [2] that they refer to implicit arguments, and [3] that they introduce new objects, in virtue of their compositional semantics. In the second case, nominalizations do not add anything new but pick up objects that would (...) be present anyway in the semantic structure of a corresponding sentence without a nominalization. In the first and third case, nominalizations in a sense ‘create’ new objects’, enriching the ontology on the basis of the meaning of expressions. I will argue that there is a fourth kind of nominalization which requires a quite different treatment. These are nominalizations that introduce ‘new’ objects, but only partially characterize them. Such nominalizations generally refer to events or tropes. I will explore an account according on which such nominalizations refer to truth makers. (shrink)

‘Restricted composition’ says that there are some composite objects. And it says that some objects jointly compose nothing at all. The main threat to restricted composition is the influential and widely defended Vagueness Argument. We shall see that the Vagueness Argument fails. In seeing how this argument fails, we shall discover a new focus for the debate over composition's extent.

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)

This paper is concerned with what I call the ‘problem of unity’ . This is the puzzle of how Armstrong‐like states of affairs are unified. The general approach is ‘relational internalism’: the unifier of such a state of affairs is a relation of some sort in it. A view commonly associated with relational internalism is that if such a relation satisfies a certain ‘naive’ expectation to a relation – that it is related to its relata – then Bradley's regress results. (...) As I argue, for one very natural species of relational internalism, this is indeed the case. Influential writers on the topic have therefore maintained that this relation is not related to its relata. But, as we shall see, while this ‘classic’ relational internalism obviously avoids Bradley's regress, intuitively, it fails completely to solve the problem of unity. I argue, however, that given the rejection of a natural, but unfounded, assumption of conventional relational internalism, a unique relation can unify states of affairs without leading to Bradley's regress. I consequently propose a novel version of relational internalism on which states of affairs are unified by such an entity. (shrink)

Possibilism—the view that there are non-actual, merely possible entities—is a surprisingly resilient doctrine.1 One particularly hardy strand of possibilism—the modal realism championed by David Lewis—continues to attract both foes who seek to demonstrate its falsity (or at least stare its advocates into apostasy) and friends who hope to defend modal realism (or, when necessary, modify modal realism so as to avoid problematic objections).2 Although I am neither a foe nor friend of modal realism (but some of my best friends are!), (...) like many I continue to be fascinated by the doctrine. (shrink)

Provocatively, David Armstrong's properties are supposed to be both universals and spatio-temporal. What does this amount to? I consider four of Armstrong's views, in order of ascending plausibility: (1) the exemplification account, on which universals are exemplified by space-times; (2) the location account, on which universals are located at space-times; (3) the first constituent account, on which spatio-temporal relations are elements of what I call the form of time; and, the true view, (4) the second constituent account, on which universals (...) are spatio-temporal only 'derivatively' by being constituents of states of affairs which are so 'primarily'. The first two accounts are rejected because they entail that space-times must be substantival. In making plausible the second constituent account, I distinguish primitive and derivative spatio-temporality. Something is primitively spatio-temporal when it is at a space-time, or stands in spatio-temporal relations. Something is derivatively spatio-temporal when it is a constituent of something primitively spatio-temporal. (shrink)

Do non‐symmetric relations apply to the objects they relate in an order? According to the standard view of relations, the difference between aRb and bRa obtaining, where R is non‐symmetric, corresponds to a difference in the order in which the non‐symmetric relation R applies to a and b. Recently Kit Fine has challenged the standard view in his important paper ‘Neutral Relations’ arguing that non‐symmetric relations are neutral, lacking direction or order. In this paper I argue that Fine cannot account (...) for the application of non‐symmetric relations to their relata; so far from being neutral, these relations are inherently directional. (shrink)

Much discussion of meaning by philosophers over the last 300 years has been predicated on a Cartesian first-person authority (i.e. “infallibilism”) with respect to what one’s terms mean. However this has problems making sense of the way the meanings of scientific terms develop, an increase in scientific knowledge over and above scientists’ ability to quantify over new entities. Although a recent conspicuous embrace of rigid designation has broken up traditional meaning-infallibilism to some extent, this new dimension to the meaning of (...) terms such as “water” is yet to receive a principled epistemological undergirding (beyond the deliverances of “intuition” with respect to certain somewhat unusual possible worlds). Charles Peirce’s distinctive, naturalistic philosophy of language is mined to provide a more thoroughly fallibilist, and thus more realist, approach to meaning, with the requisite epistemology. Both his pragmatism and his triadic account of representation, it is argued, produce an original approach to meaning, analysing it in processual rather than objectual terms, and opening a distinction between “meaning for us”, the meaning a term has at any given time for any given community and “meaning simpliciter”. the way use of a given term develops over time (often due to a posteriori input from the world which is unable to be anticipated in advance). This account provocatively undermines a certain distinction between “semantics” and “ontology” which is often taken for granted in discussions of realism. (shrink)

. Fresh evidence from Free Choice Items (FCIs) in French question the current perception of the class. The role of some standard distinctions found in the literature is weakened or put in a new perspective. The distinction between universal and existential is no longer an intrinsic property of FCIs. Similarly, the opposition between variation-based vs intension-based analyses is relativized. We show that the regime of free choiceness can be characterized by an abstract constraint, that we call Non-Individuation (NI), and which (...) can be satisfied in different ways that match current distinctions. NI says that the information conveyed by a sentence containing a FCI should not be reducible to a referential situation, that is a situation in which particular individuals satisfy the sentence in the current world. The widely used resource of modal variation becomes a particular scenario of free-choiceness, not its essence. In fact, we show that under certain conditions, FCIs can occur in episodic, non-modal sentences, a fact that NI can accommodate. We also discuss more fine-grained aspects of the semantics of FCIs, such as their emotional colour. (. . .) the tripod fell spontaneously, because, though it stood on its feet so as to serve for a seat, it did not fall so as to serve for a seat. Aristotle, Physics II,6. (shrink)

Hume's Dictum (HD) says, roughly and typically, that there are no metaphysically necessary connections between distinct, intrinsically typed, entities. HD plays an influential role in metaphysical debate, both in constructing theories and in assessing them. One should ask of such an influential thesis: why believe it? Proponents do not accept Hume's arguments for his dictum, nor do they provide their own; however, some have suggested either that HD is analytic or that it is synthetic a priori (that is: motivated by (...) intuitions we have no good reason to question). Here I explore whether belief in HD is directly justified on either grounds. I motivate and present more formal characterizations of HD; I show that there are good prima facie cases to be made for HD's being analytic and for its being synthetic a priori; I argue that each of the prima facie cases fails, some things considered. I close by offering two suggestions for how belief in HD might be indirectly justified on argumentative grounds. (shrink)

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.

According to the partial identity account of resemblance, exact resemblance is complete identity and inexact resemblance is partial identity. In this paper, I examine Arda Denkel's (1998) argument that this account of resemblance is logically incoherent as it results in a vicious regress. I claim that although Denkel's argument does not succeed, a modified version of it leads to the conclusion that the partial identity account is plausible only if the constituents of every determinate property are ultimately quantitative in nature.

I argue that any broadly dispositional analysis of probability will either fail to give an adequate explication of probability, or else will fail to provide an explication that can be gainfully employed elsewhere (for instance, in empirical science or in the regulation of credence). The diversity and number of arguments suggests that there is little prospect of any successful analysis along these lines.

In this paper I argue that there are in fact external relations in Russell’s sense. The level at which we are forced to acknowledge them is, however, not the level of relations between concrete individual objects. All relations of this kind, which I will call “inter-individual” relations, can be construed as supervenient on the monadic properties of their terms. But if we pursue our ontological analysis a little bit deeper and consider the internal structure of a concrete individual, then we (...) will inevitably find irreducible external relations. I mean for example the relation of instantiation (in the frame of a realist’s theory) or that of concurrence (in the frame of a trope theory). I will show that such “intra-individual” relations – the relations that make up the internal structure of a concrete individual out of more primitive metaphysical “building blocks” like universals or tropes – could not (even in principle) be construed as supervenient. (shrink)

According to the truthmaker theory that we favour, all contingent truths are made true by existing facts or states of affairs. But if that is so, then it appears that we must accept the existence of the negative facts that are required to make negative truths (such as 'There is no hippopotamus in the room.') true. We deny the existence of negative facts, show how negative truths are made true by positive facts, point out where the (reluctant) advocates of negative (...) facts (Russell, Armstrong, et al.) went wrong, and demonstrate the superiority of our solution to the alternatives. (shrink)

In this paper I examine the objection to truthmaker theory, forcibly made by David Lewis and endorsed by many, that it violates the Humean denial of necessary connections between distinct existences. In Sect. 1 I present the argument that acceptance of truthmakers commits us to necessary connections. In Sect. 2 I examine Lewis’ ‘Things-qua-truthmakers’ theory which attempts to give truthmakers without such a commitment, and find it wanting. In Sects. 3–5 I discuss various formulations of the denial of necessary connections (...) and argue that each of them is either false or compatible with truthmaker theory. In Sect. 6 I show how the truthmaker theorist can resist the charge that they are committed to necessary exclusions between possible existents. I conclude that there is no good objection to truthmaker theory on the grounds that it violates the Humean dictum. (shrink)

There is widespread disagreement as to what the facts are concerning just when a collection of objects composes some further object; but there is widespread agreement that, whatever those facts are, they are necessary. I am unhappy to simply assume this, and in this paper I ask whether there is reason to think that the facts concerning composition hold necessarily. I consider various reasons to think so, but find fault with each of them. I examine the theory of composition as (...) identity, but argue that the version of this doctrine that entails universalism is implausible. I consider the claim that the a priority of such facts leads to their necessity, but give a defence of substantial contingent a priori truths. I ask whether the contingency of such facts would lead to unwelcome possibilities, but argue that the worrying looking possibilities can be blocked if it is desired. Next, I argue against the thought that the Lewis-Sider argument against restricted composition might give us reason to accept the necessity of universalism. Lastly, I respond to two objections from the 2006 BSPC. I conclude in favour of the contingency of the facts concerning when some things compose some thing. (shrink)