A number of philosophers have recently claimed that intrinsicality can be analysed in terms of the metaphysical notion of grounding. Since grounding is a hyperintensional notion, accounts of intrinsicality in terms of grounding, unlike most other accounts, promise to be able to discriminate between necessarily coextensive properties that differ in whether they are intrinsic. They therefore promise to be compatible with popular metaphysical theories that posit necessary entities and necessary connections between wholly distinct entities, on which it is plausible that (...) there are such properties. This paper argues that this promise is illusory. It is not possible to give an analysis of intrinsicality in terms of grounding that is consistent with these theories. Given an adequate analysis should be compatible with these theories, it follows that it is not possible to analyse intrinsicality in terms of grounding. (shrink)

An intrinsic property is roughly a property things have in virtue of how they are, as opposed to how they are related to things outside of them. This paper argues that it is not possible to give a definition of 'intrinsic' that involves only logical, modal and mereological notions, and does not depend on any special assumptions about either properties or possible worlds.

Over the last thirty years there have been a number of attempts to analyse the distinction between intrinsic and extrinsic properties in terms of the facts about naturalness. This article discusses the three most influential of these attempts, each of which involve David Lewis. These are Lewis's 1983 analysis, his 1986 analysis, and his joint 1998 analysis with Rae Langton.

The leading account of intrinsicality over the last thirty years has arguably been David Lewis's account in terms of perfect naturalness. Lewis's account, however, has three serious problems: i) it cannot allow necessarily coextensive properties to differ in whether they are intrinsic; ii) it falsely classifies non-qualitative properties like being Obama as non-intrinsic; and iii) it is incompatible with a number of metaphysical theories that posit irreducibly non-categorical properties. I argue that, as a result of these problems, Lewis's account should (...) be rejected and replaced with an alternative account, which also analyses intrinsicality in terms of perfect naturalness, but which avoids these problems. (shrink)

In this article I advocate a worldly account of normative reasons according to which there is an ontological gap between these and the premises of practical thought, i.e. motivating considerations. While motivating considerations are individuated fine-grainedly, normative reasons should be classified as coarse-grained entities, e.g. as states of affairs, in order to explain certain necessary truths about them and to make sense of how we count and weigh them. As I briefly sketch, acting for normative reasons is nonetheless possible if (...) the connection between normative reasons and motivating considerations is a competence-based correspondence. (shrink)

David Lewis argues for Ramseyan humility, the thesis that we can’t identify the fundamental properties that occupy the nomological roles at our world. Lewis, however, remarks that there is a potential exception to this, which involves assuming two views concerning qualia panphenomenalism : all instantiated fundamental properties are qualia and the identification thesis : we can know the identities of our qualia simply by being acquainted with them. This paper aims to provide an exposition, as well as an assessment, of (...) this response to the humility thesis. (shrink)

One of the central debates in contemporary metaphysics has been the debate between endurantism and perdurantism about persistence. In this paper I argue that much of this debate has been misconstrued: most of the arguments in the debate crucially rely on theses which are strictly orthogonal to the endurantism/perdurantism debate. To show this, I note that the arguments in the endurantism/perdurantism debate typically take the following form: one presents a challenge that endurantists allegedly have some trouble addressing, and to which (...) perdurantism apparently has a straightforward response. I argue, however, that in each case, there are versions of endurantism that can offer precisely the same response to the challenge, and thus the ability to provide this particular solution does not directly tell in favour of one the two views. In §1, I elaborate two views which will be particularly prominent in the discussion: liberal endurantism and restrictive perdurantism. In §2–6 I discuss in turn the central pro-perdurantism arguments: the argument from anthropocentricism, the argument from vagueness, the argument from recombination, the argument from temporary intrinsics, and the argument from coincidence. In §7–8, I discuss the main pro-endurantism arguments: the arguments from motion, and the argument from permanent coincidence. Finally, in §9, I discuss what conclusion can be drawn from this discussion. (shrink)

