Software is a ubiquitous artifact, yet not much has been done to understand its ontological nature. There are a few accounts offered so far about the nature of software. I argue that none of those accounts give a plausible picture of the nature of software. I draw attention to the striking similarities between software and musical works. These similarities motivate to look more closely on the discussions regarding the nature of the musical works. With the lessons drawn from the ontology (...) of musical works I offer a novel account of the nature of software. In this account, software is an abstract artifact. I elaborate the conditions under which software comes into existence; how it persists; how and on which entities its existence depends. (shrink)

The question I wish to explore is this: Does idealism conflict with common sense? Unfortunately, the answer I give may seem like a rather banal one: It depends. What do we mean by ‘idealism’ and ‘common sense?’ I distinguish three main varieties of idealism: absolute idealism, Berkeleyan idealism, and dualistic idealism. After clarifying what is meant by common sense, I consider whether our three idealisms run afoul of it. The first does, but the latter two don’t. I conclude that while (...) Moore’s famous common sense critique is sound against external world skepticism, against Berkeleyan idealism and dualist idealism it is unavailing. (shrink)

There has been an explosion of interest in the metaphysics of fundamentality in recent decades. The consensus view, called metaphysical foundationalism, maintains that there is something absolutely fundamental in reality upon which everything else depends. However, a number of thinkers have chal- lenged the arguments in favor of foundationalism and have proposed competing non-foundationalist ontologies. This paper provides a systematic and critical introduction to metaphysical foundationalism in the current literature and argues that its relation to ontological dependence and substance should (...) be qualified in important ways. (shrink)

This article aims to show that fundamentality is construed differently in the two most prominent strategies of analysis we find in physical science and engineering today: (1) atomistic, reductive analysis and (2) Systems analysis. Correspondingly, atomism is the conception according to which the simplest (smallest) indivisible entity of a certain kind is most fundamental; while systemism, as will be articulated here, is the conception according to which the bonds that structure wholes are most fundamental, and scale and/or constituting entities are (...) of no significance whatsoever for fundamentality. Accordingly, atomists maintain that the basic entities—the atoms—are fundamental, and together with the “external” interactions among them, are sufficient for illuminating all the features and behaviors of the wholes they constitute; whereas systemists proclaim that it is instead structural qualities of systems, that flow from internal relations among their constituents and translate directly into behaviors, that are fundamental, and by themselves largely (if not entirely) sufficient for illuminating the features and behaviors of the wholes thereby structured. Systemism, as will be argued, is consistent with the nonexistence of a fundamental “level” of nondecomposable entities, just as it is consistent with the existence of such a level. Still, systemism is a conception of the fundamental in quite different, but still ontological terms. Systemism can serve the special sciences—the social sciences especially—better than the conception of fundamentality in terms of atoms. Systemism is, in fact, a conception of fundamentality that has rather different uses—and importantly, different resonances. This conception of fundamentality makes contact with questions pertaining to natural kinds and their situation in the metaphysics of the special sciences—their situation within an order of autonomous sciences. The controversy over fundamentality is evident in the social sciences too, albeit somewhat imperfectly, in the terms of debate between methodological individualists and functionalists/holists. This article will thus clarify the difference between systemism and holism. (shrink)

I go deep into the biology of the human organism to argue that the psychological features and functions of persons are realized by cellular and molecular parallel distributed processing networks dispersed throughout the whole body. Persons supervene on the computational processes of nervous, endocrine, immune, and genetic networks. Persons do not go with brains.

I first offer a broad taxonomy of models of divine omnipresence in the Christian tradition, both past and present. I then examine the recent model proposed by Hud Hudson (2009, 2014) and Alexander Pruss (2013)—ubiquitous entension—and flag a worry with their account that stems from predominant analyses of the concept of ‘material object’. I then attempt to show that ubiquitous entension has a rich Latin medieval precedent in the work of Augusine and Anselm. I argue that the model of omnipresence (...) explicated by Augustine and Anselm has the resources to avoid the noted worry by offering an alternative account of the divide between the immaterial and the material. I conclude by considering a few alternative analyses of ‘material object’ that make conceptual room for a contemporary Christian theist to follow suite in thinking that at least some immaterial entities are literally spatially located when relating to the denizens of spacetime. (shrink)

