A major source of latter-day skepticism about necessity is the work of David Hume. Hume is widely taken to have endorsed the Humean claim: there are no necessary connections between distinct existences. The Humean claim is defended on the grounds that necessary connections between wholly distinct things would be mysterious and inexplicable. Philosophers deploy this claim in the service of a wide variety of philosophical projects. But Saul Kripke has argued that it is false. According to Kripke, there are necessary (...) connections between distinct existences; in particular, there are necessary connections between material objects and their material origins. In this paper I argue that the primary motivation for the Humean claim, Hume's datum, also motivates the key premise in an argument for the necessity of origins. The very considerations that the Humean takes to show that necessary connections between wholly distinct things would be mysterious and inexplicable indicate that there must be some such necessary connections. Thus, in the absence of alternative support, there is no reason to believe the Humean claim. (shrink)

A New Route to the Necessity of Origin’ (2004, henceforth ‘NR’), we offered an argument for the thesis that there are necessary connections between material things and their material origins. Much of the philosophical interest lay in our claim that the argument did not depend on so-called sufficiency principles for crossworld identity. It has been the verdict of much recent work on the necessity of origin that valid arguments for the thesis require some such sufficiency principle as a premise but (...) that such principles are deeply problematic.1 Finding an argument free of such principles would advance both our understanding and the plausibility of that thesis. These claims are now the subject of a pair of insightful critiques by Teresa Robertson and Graeme Forbes (2006, henceforth ‘RF’) and by Ross Cameron and Sonia Roca (2006, henceforth ‘CR’), and we welcome the opportunity to clarify and improve our account of the matter. (shrink)

According to Kripke’s thesis of the necessity of origin, if an object has an origin, it necessarily has that origin. Kripke’s thesis has special cases that we may refer to as “origin theses” when applied to certain types of objects, such as humans and tables. While origin theses have intuitive plausibility, why they are true remains unclear. This paper addresses a prominent line of defense for origin theses. In a celebrated note in Naming and Necessity, Kripke briefly presented an incomplete (...) argument. Advocates of this line of defense attempt to establish origin theses by proposing additional principles with which to complete Kripke’s argument. I call these defenses “Kripkean defenses.” The usual debate in the literature regarding Kripkean defenses has focused on the justifiability of the proposed principles. In this paper, I highlight a neglected issue that arises for Kripkean defenders, even if the debate is assumed to be settled in their favor. I argue that, even if Kripke’s argument is sound, it falls short of establishing origin theses, leaving an inferential gap. How to close the gap is a new problem for Kripkean defenders. My goal in the paper is to offer a solution that I believe is their best hope. If I am right, Kripkean defenders should commit themselves to the Aristotelian view that individuals such as human beings and tables are, in a robust Aristotelian sense, substances with irreducible powers that emerge from the powers of their causal origin. (shrink)

In the last 30 years much philosophical discussion has been generated by Kripke’s proof of the necessity of origin for material objects presented in footnote 56 of ‘Naming and Necessity’. I consider the two most popular reconstructions of Kripke’s argument: one appealing to the necessary sufficiency of origin, and the other employing a strong independence principle allegedly derived from the necessary local nature of prevention. I argue that, to achieve a general result, both reconstructions presuppose an implicit Humean atomistic thesis (...) of recombination, according to which any two (non-overlapping) possible objects can simultaneously coexist in one and the same world. Yet recombination ill accords with the other assumptions of the proofs. I also argue that the locality of prevention does not entail strong independence. (shrink)

What would my life have been like if I had been born more intelligent? Or taller? Or a member of the opposite sex? Or a non-biological being? It is plausible that some of these questions make sense, while others stretch the limits of sense making. In addressing questions of how I might have been, genetic essentialism is popular, but this article argues that genetic essentialism, and other versions of origin essentialism for organisms, must be rejected. It considers the prospects for (...) counterpart theory and shows how counterpart theory can be used to illuminate volitional accounts of identity as proposed by Harry Frankfurt. This enables one to make sense of claims that, say, being gay, or Deaf, or Black, can be essential to someone's identity. The discussion is then extended to show how it can be made applicable to the transworld identity theorist who denies that individuals possess essential properties. (shrink)

In his famous essentialist account of identity, Kripke holds that it is necessary to the identity of individual people that they have the parents they do in fact have. Some have disputed this requirement, treating it either as a reason to reject essentialism or as something that should be eliminated in order to make essentialism stronger. I examine the reasoning behind some of these claims and argue that it fails to acknowledge the complex and multi-faceted importance of biological process in (...) determining identity and distinguishing significant differences between biological and non-biological cases. In fact, this failure derives from an inherent tendency to treat the biological case in just the same way as the non-biological case at least at one important point in its history—the point of formation. This analysis offers a way of salvaging Kripke’s original claims. I focus in particular on the views of Graeme Forbes and Teresa Robertson, but also discuss the views of Nathan Salmon, M. S. Price and E. J. Lowe. (shrink)

ABSTRACTThe Necessity of Origins is the thesis that, necessarily, if a material object wholly originates from some particular material, then it could not have wholly originated from any significantly non-overlapping material. Several philosophers have argued for this thesis using as a premise a principle that we call ‘Single Origin Necessity’. However, we argue that Single Origin Necessity is false. So any arguments for The Necessity of Origins that rely on Single Origin Necessity are unsound. We also argue that the Necessity (...) of Origins itself is false. Our arguments rely on a thesis in the ontology of art that we find plausible: Multi-Work Materialism. It is the thesis that works of art that have multiple concrete manifestations are co-located with those manifestations. (shrink)