This paper consists of two parts. The first concerns the logic of vagueness. The second concerns a prominent debate in metaphysics. One of the most widely accepted principles governing the ‘definitely’ operator is the principle of Distribution: if ‘p’ and ‘if p then q’ are both definite, then so is ‘q’. I argue however, that epistemicists about vagueness should reject this principle. The discussion also helps to shed light on the elusive question of what, on this framework, it takes for (...) a sentence to be borderline or definite. In the second part of the paper, I apply this result to a prominent debate in metaphysics. One of the most influential arguments in favour of Universalism about composition is the Lewis-Sider argument from vagueness. An interesting question, however, is whether epistemicists have any particular reasons to resist the argument. I show that there is no obvious reason why epistemicists should resist the argument but there is a non-obvious one: the rejection of Distribution argued for in the first part of the paper provides epistemicists with a unique way of resisting the argument from vagueness. (shrink)

It seems plausible to say that what changes an entity can or cannot survive depends on its persistence conditions, and that these depend, in turn, on its sortal kind. It might seem to follow that an entity cannot belong to two sortal kinds with potentially conflicting persistence conditions. Notoriously, though, this conclusion is denied by ‘contingent identity’ theorists, who hold, for example, that a permanently coincident statue and piece of clay are identical, although the persistence conditions associated with the kinds (...) statue and piece of clay are potentially conflicting. A clash with Leibniz’s Law is avoided by treating modal predicates as what Harold Noonan has called ‘Abelardian predicates’, as in the version of ‘inconstant’ counterpart theory developed by David Lewis. In addition to other difficulties, however, there is a question whether this ‘Abelardian’ theory does justice to the intuitions expressed in such statements as that the piece of clay could, while the statue could not, have survived a radical reshaping of its matter. I present an argument, which I call ‘the vacuous satisfaction argument’, for the conclusion that the theory does indeed fail to capture the significance of such de re modal statements. (shrink)

The contemporary Humean programme that seeks to combine property realism with the denial of necessary connections between distinct existences is flawed. Objects and properties by their very natures are entangled in such connections. It follows that modal notions cannot be reductively analysed by appeal to the concept property, not even if the reducing theory posits an abundant supply of entities to fall under that concept.

This paper is about a puzzle concerning the metaphysics of material objects: a puzzle generated by cases where material objects appear to coincide, sharing all their matter. As is well known, it can be illustrated by the example of a statue. In front of me now, sitting on my desk, is a statue – a statue of a lion. The statue is made of clay. So in front of me now is a piece of clay. But what is the relation (...) between the statue and the piece of clay? Are they identical, or are they distinct? (shrink)

Presentism says that only present objects exist. But the view has trouble grounding past-tensed truths like “dinosaurs existed”. Standard Eternalism grounds those truths by positing the existence of past objects—like dinosaurs. But Standard Eternalism conflicts with the intuition that there is genuine change—the intuition that there once were dinosaurs and no longer are any. I offer a novel theory of time—‘The Imprint’—that does a better job preserving both the grounding and genuine change intuitions. The Imprint says that the past and (...) present exist, but where the present exhibits mass-energy, the past only consists of curved empty regions of spacetime. We therefore avoid saying that there are dinosaurs, since there is no mass-energy in the past; but the curvature of the past gives us a way to ground the truth that “dinosaurs existed”. (shrink)

Scientists and philosophers frequently speak about levels of description, levels of explanation, and ontological levels. In this paper, I propose a unified framework for modelling levels. I give a general definition of a system of levels and show that it can accommodate descriptive, explanatory, and ontological notions of levels. I further illustrate the usefulness of this framework by applying it to some salient philosophical questions: (1) Is there a linear hierarchy of levels, with a fundamental level at the bottom? And (...) what does the answer to this question imply for physicalism, the thesis that everything supervenes on the physical? (2) Are there emergent properties? (3) Are higher-level descriptions reducible to lower-level ones? (4) Can the relationship between normative and non-normative domains be viewed as one involving levels? Although I use the terminology of “levels”, the proposed framework can also represent “scales”, “domains”, or “subject matters”, where these are not linearly but only partially ordered by relations of supervenience or inclusion. (shrink)