There is variation in how people perceive colors and other secondary qualities. The challenge of perceptual variation is to say whose perceptions are accurate. A natural and influential response is that, whenever there’s variation in two people’s perceptions, at most one of their perceptions is accurate. I will argue that this leads to an unacceptable kind of ignorance.

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

Metaphysics is supposed to tell us about the metaphysical nature of our world: under what conditions composition occurs; how objects persist through time; whether properties are universals or tropes. It is near orthodoxy that whichever of these sorts of metaphysical claims is true is necessarily true. This paper looks at the debate between that orthodox view and a recently emerging view that claims like these are contingent, by focusing on the metaphysical debate between monists and pluralists about concrete particulars. This (...) paper argues that we should be contingentists about monism and pluralism, and it defends contingentism against some necessitarian objections by offering an epistemology of contingent metaphysical claims. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

Nel nostro universo, qualunque cosa, dalla più piccola particella alla più smisurata galassia, esiste in un qualche tempo e in un qualche luogo. Ma cosa significa esistere in un qualche tempo? Il fenomeno dell’esistenza temporale gioca un ruolo fondamentale nella comprensione dell’universo e di noi stessi quali creature temporali. Eppure è un fenomeno profondamente misterioso. L’esistenza temporale è da intendersi come una relazione? Che legami ha con l’esistenza dell’ontologia? L’esistenza temporale e la localizzazione spaziale sono due fenomeni essenzialmente differenti o (...) due istanze di un’unica relazione? Tutto ciò che esiste nel tempo esiste nel tempo nello stesso modo? Tutto ciò che è nel tempo è anche nello spazio? (shrink)

This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...) of modal talk. The author provides a uniform analysis of quantification over individuals (physical objects) and objects of thought (intentional objects). The semantic account of what it means to speak of intentional objects throws new light on accounts of intentionality and singular thought in the philosophy of mind and offers novel insights into the semantics of intensional transitive verbs. (shrink)

Does the self exist? If so, what is its nature? How long do selves last? Galen Strawson draws on literature and psychology as well as philosophy to discuss various ways we experience having or being a self. He argues that it is legitimate to say that there is such a thing as the self, distinct from the human being.

Contemporary accounts of logic and language cannot give proper treatments of plural constructions of natural languages. They assume that plural constructions are redundant devices used to abbreviate singular constructions. This paper and its sequel, "The logic and meaning of plurals, II", aim to develop an account of logic and language that acknowledges limitations of singular constructions and recognizes plural constructions as their peers. To do so, the papers present natural accounts of the logic and meaning of plural constructions that result (...) from the view that plural constructions are, by and large, devices for talking about many things (as such). The account of logic presented in the papers surpasses contemporary Fregean accounts in its scope. This extension of the scope of logic results from extending the range of languages that logic can directly relate to. Underlying the view of language that makes room for this is a perspective on reality that locates in the world what plural constructions can relate to. The papers suggest that reflections on plural constructions point to a broader framework for understanding logic, language, and reality that can replace the contemporary Fregean framework as this has replaced its Aristotelian ancestor. (shrink)

Say that some things compose something, if the latter is a whole, fusion, or mereological sum of the former. Then the thesis that composition is identity holds that the composition relation is a kind of identity relation, a plural cousin of singular identity. On this thesis, any things that compose a whole are identical with the whole. This article argues that the thesis is incoherent. To do so, the article formulates the thesis in a plural language, a symbolic language that (...) includes counterparts of plural constructions of natural languages, and shows that it implies that nothing has a proper part. Then the article argues that the thesis, as its proponents take it, is incoherent because they take it to imply or presuppose that some things have proper parts. (shrink)

Some opponents of animalism have offered a relatively new worry: the remnant-person problem. After presenting the problem, I lay out several responses and show why they are either problematic or come with too many theoretical costs. I then present my own response to the problem, which unlike the other responses, it is one that can be adopted by animalists of any stripe. What I hope to show is that some of the key assumptions of the remnant-person problem can be rejected, (...) and thus, the remnant-person problem should be seen as posing no threat to animalism. (shrink)

