I propose an amendment of Lewis's counterfactual analysis of causation, designed to overcome some difficulties concerning redundant causation.

A short paper proving what the title says.

The thesis of 3D/4D equivalence states that every three-dimensional description of the world is translatable without remainder into a four-dimensional description, and vice versa. In representing an object in 3D or in 4D terms we are giving alternative descriptions of one and the same thing, and debates over whether the ontology of the physical world is "really" 3D or 4D are pointless. The twins paradox is shown to rest, in relativistic 4D geometry, on a reversed law of triangle inequality. But (...) considering the twins as 3D beings who age through time, the paradox implies that time passes at different rates in different reference frames, and therefore that the concept of a single global or Absolute time is unsustainable. (shrink)

E. J. Lowe; Coinciding objects: in defence of the ‘standard account’, Analysis, Volume 55, Issue 3, 1 July 1995, Pages 171–178, https://doi.org/10.1093/analys/5.

is the second-order theory of the part-whole relation. It can express such hypotheses about the size of Reality as that there are inaccessibly many atoms. Take a non-empty class to have exactly its non-empty subclasses as parts; hence, its singleton subclasses as atomic parts. Then standard set theory becomes the theory of the member-singleton function—better, the theory of all singleton functions—within the framework of megethology. Given inaccessibly many atoms and a specification of which atoms are urelements, a singleton function exists, (...) unique up to isomorphism. (This article is partly abridged from my Parts of Classes, partly a sequel.). (shrink)

In his excellent book, Four-Dimensionalism: An Ontology of Persistence and Time (Sider, 2001), Theodore Sider defends a version of four-dimensionalism which he calls the ‘stage-theory’. This paper focuses on Sider's argument from vagueness and argues that, due to the problematic nature of the argument from vagueness, Sider’s case in favor of four-dimensionalism is in the end not successful.

In a difficult but fascinating passage in Metaphysics Z.17, Aristotle puts forward a proposal, by means of a regress argument, according to which a whole or matter/form-compound is one or unified, in contrast to a heap, due to the presence of form or essence. This proposal gives rise to two central questions: (i) the question of whether form itself is to be viewed, literally and strictly speaking, as part of the matter/form-compound; and (ii) the question of whether form is to (...) be regarded as itself having parts. It is argued that both questions may be answered affirmatively, without giving rise to a regress worry. (shrink)

A presentation of the Lewis-Sider argument from vagueness for unrestricted composition and possible responses.

Multilocation and Minimal Mereology do not mix well. It has been pointed out that Three-Dimensionalism, which can be construed as multilocation-friendly, runs into trouble with Weak Supplementation. But in fact, regardless of one’s theory of persistence, if someone posits the possibility of any one of several kinds of multilocation, he or she will not be able to maintain the necessity of any of the three axioms of Minimal Mereology: the Transitivity of Proper Parthood, the Asymmetry of Proper Parthood, and Weak (...) Supplementation. In fact, positing even the mere conceivability of cases involving multilocation will require the denial of the analyticity of Minimal Mereology. In response to this, some have claimed that we ought to relativise parthood, either to one region or to two. Unfortunately, if we replace the axioms of Minimal Mereology with region-relativised counterparts, we will not be able to capture the intuitions that supported the original axioms. The only adequate solution, I maintain, is to restrict multilocation to a domain outside the scope of the rules we intuitively take to govern the parthood relation. For those who take Minimal Mereology to be necessary and universal, that will mean relinquishing the possibility of multilocation. (shrink)

"This is a fine volume that clarifies, defends, and moves beyond the views that Kim presented in Mind in a Physical World.

überall einen richtigen Gebrauch der reinen Vernunft giebt, in welchem Fall es auch einen Canon derselben geben muß, so wird dieser nicht den speculativen, sondernden pr.ntischen Vernunftgebrauch betreffen, den wir also iezt ...

Impossible worlds are representations of impossible things and impossible happenings. They earn their keep in a semantic or metaphysical theory if they do the right theoretical work for us. As it happens, a worlds-based account provides the best philosophical story about semantic content, knowledge and belief states, cognitive significance and cognitive information, and informative deductive reasoning. A worlds-based story may also provide the best semantics for counterfactuals. But to function well, all these accounts need use of impossible and as well (...) as possible worlds. So what are impossible worlds? Graham Priest claims that any of the usual stories about possible worlds can be told about impossible worlds, too. But far from it. I'll argue that impossible worlds cannot be genuine worlds, of the kind proposed by Lewis, McDaniel or Yagisawa. Nor can they be ersatz worlds on the model proposed by Melia or Sider. Constructing impossible worlds, it turns out, requires novel metaphysical resources. (shrink)

Everything we do relies on causation. We eat and drink because this causes us to stay alive. Courts tell us who causes crimes, criminology tell us what causes people to commit them. D.H. Mellor shows us that to understand the world and our lives we must understand causation. The Facts of Causation , now available in paperback, is essential reading for students and for anyone interested in reading one of the ground-breaking theories in metaphysics. We cannot understand the world and (...) our place in it without understanding causation. Yet a complete account of the nature and implications of causation does not exist. D.H Mellor's new book is that account. (shrink)

This paper recalls some applications of two-dimensional modal logic from the 1980s, including work on the logic of Actually and on a somewhat idealized version of the indicative/subjunctive distinction, as well as on absolute and relative necessity. There is some discussion of reactions this material has aroused in commentators since. We also survey related work by Leslie Tharp from roughly the same period.