Objects often manifest themselves in incompatible ways across perspectives that are epistemically on a par. The standard response to such cases is to deny that the properties that things appear to have from different perspectives are properties that things really have out there. This type of response seems worrying: too many properties admit of perspectival variance and there are good theoretical reasons to think that such properties are genuinely instantiated. So, we have reason to explore views on which things can (...) have the incompatible properties they appear to have across perspectives. This paper explores the view that things can have incompatible properties if the world is not a metaphysically unified place but is instead fragmented. There is a sensible notion of co-obtainment, on which two facts can each obtain without co-obtaining. Using this notion, we can step back from our embedded perspectives on the world without deeming the contents of those perspectives to be mere appearances. This renders th.. (shrink)

According to one version of objectivism about value, ethical and other evaluative claims have a fixed truth-value independently of who makes them or the society in which they happen to live (c.f. Davidson 2004, 42). Subjectivists about value deny this claim. According to subjectivism so understood, ethical and other evaluative claims have no fixed truth-value, either because their truth-value is dependent on who makes them, or because they have no truth-value at all.

It can be shown by means of a paradox that, given the Principle of Sufficient Reason, there is no conjunction of all contingent truths. The question is, or ought to be, how to interpret that result: _Quid sibi velit?_ A celebrated argument against PSR due to Peter van Inwagen and Jonathan Bennett in effect interprets the result to mean that PSR entails that there are no contingent truths. But reflection on parallels in philosophy of mathematics shows it can equally be (...) interpreted either as a proof that there are "too many" contingent truths to combine in a single conjunction or as a proof that the concept _contingent truth_ is indefinitely extensible and there is no such thing as "all contingent truths." Either interpretation would reconcile PSR with contingent truth, but the natural rationales of those interpretations are at odds. This essay argues that the second interpretation is a more satisfactory explanation of why, if PSR is true, there should be no conjunction of all contingent truths. This sheds new light on the nature of the explanatory demand embedded in PSR and uncovers a number of surprising implications for the commitments of rationalism. (shrink)

Proponents of mechanistic explanation all acknowledge the importance of organization. But they have also tended to emphasize specificity with respect to parts and operations in mechanisms. We argue that in understanding one important mode of organization—patterns of causal connectivity—a successful explanatory strategy abstracts from the specifics of the mechanism and invokes tools such as those of graph theory to explain how mechanisms with a particular mode of connectivity will behave. We discuss the connection between organization, abstraction, and mechanistic explanation and (...) illustrate our claims by looking at an example from recent research on so-called network motifs. (shrink)

Recent decades have seen a revived interest in super-substantivalism, the idea that spacetime is the only fundamental substance and matter some kind of aspect, property or consequence of spacetime structure. However, the metaphysical debate so far has misidentified a particular variant of super-substantivalism with the position per se. I distinguish between a super-substantival core commitment and different ways of fleshing it out. I then investigate how general relativity and alternative spacetime theories square with the different variants of super-substantivalism.

I describe how relativistic field theory generalizes the paradigm property of material systems, the possession of mass, to the requirement that they have a mass–energy–momentum density tensor T µ associated with them. I argue that T µ does not represent an intrinsic property of matter. For it will become evident that the definition of T µ depends on the metric field g µ in a variety of ways. Accordingly, since g µ represents the geometry of spacetime itself, the properties of (...) mass, stress, energy, and momentum should not be seen as intrinsic properties of matter, but as relational properties that material systems have only in virtue of their relation to spacetime structure. (shrink)