A recent solution to the Body-Minus problem, which is a problem of material constitution, claims that ordinary proper parts (such as left feet) exist, but the complements of these objects (such as left-foot complements) do not exist. In this paper, I examine a defense of this solution from the worry of arbitrariness and from its ineffectiveness against a revised version of the problem that focuses on the head, and I show that this defense fails.

In trying to establish the view that there are no non-living macrophysical objects, Trenton Merricks has produced an influential argument—the Overdetermination Argument—against the causal efficacy of composite objects. A serious problem for the Overdetermination Argument is the ambiguity in the notion of overdetermination that is being employed, which is due to the fact that Merricks does not provide any theory of causation to support his claims. Once we adopt a plausible theory of causation, viz. interventionism, problems with the Overdetermination will (...) become evident. After laying out the Overdetermination Argument and examining one extant objection to it, I will explicate the relevant aspects of an interventionist theory of causation and provide a characterization of overdetermination that follows from such an account. From this, I will argue that the Causal Principle that undergirds the Overdetermination Argument is false and hence the argument is invalid; and I claim that the only other available characterization of overdetermination would render a key premise in the argument false. Thus, the Overdetermination Argument fails to provide us with any reason to deny the causal efficacy of macrophysical objects, and therefore provides no reason to doubt their existence. (shrink)

Constituent ontologies maintain that the properties of an object are either parts or something very much like parts of that object. Recently, such a view has been criticized as leading to a bizarre and problematic form of substance dualism and implying the existence of impossible objects. After briefly presenting constituent and relational ontologies, I respond to both objections, arguing that constituent ontology does not yield either of these two consequences and so is not shown to be an unacceptable ontological framework.

Most ordinary objects - cats, humans, mountains, ships, tables, etc. - have indeterminate mereological boundaries. If the theory of mereology is meant to include ordinary objects at all, we need it to have some space for mereological indeterminacy. In this paper, we present a novel degree-theoretic semantics - Boolean semantics - and argue that it is the best degree-theoretic semantics for modeling mereological indeterminacy, for three main reasons: (a) it allows for incomparable degrees of parthood, (b) it enforces classical logic, (...) and (c) it is compatible with all the axioms of classical mereology. Using Boolean semantics, we will also investigate the connection between vagueness in parthood and vagueness in existence/identity. We show that, contrary to what many have argued, the connection takes neither the form of entailment nor the form of exclusion. (shrink)

The problem of the many threatens to show that, in general, there are far more ordinary objects than you might have thought. I present and motivate a solution to this problem using many-one identity. According to this solution, the many things that seem to have what it takes to be, say, a cat, are collectively identical to that single cat.

Viele Menschen halten Patientenverfügungen für ein geeignetes Mittel, um selbstbestimmt zu entscheiden, wie mit ihnen im Fall schwerer Demenz umgegangen werden soll. Die meisten Bioethiker stimmen ihnen zu: Demenzverfügungen seien Ausdruck der „verlängerten Autonomie“ der Patientin. Doch ob sie recht haben, ist unklar. Dem viel beachteten Identitätseinwand zufolge sind die Ausstellerin der Verfügung und ihre schwer demente Nachfolgerin numerisch verschieden: Sie sind zwei und nicht eins. Wenn das stimmt, kann die Ausstellerin nicht verfügen, wie mit ihr im Falle schwerer Demenz (...) umgegangen werden soll. Die Demenzverfügung ist ungültig. In meinem Aufsatz möchte ich eine neue Replik auf diesen Einwand vorstellen. Ihr Ansatzpunkt ist der menschliche Organismus, den wir sehen, wenn wir in den Spiegel blicken. Er kann schwer dement werden, und auch er hat die Patientenverfügung unterschrieben. Warum sollte sie dann ungültig sein? Auf den ersten Blick hat diese Replik eine Reihe von Vorzügen. Insbesondere akzeptiert sie die populären Annahmen, auf denen der Identitätseinwand basiert. Bei näherem Hinsehen zeigen sich jedoch Probleme, die so gravierend sind, dass wir von ihr Abstand nehmen sollten. (shrink)