In “A New Problem for Kripkean Defenses of Origin Theses”, Sungil Han calls attention to a gap between the negative conclusions of arguments for origin essentialism (claims to the effect that a given thing could not originate in a certain way), and the positive conclusions one might hope for (claims to the effect that a given thing must originate in a certain way if it exists at all). Han proposes a way of bridging the gap. While I agree with Han (...) that there is indeed such a gap, there is an important difference in what Han and I take the negative claims of Kripke(ans) to be. As a result, I propose a bridge that is significantly different from his. I argue that my approach is superior to Han’s. (shrink)

In this paper, I examine two connected strands of the 4th Set of Objections and Replies to Descartes' Meditations on First Philosophy. On the one hand, I look at Arnauld's defence of the view that real distinction proofs require adequate knowledge and Descartes' view that they only require complete understanding. On the other hand, I engage Arnauld's famous right‐angled triangle, T, and Pythagorean property, P, counterexample to Descartes that vivid and clear thought of separability entails knowledge of separability by God. (...) Following a comment in Almog, I extend out the exchange over the counterexample by considering non‐Euclidean geometries. I argue that while at first it seems that Descartes has a plausible response to Arnauld's counterexample by considering T in a non‐Euclidean space where P does not hold. However, Arnauld actually has a powerful response when we consider what is the essence of T across geometries, Euclidean or otherwise. (shrink)

In 1988, Michael Nyman composed the score for Peter Greenaway’s film Drowning by Numbers (or did something that we would ordinarily think of as composing that score). We can think of Nyman’s compositional activity as a “generative performance” and of the sound structure that Nyman indicated (or of some other abstract object that is appropriately related to that sound structure) as the product generated by that performance (ix).1 According to one view, Nyman’s score for Drowning by the Numbers—the musical work—is (...) the product generated by Nyman’s compositional activity (namely, an abstract object) and, more generally, artworks are identified with the products generated by compositional or other creative activities. Let’s call this view The Product Theory. By contrast, according to another view, Nyman’s score for Drowning by Numbers is the generative performance itself (namely, Nyman’s compositional activity) and, more generally, artworks are identified with generative performances themselves. Following David Davies in Art as Performance, let’s call this view The Performance Theory (80). In that book, Davies argues for The Performance Theory and against The Product Theory. (shrink)

⦿ In my dissertation I introduce, motivate and take the first steps in the implementation of, the project of naturalising modal metaphysics: the transformation of the field into a chapter of the philosophy of science rather than speculative, autonomous metaphysics. -/- ⦿ In the introduction, I explain the concept of naturalisation that I apply throughout the dissertation, which I argue to be an improvement on Ladyman and Ross' proposal for naturalised metaphysics. I also object to Williamson's proposal that modal metaphysics (...) --- or some view in the area --- is already a quasi-scientific discipline. -/- ⦿ Recently, some philosophers have argued that the notion of metaphysical modality is as ill defined as to be of little theoretical utility. In the second chapter I intend to contribute to such skepticism. First, I observe that each of the proposed marks of the concept, except for factivity, is highly controversial; thus, its logical structure is deeply obscure. With the failure of the "first principles" approach, I examine the paradigmatic intended applications of the concept, and argue that each makes it a device for a very specific and controversial project: a device, therefore, for which a naturalist will find no use for. I conclude that there is no well-defined or theoretically useful notion of objective necessity other than logical or physical necessity, and I suggest that naturalising modal metaphysics can provide more stable methodological foundations. -/- ⦿ In the third chapter I answer a possible objection against the in-principle viability of the project: that the concept of metaphysical modality cannot be understood through the philosophical analysis of any scientific theory, since metaphysical necessity "transcends'' natural necessity, and science only deals with the latter. I argue that the most important arguments for this transcendence thesis fail or face problems that, as of today, remain unsolved. -/- ⦿ Call the idea that science doesn't need modality, "demodalism''. Demodalism is a first step in a naturalistic argument for modal antirealism. In the fourth chapter I examine six versions of demodalism to explain why a family of formalisms, that I call "spaces of possibility'', are (i) used in a quasi-ubiquitous way in mathematised sciences (I provide examples from theoretical computer science to microeconomics), (ii) scientifically interpreted in modal terms, and (iii) used for at least six important tasks: (1) defining laws and theories; (2) defining important concepts from different sciences (I give several examples); (3) making essential classifications; (4) providing different types of explanations; (5) providing the connection between theory and statistics, and (6) understanding the transition between a theory and its successor (as is the case with quantisation). -/- ⦿ In fifth chapter I propose and defend a naturalised modal ontology. This is a realism about modal structure: my realism about constraints. The modal structure of a system are the relationships between its possible states and between its possible states and those of other systems. It is given by the plurality of restrictions to which said system is subject. A constraint is a factor that explains the impossibility of a class of states; I explain this concept further. First, I defend my point of view by rejecting some of its main rivals: constructive empiricism, Humean conventionalism, and wave function realism, as they fail to make sense of quantum chaos. This is because the field requires the notion of objective modal structure, and the mentioned views have trouble explaining the modal facts of quantum dynamics. Then, I argue that constraint realism supersedes these views in the context of Bohm's standard theory and mechanics, and underpins the study of quantum chaos. Finally, I consider and reject two possible problems for my point of view. -/- ⦿ A central concern of modal metaphysicians has been to understand the logical system that best characterises necessity. In the sixth chapter I intend to recover the logical project applied to my naturalistic modal metaphysics. Scientists and philosophers of science accept different degrees of physical necessity, ranging from purely mathematically necessary facts that restrict physical behaviour, to kinetic principles, to particular dynamical constraints. I argue that this motivates a multimodal approach to modal logic, and that the time dependence of dynamics motivates a logic of historical necessity. I propose multimodal propositional (classical) logics for Bohmian mechanics and the Everettian theory of many divergent worlds, and I close with a criticism of Williamson's approach to the logic of state spaces of dynamic systems. (shrink)