Charles Peirce's diagrammatic logic — the Existential Graphs — is presented as a tool for illuminating how we know necessity, in answer to Benacerraf's famous challenge that most ‘semantics for mathematics’ do not ‘fit an acceptable epistemology’. It is suggested that necessary reasoning is in essence a recognition that a certain structure has the particular structure that it has. This means that, contra Hume and his contemporary heirs, necessity is observable. One just needs to pay attention, not merely to individual (...) things but to how those things are related in larger structures, certain aspects of which relations force certain other aspects to be a certain way. (shrink)

In many diagrams one seems to perceive necessity – one sees not only that something is so, but that it must be so. That conflicts with a certain empiricism largely taken for granted in contemporary philosophy, which believes perception is not capable of such feats. The reason for this belief is often thought well-summarized in Hume's maxim: ‘there are no necessary connections between distinct existences’. It is also thought that even if there were such necessities, perception is too passive or (...) localized a faculty to register them. We defend the perception of necessity against such Humeanism, drawing on examples from mathematics. (shrink)

I describe a new argument for the existence of God, and argue one of its steps. En route I criticize class-nominalist theories of attributes, and sketch an alternate theory involving God.

Since K. Fine’s influential criticism of modalism, many philosophers have agreed that we cannot understand the concept of essence with that of modality. However, some philosophers have resisted this mainstream position. In this paper, I examine N. Wildman’s claim that, unlike other versions of modalism, his version of modalism, namely Sparse Modalism can save modalism. I will argue first that if we introduce the notion of grounding into this debates, Wildman’s criticisms of other versions are significantly undermined. Next, I will (...) argue that since Sparse Modalism has an implicit commitment to grounding Wildman cannot blame revising other versions modalism with the concept of grounding. From these claims, I will conclude that the prospect of the success of modalism in general is at best dubious. Without the concept of grounding no version of modalism can succeed and with the concept of grounding no version is well motivated. (shrink)

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

McTaggart's argument against the reality of the A series poses a serious problem for the moving-now block theory of time. A defender of MNBT can respond along lines suggested by Broad: by denying that we should understand ‘e was present’ as saying that e is present at some past moment t. There is, however, a serious—plausibly defeating—objection to this type of response: it implicitly denies a non-negotiable platitude about time. As a result, MNBT is not tenable. Growing block theories are (...) also defeated by a similar objection. (shrink)

Roche and Sober have offered a new argument for the view that a hypothesis H is not confirmed by its capacity to explain some observation O. Their argument purports to work by showing that O screens H off from the fact that H would explain O. This paper offers several objections to this argument. Firstly, the screening-off test cannot identify whatever evidential contribution Hs explanatoriness may make. Secondly, that H would explain O may be logically necessary, eluding the screening-off test. (...) Thirdly, the test cannot detect an important difference that Hs explanatoriness often makes to Hs confirmation. (shrink)

According to the so-called strong variant of Composition as Identity (CAI), the Principle of Indiscernibility of Identicals can be extended to composition, by resorting to broadly Fregean relativizations of cardinality ascriptions. In this paper we analyze various ways in which this relativization could be achieved. According to one broad variety of relativization, cardinality ascriptions are about objects, while concepts occupy an additional argument place. It should be possible to paraphrase the cardinality ascriptions in plural logic and, as a consequence, relative (...) counting requires the relativization either of quantifiers, or of identity, or of the is one of relation. However, some of these relativizations do not deliver the expected results, and others rely on problematic assumptions. In another broad variety of relativization, cardinality ascriptions are about concepts or sets. The most promising development of this approach is prima facie connected with a violation of the so-called Coreferentiality Constraint, according to which an identity statement is true only if its terms have the same referent. Moreover - even provided that the problem with coreferentiality can be fixed - the resulting analysis of cardinality ascriptions meets several difficulties. (shrink)

(No abstract is available for this citation).

What are facts, situations, or events? When Situation Semantics was born in the eighties, I objected because I could not swallow the idea that situations might be chunks of information. For me, they had to be particulars like sticks or bricks. I could not imagine otherwise. The first manuscript of “An Investigation of the Lumps of Thought” that I submitted to Linguistics and Philosophy had a footnote where I distanced myself from all those who took possible situations to be units (...) of information. In that context and at that time, this meant Jon Barwise and John Perry. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (shrink)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...) From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