Nihilists cannot square their position with common sense simply by paraphrasing away apparent ontological commitments in ordinary language. I argue for this claim by analogy. Paraphrase atheism says there is no God, but tries to square the truth of atheism with ordinary religious sentences by paraphrasing away apparent ontological commitments. Obviously, paraphrase does not reconcile atheism with ordinary language about God. I discuss two different reasons that paraphrase can fail and suggest that both reasons afflict paraphrase nihilism. Hence, paraphrase nihilism (...) cannot reconcile nihilism and common sense, and so nihilists must look for some other strategy that can evade the force of the Atheism Case. (shrink)

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

This paper explores the interaction of well-motivated (if controversial) principles governing the probability conditionals, with accounts of what it is for a sentence to be indefinite. The conclusion can be played in a variety of ways. It could be regarded as a new reason to be suspicious of the intuitive data about the probability of conditionals; or, holding fixed the data, it could be used to give traction on the philosophical analysis of a contentious notion—indefiniteness. The paper outlines the various (...) options, and shows that ‘rejectionist’ theories of indefiniteness are incompatible with the results. Rejectionist theories include popular accounts such as supervaluationism, non-classical truth-value gap theories, and accounts of indeterminacy that centre on rejecting the law of excluded middle. An appendix compares the results obtained here with the ‘impossibility’ results descending from Lewis ( 1976 ). (shrink)

The paper explores a deductive-nomological account of metaphysical explanation: some truths metaphysically explain, or ground, another truth just in case the laws of metaphysics determine the latter truth on the basis of the former. I develop and motivate a specific conception of metaphysical laws, on which they are general rules that regulate the existence and features of derivative entities. I propose an analysis of the notion of ‘determination via the laws’, based on a restricted form of logical entailment. I argue (...) that the DN-account of ground can be defended against the well-known objections to the DN-approach to scientific explanation. The goal of the paper is to show that the DN-account of metaphysical explanation is a well-motivated and defensible theory. (shrink)

1. What are called ‘intuitions’ in philosophy are just applications of our ordinary capacities for judgement. We think of them as intuitions when a special kind of scepticism about those capacities is salient. 2. Like scepticism about perception, scepticism about judgement pressures us into conceiving our evidence as facts about our internal psychological states: here, facts about our conscious inclinations to make judgements about some topic rather than facts about the topic itself. But the pressure should be resisted, for it (...) rests on bad epistemology: specifically, on an impossible ideal of unproblematically identifiable evidence. 3. Our resistance to scepticism about judgement is not simply epistemic conservativism, for we resist it on behalf of others as well as ourselves. A reason is needed for thinking that beliefs tend to be true. 4. Evolutionary explanations of the tendency assume what they should explain. Explanations that appeal to constraints on the determination of reference are more promising. Davidson’s truth-maximizing principle of charity is examined but rejected. 5. An alternative principle is defended on which the nature of reference is to maximize knowledge rather than truth. It is related to an externalist conception of mind on which knowing is the central mental state. 6. The knowledge-maximizing principle of charity explains why scenarios for scepticism about judgement do not warrant such scepticism, although it does not explain how we know in any particular case. We should face the fact that evidence is always liable to be contested in philosophy, and stop using talk of intuition to disguise this unpleasant truth from ourselves. (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (shrink)

Revisionary theories of logic or truth require revisionary theories of mind. This essay outlines nonclassically based theories of rational belief, desire, and decision making, singling out the supervaluational family for special attention. To see these nonclassical theories of mind in action, this essay examines a debate between David Lewis and Derek Parfit over what matters in survival. Lewis argued that indeterminacy in personal identity allows caring about psychological connectedness and caring about personal identity to amount to the same thing. The (...) essay argues that Lewis's treatment of two of Parfit's puzzle cases—degreed survival and fission—presuppose different nonclassical treatments of belief and desire. (shrink)

Although the Evans argument against vague identity has been much discussed, proposah for blocking it have not so far satisfied general conditions which any solution ought to meet. Moreover, the relation between ontically vague identity and ontic vagueness more generally has not yet been satisfactorily addressed. I advocate a way of resisting the Evans argument which satisfies the conditions. To show how this approach can vindicate particular cases of ontically vague identity, I develop a framework for describing ontic vagueness in (...) general in terms of multiple actualities. This provides aprìncipled approach to ontically vague identity which is unaffected by the Evans argument. (shrink)

Worlds where things divide forever ("gunk" worlds) are apparently conceivable. The conceivability of such scenarios has been used as an argument against "nihilist" or "near-nihilist" answers to the special composition question. I argue that the mereological nihilist has the resources to explain away the illusion that gunk is possible.

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

The notion of a proposition is central to philosophy. But it is subject to paradoxes. A natural response is a hierarchical account and, ever since Russell proposed his theory of types in 1908, this has been the strategy of choice. But in this paper I raise a problem for such accounts. While this does not seem to have been recognized before, it would seem to render existing such accounts inadequate. The main purpose of the paper, however, is to provide a (...) new hierarchical account that solves the problem. (shrink)

ABSTRACT This paper defends a controversial view about personal identity. It argues that it is possible to endorse both Phenomenalism and Materialism about persons. Phenomenalism is the view that personal identity is grounded in phenomenal consciousness. Materialism is the view that we are material objects. Many believe that the two views are incompatible. In this paper, I show that it is possible to accept both. I consider two objections against their combination—the argument from disembodiment and an important objection by Tim (...) Bayne. My responses are based on Kripke’s analysis of necessary a posteriori and contingent a priori statements. I make the case that both objections rest on different kinds of modal illusions. This strategy can be applied to other arguments, and the paper is intended to advocate a general approach to personal identity. (shrink)

According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...) it is surprisingly difficult to give a satisfactory answer to this question that accords with standard, pre-philosophical intuitions about the universe's composite objects. In fact, the three rival views in response to this question that have received the most support in the literature are (i) that there are no objects composed of two or more parts (which means that there are no stars, chairs, humans, or bicycles);2 (ii) that the only objects composed of two or more parts are living organisms (which still means no stars. (shrink)

