A.J. Cotnoir has argued that we should distinguish between two notions of proper parthood: outstripped part and non-identical part. Outstripped parthood is an asymmetric relation, but non-identical parthood is not. We argue, first, that the intuitions Cotnoir uses to motivate these notions do not always give the right verdict; and, second, that systematic reasons for distinguishing these two notions of parthood have further counter-intuitive consequences. This means the distinction between two notions of proper parthood currently lacks adequate motivation.

En el presente artículo se muestra que en la cosmología cartesiana no resulta claro cómo se puede hablar o referir a cuerpos individuales en el marco de un universo absolutamente compacto. Se defiende que el concepto de cuerpo individual en el interior de dicha cosmología se puede construir como una ficción del espíritu. Un cuerpo individual se puede construir como la extensión que se encuentra encerrada en una superficie maximal cuyas subdivisiones carecen de movimiento relativo entre sí. Se muestra, también, (...) que la cosmología cartesiana puede presentarse como un modelo trivial de la Teoría M. (shrink)

Noneism a is form of Meinongianism, proposed by Richard Routley and developed and improved by Graham Priest in his widely discussed book Towards Non-Being. Priest's noneism is based upon the double move of building a worlds semantics including impossible worlds, besides possible ones, and admitting a new comprehension principle for objects, differerent from the ones proposed in other kinds of neo-Meinongian theories, such as Parsons' and Zalta's. The new principle has no restrictions on the sets of properties that can deliver (...) objects, but parameterizes the having of properties by objects to worlds. Modality is therefore explicitly built in - so the approach can be conveniently labeled as "modal noneism". In this paper, I put modal noneism to work by testing it against classical issues in modal logic and semantics. It turns out that - perhaps surprisingly - the theory performs well in problems of transworld identity, which are frequently considered to be the difficult ones in the literature; faces a limitation, albeit not a severe one, when one comes to transworld individuation, which is often taken as an easy issue, if not a pseudo-problem; and may stumble upon a real trouble when dealing with what I shall call 'extensionally indiscernible entities' - particular nonexistent objects modal noneism is committed to. (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)

(No abstract is available for this citation).

(No abstract is available for this citation).

Ned Markosian argues (Australasian Journal of Philosophy 76:213-228, 1998a; Australasian Journal of Philosophy 82:332-340, 2004a, The Monist 87:405-428, 2004b) that simples are ‘maximally continuous’ entities. This leads him to conclude that there could be non-particular ‘stuff’ in addition to things. I first show how an ensuing debate on this issue McDaniel (Australasian Journal of Philosophy 81(2):265-275, 2003); Markosian (Australasian Journal of Philosophy 82:332-340, 2004a) ended in deadlock. I attempt to break the deadlock. Markosian’s view entails stuff-thing coincidence, which I show (...) is just as problematic as the more oft-discussed thing-thing coincidence. Also, the view entails that every particular is only contingently so. If there is a world W like our own, but with ether, then there would be only one object in W. But, since merely adding ether to a world does not destroy the entities in it, then W contains counterparts of all the entities in the actual world—they just are not things. Hence, if simples are maximally continuous, then every actual particular is only contingently so. This in turn entails the following disjunction: (i) identity is contingent or intransitive, or (ii) there are no things at all in the actual world, or (iii) the distinction between stuff and things is one without a difference. I recommend that we reject this stuff-thing dualism. (shrink)

The idea that two objects can coincide—by sharing all their proper parts, or matter—yet be non-identical, results in the “Problem of Coincident Objects”: in what relation do objects stand if they are not identical but share all their proper parts? One solution is to introduce material constitution. In this paper, I argue that this is ad hoc since, first, this solution cannot be generalized to solve similar problems, and, second, there are pseudo cases of coincidence that should not trigger the (...) introduction of material constitution and these cannot be distinguished in any principled way from the allegedly real cases of coincidence. (shrink)