There’s the question of what there is, and then there’s the question of what ultimately exists. Many contend that, once we have this distinction clearly in mind, we can see that there is no sensible debate to be had about whether there are such things as properties or tables or numbers, and that the only ontological question worth debating is whether such things are ultimate (in one or another sense). I argue that this is a mistake. Taking debates about ordinary (...) objects as a case study, I show that the arguments that animate these debates bear directly on the question of which objects there are and cannot plausibly be recast as arguments about what’s ultimate. I then address the objection that, because they are easy answerable, questions about what there is cannot be a proper subject of ontological debate. (shrink)

Many of those who accept the universalist thesis that mereological composition is unrestricted also maintain that the folk typically restrict their quantifiers in such a way as to exclude strange fusions when they say things that appear to conflict with universalism. Despite its prima facie implausibility, there are powerful arguments for universalism. By contrast, there is remarkably little evidence for the thesis that strange fusions are excluded from the ordinary domain of quantification. Furthermore, this reconciliatory strategy seems hopeless when applied (...) to the more fundamental conflict between universalism and the intuitions that tell against it. (shrink)

Virtually everyone agrees that, even after having presented the arguments for their positions, proponents of revisionary philosophical theories are required to provide some sort of account of the conflict between their theories and what the folk believe. I examine various strategies for answering the challenge from folk belief. The examination proceeds as a case study, whose focus is eliminativism about ordinary material objects. I critically assess eliminativist attempts to explain folk belief by appeal to paraphrase, experience, and intuition.

In De Anima Book III, Aristotle subscribed to a theory of formal identity between the human mind and the extra-mental objects of our understanding. This has been one of the most controversial featu...

A counteridentical is a counterfactual with an identity statement in the antecedent. While counteridenticals generally seem non-trivial, most semantic theories for counterfactuals, when combined with the necessity of identity and distinctness, attribute vacuous truth conditions to such counterfactuals. In light of this, one could try to save the orthodox theories either by appealing to pragmatics or by denying that the antecedents of alleged counteridenticals really contain identity claims. Or one could reject the orthodox theory of counterfactuals in favor of a (...) hyperintensional semantics that accommodates non-trivial counterpossibles. In this paper, I argue that none of these approaches can account for all the peculiar features of counteridenticals. Instead, I propose a modified version of Lewis’s counterpart theory, which rejects the necessity of identity, and show that it can explain all the peculiar features of counteridenticals in a satisfactory way. I conclude by defending the plausibility of contingent identity from objections. (shrink)

The sample space of the chance distribution at a given time is a class of possible worlds. Thanks to this connection between chance and modality, one’s views about modal space can have significant consequences in the theory of chance and can be evaluated in part by how plausible these implications are. I apply this methodology to evaluate certain forms of modal contingentism, the thesis that some facts about what is possible are contingent. Any modal contingentist view that meets certain conditions (...) that I specify generates difficulties in the philosophy of chance, including a problem usually associated with Humeanism that is known as ‘the problem of undermining futures’. I consider two well-known versions of modal contingentism that face this difficulty. The first version, proposed by Hugh Chandler and Nathan Salmon, rests on an argument for the claim that many individuals have their modal features contingently. The second version is motivated by the thesis that the existence of a possible world depends on the existence of the contingent individuals inhabiting it, and that many worlds are therefore contingent existents. (shrink)