Recently a number of works in meta-ontology have used a variant of J.H. Harris's collapse argument in the philosophy of logic as an argument against Eli Hirsch's quantifier variance. There have been several responses to the argument in the literature, but none of them have identified the central failing of the argument, viz., the argument has two readings: one on which it is sound but doesn't refute quantifier variance and another on which it is unsound. The central lesson I draw (...) is that arguments against quantifier variance must pay strict attention to issues of translation and interpretation. The paper also has a substantial appendix in which I prove the equivalence of plural mereological nihilism and standard first-order atomistic mereology; results of this kind are often appealed to in the literature on quantifier variance but without many details on the nature or proof of the result. (shrink)

In many ontological debates there is a familiar challenge. Consider a debate over X s. The “small” or anti-X side tries to show that they can paraphrase the pro-X or “big” side’s claims without any loss of expressive power. Typically though, when the big side adds whatever resources the small side used in their paraphrase, the symmetry breaks down. The big side plus small’s resources is a more expressively powerful and thus more theoretically fruitful theory. In this paper, I show (...) that there is a very general solution to this problem, for the small side. Assuming the resources of set theory, small can successfully paraphrase big. This result depends on a theorem about models of set theory with urelements. After proving this theorem, I discuss some of its philosophical ramifications. (shrink)

David Lewis insists that restrictivist composition must be motivated by and occur due to some intuitive desiderata for a relation R among parts that compose wholes, and insists that a restrictivist’s relation R must be vague. Peter van Inwagen agrees. In this paper, I argue that restrictivists need not use such examples of relation R as a criterion for composition, and any restrictivist should reject a number of related mereological theses. This paper critiques Lewis and van Inwagen (and others) on (...) their respective mereological metaphysics, and offers a Golden Mean between their two opposite extremes. I argue for a novel account of mereology I call Modal Mereology that is an alternative to Classical Mereology. A modal mereologist can be a universalist about the possible composition of wholes from parts and a restrictivist about the actual composition of wholes from parts. I argue that puzzles facing Modal Mereology (e.g., puzzles concerning Cambridge changes and the Problem of the Many, and how to demarcate the actual from the possible) are also faced in similar forms by classical universalists. On my account, restricted composition is rather motivated by and occurs due to a possible whole’s instantiating an actual type. Universalists commonly believe in such types and defend their existence from objections and puzzles. The Modal Mereological restrictivist can similarly defend the existence of such types (adding that such types are the only wholes) from similar objections and puzzles. (shrink)