Anyone who endorses Universalism and Four Dimensionalism owes us an argument for those controversial mereological theses. One may put forth David Lewis’s and Ted Sider’s arguments from vagueness. However, the success of those arguments depends on the rejection of the epistemic view of vagueness, and thus opens the door to a fatal confrontation with one particularly troubling version of The Problem of the Many. The alternative for friends of Universalism and Four Dimensionalism is to abandon those currently fashionable arguments in (...) favor of others which are consistent with the epistemic view of vagueness and with the elegant solution it furnishes to that problem. (shrink)

Are there any non‐composite objects? Are there any objects every part of which is composite? Are items of either kind even possible? What would they be like? Of what significance would they be? How best can we come to have reasonable beliefs about the answers to these inquiries? Such questions – about the actuality and possibility, the analysis and significance, the methodology and epistemology of simples and pieces of gunk – have been center stage in recent contemporary analytic metaphysics. The (...) following article provides a general overview of some of the current debates on their proper answers as well as a pair of slightly more detailed investigations into two issues of special interest in the recent literature devoted to these topics. (shrink)

Introduction In the first four chapters of this book, I develop and defend a monistic account of human persons according to which human persons are highly ...

Classical mereology is a formal theory of the part-whole relation, essentially involving a notion of mereological fusion, or sum. There are various different definitions of fusion in the literature, and various axiomatizations for classical mereology. Though the equivalence of the definitions of fusion is provable from axiom sets, the definitions are not logically equivalent, and, hence, are not inter-changeable when laying down the axioms. We examine the relations between the main definitions of fusion and correct some technical errors in prominent (...) discussions of the axiomatization of mereology. We show the equivalence of four different ways to axiomatize classical mereology, using three different notions of fusion. We also clarify the connection between classical mereology and complete Boolean algebra by giving two "neutral" axiom sets which can be supplemented by one or the other of two simple axioms to yield the full theories; one of these uses a notion of "strong complement" that helps explicate the connections between the theories. (shrink)

The state of affairs of some things falling under a predicate is supposedly a single entity that collects these things as its constituents. But whether we think of a state of affairs as a fact, a proposition or a possibility, problems will arise if we adopt a plural logic. For plural logic says that any plurality include themselves, so whenever there are some things, the state of affairs of their plural self-inclusion should be a single thing that collects them all. (...) This leads to paradoxes analogous to those that afflict naïve set theory. Here I suggest that they are the very same paradoxes, because sets can be reduced to states of affairs. However, to obtain a consistent theoretical reduction we must restrict the usual axiom scheme of Comprehension for plural logic to ‘stratified’ formulas, to avoid viciously circular definitions. I prove that with this modification to the background plural logic, the theory of states of affairs is consistent; moreover, it yields the axioms of the familiar set theory NFU. (shrink)

Atomism denies that complexes exist. Common-sense metaphysics may posit masses, composite individuals and sets, but atomism says there are only simples. In a singularist logic, it is difficult to make a plausible case for atomism. But we should accept plural logic, and then atomism can paraphrase away apparent reference to complexes. The paraphrases require unfamiliar plural universals, but these are of independent interest; for example, we can identify numbers and sets with plural universals. The atomist paraphrases would fail if plurals (...) presuppose complexes: but an Appendix shows that reference to complexes is not required in the semantics of plurals. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four-dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

Two main claims are defended in this paper: first, that typical disputes in the literature about the ontology of physical objects are merely verbal; second, that the proper way to resolve these disputes is by appealing to common sense or ordinary language. A verbal dispute is characterized not in terms of private idiolects, but in terms of different linguistic communities representing different positions. If we imagine a community that makes Chisholm's mereological essentialist assertions, and another community that makes Lewis's four‐dimensionalist (...) assertions, the members of each community speak the truth in their respective languages. This follows from an application of the principle of interpretive charity to the two communities. (shrink)

There has been very little discussion of the appropriate principles to govern a modal logic of plurals. What debate there has been has accepted a principle I call (Necinc); informally if this is one of those then, necessarily: this is one of those. On this basis Williamson has criticised the Boolosian plural interpretation of monadic second-order logic. I argue against (Necinc), noting that it isn't a theorem of any logic resulting from adding modal axioms to the plural logic PFO+, and (...) showing that the most obvious formal argument in its favour is question begging. I go on to discuss the behaviour of natural language plurals, motivating a case against (Necinc) by developing a case that natural language plural terms are not de jure rigid designators. The paper concludes by developing a model theory for modal PFO-f which does not validate (Necinc). An Appendix discusses (Necinc) in relation to counterpart theory. Of course, it would be a mistake to think that the rules for "multiple pointing" follow automatically from the rules for pointing proper. Max Black—The Elusiveness of Sets In some influential articles during the 1980s George Boolos proposed an interpretation of monadic second-order logic in terms of plural quantification [4, 5]. One objection to this proposal, pressed by Williamson [22, 456-7], focuses on the modal behaviour of plural variables, arguing that the proposed interpretation yields the wrong results in respect of the modal status of atomic predications. In the present paper I will present this objection and argue against it. In the course of developing the argument, I will have cause to consider the under-investigated question of how a logic for plurals should be extended to incorporate modal operators. (shrink)

When is it that two objects compose a whole? Or, put another way, if Z is an object composed of X and Y, then what must be done to bring it about that X and Y both exist and Z does not exist? The author defends an answer to what is now know as the Special Composition Question.