I am now typing on a computer I bought two years ago. The computer I bought is identical to the computer on which I type. My computer persists over time. Let us divide our subject matter in two. There is first the question of criteria of identity, the conditions governing when an object of a certain kind, a computer for instance, persists until some later time. There are secondly very general questions about the nature of persistence itself. Here I include (...) the question of temporal parts, as well as certain familiar paradoxes (e.g., the statue and the lump). Following John Perry (1975, Introduction), let us characterize a criterion of identity over time for F s as a way of filling in φ in the following schema: Stages S1 and S2 belong to some continuing F iff φ Defenders of temporal parts (see below) regard S1 and S2 as being temporal parts of the continuing F ; others regard S1 and S2 as different stages in the life history of the continuing F . Thus each camp can make use of Perry’s formula. It is traditional to divide such criteria into those governing persons and those governing anything else. It is further traditional to say that the criterion of identity over time for non-persons involves spatiotemporal continuity. An excellent discussion is Eli Hirsch’s The Concept of Identity1, which utilizes the notion of continuity under a sortal. Kind-terms, or sortals, are terms that specify what kind of or sort of thing an object is. Examples include ‘tree’, ‘car’, and ‘mountain’. Where F is a sortal, Hirsch’s analysis is roughly that stages belong to the same F iff they are connected by a spatiotemporally and qualitatively continuous sequence of F -stages. Unmodified, this analysis prohibits temporally discontinuous entities, such as a watch that is taken apart and then reassembled. Hirsch discusses the necessary modifications. Spatiotemporal continuity analyses face a problem when applied to the persistence of matter. The literature here has been dominated by discussion of examples provided by David Armstrong (1980) and Saul Kripke (unpublished.... (shrink)

Michael Jubien’s Ontology, Modality, and the Fallacy of Reference is an interesting and lively discussion of those three topics. In ontology, Jubien defends, to a first approximation, a Quinean conception: a world of objects that may be arbitrarily sliced or summed. Slicing yields temporal parts; summing yields aggregates, or fusions. Jubien is very unQuinean in his explicit Platonism regarding properties and propositions, but concerns about abstracta are peripheral to much of the argumentation in the book.1 His version of the doctrine (...) that arbitrary mereological sums exist is nonstandard in that he views it as a convention (albeit a useful one) that we treat sums of objects as themselves being objects. Indeed, he views the concept of objecthood itself as being conventional. The world consists fundamentally of stuff, which we divide into things in any way that suits our purposes. In modality, Jubien’s views are to a first approximation Chisholmian: he holds the doctrine of mereological essentialism, according to which anything.. (shrink)

Core principles of mereology have been questioned by appealing to time travel scenarios. This paper questions the methodology of employing time travel scenarios to argue against mereology. We show some time travel scenarios are structurally equivalent to more standard ones not involving time travel; and that the three main theories about persistence through time can each solve both the time travel scenario as well as the structurally similar classical scenario. Time travel scenarios that are not similar to more standard arguments (...) are instead problematic because they are open to different, incompatible interpretations. We conclude that compared to the classical arguments against mereological principles, time travel scenarios do not add anything new. (shrink)

This paper argues for including stuff in one's ontology. The distinction between things and stuff is first clarified, and then three different ontologies of the physical universe are spelled out: a pure thing ontology, a pure stuff ontology, and a mixed ontology of both things and stuff. Eleven different reasons for including stuff in one's ontology are given. Then five objections to positing stuff are considered and rejected.

From time to time, the idea that enduring things can change has been challenged. The latest challenge has come in the form of what David Lewis has called a “decisive objection”, which claims to deduce a contradiction from the idea that enduring things change with respect to their temporary intrinsics, when that idea is combined with eternalism. It is my aim in this paper to explain why I think that no argument has yet appeared that deduces a contradiction from a (...) combination of eternalism and the idea that enduring things change with respect to their temporary intrinsics, except ones that do so by committing scope fallacies. (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.

It is common for philosophers to offer philosophical accounts or analyses, as they are sometimes called, of knowledge, autonomy, representation, (moral) goodness, reference, and even modesty. These philosophical analyses raise deep questions.What is it that is being analyzed (i.e. what sorts of things are the objects of analysis)? What sort of thing is the analysis itself (a proposition? sentence?)? Under what conditions is an analysis correct? How can a correct analysis be informative? How, if at all, does the production of (...) philosophical analyses differ from what scientists do? The purpose of the present paper is to provide answers to these questions. (shrink)

The problem of the source of necessity is the problem of explaining what makes necessary truths necessarily true. Simon Blackburn has presented a dilemma intended to show that any reductive, realist account of the source of necessity is bound to fail. Although Blackburn's dilemma faces serious problems, reflection on the form of explanations of necessities reveals that a revised dilemma succeeds in defeating any reductive account of the source of necessity. The lesson is that necessity is metaphysically primitive and irreducible.

This paper defends a deflationary conception of properties, according to which a property exists if and only if there could be a predicate with appropriate satisfaction conditions. I argue that purely general properties and relations necessarily exist and discuss the bearing of this conception of properties on the interpretation of higher-order logic and on Quine's charge that higher-order logic is ‘set theory in sheep's clothing’. On my approach, the usual semantics involves a false assimilation of the logic to set theory. (...) I conclude with remarks about implications for the programme of founding mathematical theories in higher-order logic plus abstraction principles. (shrink)

We are confident of many of the judgements we make as to what sorts of alterations the members of nature's kinds can survive, and what sorts of events mark the ends of their existences. But is our confidence based on empirical observation of nature's kinds and their members? Conventionalists deny that we can learn empirically which properties are essential to the members of nature's kinds. Judgements of sameness in kind between members, and of numerical sameness of a member across time, (...) merely project our conventions of individuation. Our confidence is warranted because apart from those conventions there are no phenomena of kind-sameness or of numerical sameness across time. There is just 'stuff' displaying properties. This paper argues that conventionalists can assign no properties to the 'stuff' beyond immediate phenomenal properties. Consequently they cannot explain how each of us comes to be able to wield 'our conventions'. (shrink)

If you are a realist about groups there are three main theories of what to identify groups with. I offer reasons for thinking that two of those theories fail to meet important desiderata. The third option is to identify groups with sets, which meets all of the desiderata if only we take care over which sets they are identified with. I then canvass some possible objections to that third theory, and explain how to avoid them.

The slogan “the whole is nothing over and above the parts” and related vague thoughts animate many theories of parthood and arguably are central to our ordinary conception. I examine some issues connected with this slogan.

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

We think of a boundary whenever we think of an entity demarcated from its surroundings. There is a boundary (a line) separating Maryland and Pennsylvania. There is a boundary (a circle) isolating the interior of a disc from its exterior. There is a boundary (a surface) enclosing the bulk of this apple. Sometimes the exact location of a boundary is unclear or otherwise controversial (as when you try to trace out the margins of Mount Everest, or even the boundary of (...) your own body). Sometimes the boundary lies skew to any physical discontinuity or qualitative differentiation (as with the border of Wyoming, or the boundary between the upper and lower halves of a homogeneous sphere). But whether sharp or blurry, natural or artificial, for every object there appears to be a boundary that marks it off from the rest of the world. Events, too, have boundaries — at least temporal boundaries. Our lives are bounded by our births and by our deaths; the soccer game began at 3pm sharp and ended with the referee's final whistle at 4:45pm. It is sometimes suggested that even abstract entities, such as concepts or sets, have boundaries of their own, and Wittgenstein could emphatically proclaim that the boundaries of our language are the boundaries of our world. Whether all this boundary talk is coherent, however, and whether it reflects the structure of the world or simply the organizing activity of our mind, are matters of deep philosophical controversy. (shrink)

Traditionally, this puzzle has been solved in various ways. Aristotle, for example, distinguished between “accidental” and “essential” changes. Accidental changes are ones that don't result in a change in an objects' identity after the change, such as when a house is painted, or one's hair turns gray, etc. Aristotle thought of these as changes in the accidental properties of a thing. Essential changes, by contrast, are those which don't preserve the identity of the object when it changes, such as when (...) a house burns to the ground and becomes ashes, or when someone dies. Armed with these distinctions, Aristotle would then say that, in the case of accidental changes, (1) and (2) are both false—a changing thing can really change one of its “accidental properties” and yet literally remain one and the same thing before and after the change. (shrink)

This book is about whether reference to an individual is the essential feature of a proper name -- a widely held view -- or whether referring to an individual is simply a contingent feature. Three questions need resolving, then. First, whether all names in particular contexts are themselves referring devices. Second, whether recognizing names types and the consequent issue of their ambiguity can be resolved simply by distinguishing between name types and tokens thereof. Last, whether names are ever referential in (...) the way Kripke and others have convincingly argued. The answer to first two questions is negative. The answer to third is a qualified "yes." I explain the theory that allows for these answers in the manuscript, as well as addressing other issues such as: the problem of fictional names; descriptive names; empty names; what an act of naming consists of; an account of ontological commitment; and the data that suggests that names are predicates. (shrink)

My starting point is that discussions in philosophy about the ontology of technical artifacts ought to be informed by classificatory practices in engineering. Hence, the heuristic value of the natural-artificial distinction in engineering counts against arguments which favour abandoning the distinction in metaphysics. In this chapter, I present the philosophical equipment needed to analyse classificatory practices and then present a case study of engineering practice using these theoretical tools. More in particular, I make use of the Collectivist Account of Technical (...) Artifacts (CAT) according to which there are different classificatory practices for natural, artificial, and social objects. I demonstrate that in the community studied, artificial kinds are marked by distinctive classificatory practices. The presence of these distinctive classificatory practices in engineering with regard to artificial kinds should inform discussions about the ontology of technical artifacts just as the distinctive classificatory practices in natural science inform discussions about natural kinds. (shrink)