Unrestricted Composition (UC) is, roughly, the claim that given any objects at all, there is something which those objects compose. (UC) conflicts in an obvious way with common sense. It has as a consequence, for instance, that there is something which has as parts my nose and the moon. One of the more influential arguments for (UC) is Theodore Sider’s version of the Argument from Vagueness. (A version of the Argument from Vagueness was first presented by David Lewis (1986), pp. (...) 212–213). That argument purports to show that some plausible claims concerning the nature of vagueness entail (UC). In this paper I will suggest a response to this argument. I will show that the proponent of Supersubstantivalism (SS)—the view that material objects are identical to regions of spacetime—can reject a premise of Sider’s argument without denying the plausible claims concerning vagueness. Doing so requires only rejecting a certain view concerning the relationship between the proper sub-region relation and the proper parthood relation. So, proponents of (SS) are in a better position than many of us to side with common sense regarding composition. In the first section of the paper, I will present Sider’s argument. In the second section, I will introduce (SS) and briefly discuss some reasons one might have to believe that it is true. In the third section, I will show how the proponent of (SS) can avoid commitment to (UC) and reject a premise of Sider’s argument. Last, I’ll briefly consider and respond to some objections. (shrink)

Don Marquis’s “future-like-ours” argument against the moral permissibility of abortion is widely considered the strongest anti-abortion argument in the philosophical literature. In this paper, I address the issue of whether the argument relies upon controversial metaphysical premises. It is widely thought that future-like-ours argument indeed relies upon controversial metaphysics, in that it must reject the psychological theory of personal identity. I argue that that thought is mistaken—the future-like-ours argument does not depend upon the rejection of such a theory. I suggest, (...) however, that given a widely-accepted view about contraception and abstinence, the argument is committed to contentious metaphysics after all, as it relies upon a highly controversial assumption about mereology. This commitment is not only relevant for those who are inclined to endorse the argument but reject the mereological view in question, but in addition entails dialectical and epistemological liabilities for the argument, which on some views will be fatal to the argument’s overall success. (shrink)

The method of Conceptual Analysis makes use of natural language speaker intuitions about the meanings of expressions, and relies on an externalist assumption about meanings—namely, that they can be given in terms of referential relations and truth. This article argues that this widely used methodology in metaphysics is troubled, because the assumed externalist hypothesis about natural language meanings is beset with trenchant obstacles in explaining linguistic phenomena. It argues that the use of Conceptual Analysis in metaphysical investigation inherits the difficulties (...) for the externalist hypothesis generally assumed by metaphysical inquiry. It explores two cases of such investigation that serve to exemplify the breadth of topics susceptible to troubles with the externalist hypothesis regarding natural language meanings: the extended mind hypothesis and the metaphysics of causation. (shrink)

A standard conception of metaphysical modality accepts that Some de re modal claims are true, These should be understood in terms of a possible worlds semantics, and There is trans-world identity. For instance, it seems true that Humphrey could have won the election. In possible worlds speak, we say that there exists a possible world where Humphrey wins the election. Furthermore, had that possibility been actualized instead of this one, Humphrey—our Humphrey, the very same man—would still have existed. Here, I (...) argue that this way of understanding de re modal claims, in conjunction with certain other plausible assumptions, entails that The World is a necessary being. (shrink)

The problem of complexity is considered within the framework of concepts developed in recent studies in the philosophy of chemistry. According to previously expressed ideas about diminishing interactions (Vančik, 1999), as well as on the basis of the concept of levels of complexity, we speculate here that the complexity should approach its final limit. On the other hand, dynamical complexity may grow ad infinitum, and relativistic effects can only limit it. Impacts of these considerations on a possible change of actual (...) paradigm of cosmology, especially on the anthropic principle, are also discussed. (shrink)

Whether certain objects compose a whole at a given time does not seem to depend on anything other than the character of those objects and the relations between them. This observation suggests a far-reaching constraint on theories of composition. One version of the constraint has been explicitly adopted by van Inwagen and rules out his own answer to the composition question. The constraint also rules out the other well-known moderate answers that have so far been proposed.