Hardcore actualism (HA) grounds all modal truths in the concrete constituents of the actual world (see, e.g., Borghini and Williams (2008), Jacobs (2010), Vetter (2015)). I bolster HA, and elucidate the very nature of possibility (and necessity) according to HA, by considering if it can validate S5 modal logic. Interestingly, different considerations pull in different directions on this issue. To resolve the tension, we are forced to think hard about the nature of the hardcore actualist's modal reality and how radically (...) this departs from possible worlds orthodoxy. Once we achieve this departure, the prospects of a hardcore actualist validation of S5 look considerably brighter. This paper thus strengthens hardcore actualism by arguing that it can indeed validate S5–arguably the most popular logic of metaphysical modality–and, in the process, it elucidates the very nature of modality according to this revisionary, but very attractive, modal metaphysics. (shrink)

The debate concerning the ontological status of musical works is perhaps the most animated debate in contemporary analytic philosophy of music. In my view, progress requires a piecemeal approach. So in this article I hone in on one particular musical work concept – that of the classical Western art musical work; that is, the work concept that regulates classical art-musical practice. I defend a fictionalist analysis – a strategy recently suggested by Andrew Kania as potentially fruitful – and I develop (...) a version of such an analysis in line with a broad commitment to philosophical naturalism. (shrink)

Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.

There is a puzzle about the use of paraphrase in philosophy, presented most famously in Alston's [1958] ‘Ontological Commitments’, but found throughout the literature. The puzzle arises from the fact that a symmetry required for a paraphrase to be successful seems to necessitate a symmetry sufficient for a paraphrase to fail, since any two expressions that stand in the means the same as relation must also stand in the has the same commitments as relation. I show that, while this problem (...) does undermine some conceptions of paraphrase, on a proper understanding of paraphrase the puzzle gets no purchase. Since paraphrase is an important component of Quinean approaches to meta-ontology, this paper constitutes a partial defence of Quinean meta-ontology. Since paraphrase is an important component of traditional methods of philosophical inquiry, this paper constitutes a partial defence of traditional modes of philosophizing as well. (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)

It is shown that Lewis’ ontological doctrine of Humean supervenience incorporates at its foundation the so-called separability principle of classical physics. In view of the systematic violation of the latter within quantum mechanics, the claim that contemporary physical science may posit non-supervenient relations beyond the spatiotemporal ones is reinforced on a foundational basis concerning constraints on the state representation of physical systems. Depending on the mode of assignment of states to quantum systems — unit state vectors versus statistical density operators (...) — we distinguish between strongly and weakly non-Humean, non-supervenient relations. It is demonstrated that in either case, the relations of quantum entanglement constitute prototypical examples of irreducible physical relations that do not supervene upon a spatiotemporal arrangement of Humean qualities, weakening, thereby, the thesis of Humean supervenience. In this respect, the status of Lewis’ recombination principle is examined, whereas his conception of lawhood is critically investigated. It is concluded that the assumption of ontological reductionism, as expressed in Lewis’ Humean doctrine, cannot be regarded as a reliable code of the nature of the physical world and its contents. It is proposed instead that due to the undeniable existence of non-supervenient relations, a metaphysic of relations of a moderate kind ought to be acknowledged as an indispensable part of our understanding of the natural world at a fundamental level. (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.

Mark Johnston has recently argued that four-dimensionalist theories of persistence are incompatible with some of our most basic ethical and prudential principles. I argue that although Johnston’s arguments succeed on a worm-theoretic account of persistence, they fail on a stage-theoretic account. So much the worse, I conclude, for the worm theory.

In this paper I critically examine an argument proposed by Graham Priest in support of the claim that the observable world is consistent. According to this argument we have good reason to think that the observable world is consistent, specifically we perceive it to be consistent. I critique this argument on two fronts. First, Priest appears to reason from the claim 'we know what it is to have a contradictory perception' to the claim 'we know what it is to perceive (...) a contradiction'. I argue that this inference fails to be valid. Secondly, I give reasons for thinking that if an observable state of affairs were to be contradictory, we would perceive it to be consistent. As such that the world we observe appears consistent does not constitute evidence that it is in fact consistent. That we see a consistent world is no reason to believe that the world is consistent. I conclude the paper with some reflections on the implications of this analysis for the plausibility of trivialism. (shrink)