This book is a survey of the most important developments in Austrian philosophy in its classical period from the 1870s to the Anschluss in 1938. Thus it is intended as a contribution to the history of philosophy. But I hope that it will be seen also as a contribution to philosophy in its own right as an attempt to philosophize in the spirit of those, above all Roderick Chisholm, Rudolf Haller, Kevin Mulligan and Peter Simons, who have done so much (...) to demonstrate the continued fertility of the ideas and methods of the Austrian philosophers in our own day. For some time now, historians of philosophy have been gradually coming to terms with the idea that post-Kantian philosophy in the German-speaking world ought properly to be divided into two distinct traditions which we might refer to as the German and Austrian traditions, respectively. The main line of the first consists in a list of personages beginning with Kant, Fichte, Hegel and Schelling and ending with Heidegger, Adorno and Bloch. The main line of the second may be picked out similarly by means of a list beginning with Bolzano, Mach and Meinong, and ending with Wittgenstein, Neurath and Popper. As should be clear, it is the Austrian tradition that has contributed most to the contemporary mainstream of philosophical thinking in the Anglo-Saxon world. For while there are of course German thinkers who have made crucial contributions to the development of exact or analytic philosophy, such thinkers were outsiders when seen from the perspective of native German philosophical culture, and in fact a number of them found their philosophical home precisely in Vienna. When, in contrast, we examine the influence of the Austrian line, we encounter a whole series of familiar and unfamiliar links to the characteristic concerns of more recent philosophy of the analytic sort. As Michael Dummett points out in his Origins of Analytic Philosophy, the newly fashionable habit of referring to analytic philosophy as "Anglo-American" is in this light a "grave historical distortion". If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy "could at least as well be called "Anglo-Austrian" (1988, p. 7). Much valuable scholarly work has been done on the thinking of Husserl and Wittgenstein, Mach and the Vienna Circle. The central axis of Austrian philosophy, however, which as I hope to show in what follows is constituted by the work of Brentano and his school, is still rather poorly understood. Work on Meinong or Twardowski by contemporary philosophers still standardly rests upon simplified and often confused renderings of a few favoured theses taken out of context. Little attention is paid to original sources, and little effort is devoted to establishing what the problems were by which the Austrian philosophers in general were exercised -- in spite of the fact that many of these same problems have once more become important as a result of the contemporary burgeoning of interest on the part of philosophers in problems in the field of cognitive science. (shrink)

In this paper, we argue for a novel three-dimensionalist solution to the problem of persistence, i.e. cross-temporal identity. We restrict the discussion of persistence to simple substances, which do not have other substances as their parts. The account of simple substances employed in the paper is a trope-nominalist strong nuclear theory, which develops Peter Simons' trope nominalism. Regarding the distinction between three dimensionalism and four dimensionalism, we follow Michael Della Rocca's formulation, in which 3D explains persistence in virtue of same (...) entities and 4D in virtue of distinct entities. SNT is a 3D'ist position because it accounts for the persistence of simple substances in virtue of diachronically identical ‘nuclear’ tropes. The nuclear tropes of a simple substance are necessary for it and mutually rigidly dependent but distinct. SNT explains qualitative change by tropes that are contingent to a simple substance. We show that it avoids the standard problems of 3D: temporal relativization of ontic predication, Bradley's regress and coincidence, fission and fusion cases. The temporal relativization is avoided because of the analysis of temporary parts that SNT gives in terms of temporal sub-location, which is atemporal part–whole relation. (shrink)

The paper ends with an argument that says: necessarily, if there are finitely spatially extended particulars, then there are monadic universals. Before that, in order to characterize the distinction between particulars and universals, Roman Ingarden’s notions of existential moments and modes (ways) of being are presented, and a new pair of such existential moments is introduced: multiplicity–monadicity. Also, it is argued that there are not only real universals, but instances of universals (tropes) and fictional universals too.

Consider a circle and a pair of its semicircles. Which is prior, the whole or its parts? Are the semicircles dependent abstractions from their whole, or is the circle a derivative construction from its parts? Now in place of the circle consider the entire cosmos (the ultimate concrete whole), and in place of the pair of semicircles consider the myriad particles (the ultimate concrete parts). Which if either is ultimately prior, the one ultimate whole or its many ultimate parts?

In Elder-Vass’s response to my it is maintained: that a social object is not identical with but is merely composed of its suitably interrelated parts; that a social object is necessarily indistinguishable in terms of its causal capacities from its interrelated parts; and that ontological individualism lacks an adequate ontological justification. In this reply, I argue that in view of the so-called redescription principle defended by Elder-Vass ought to be reformulated and renamed; that the conjunction of and renders social objects (...) causally redundant; and that ontological individualism can be coherently formulated and theoretically justified within Elder-Vass’s own metaphysics of objects with causal powers. (shrink)

In Elder-Vass’s response to my critical discussion of his social ontology, it is maintained (1) that a social object is not identical with but is merely composed of its suitably interrelated parts, (2) that a social object is necessarily indistinguishable in terms of its causal capacities from its interrelated parts, and (3) that ontological individualism lacks an adequate ontological justification. In this reply, I argue that in view of (1) the so-called redescription principle defended by Elder-Vass ought to be reformulated (...) and renamed; that the conjunction of (1) and (2) renders social objects causally redundant; and that ontological individualism can be coherently formulated and theoretically justified within Elder-Vass’s own metaphysics of objects with causal powers. (shrink)

The surviving sources on the Stoic theory of division reveal that the Stoics, particularly Chrysippus, believed that bodies, places and times were such that all of their parts themselves had proper parts. That is, bodies, places and times were composed of gunk. This realisation helps solve some long-standing puzzles about the Stoic theory of mixture and the Stoic attitude to the present.

The notions of part and whole play an important role for ontology and in many areas of the semantics of natural language. Both in philosophy and linguistic semantics, usually a particular notion of part structure is used, that of extensional mereology. This paper argues that such a notion is insufficient for ontology and, especially, for the semantic analysis of the relevant constructions of natural language. What is needed for the notion of part structure, in addition to an ordering among parts, (...) is the notion of integrated whole. In the context of semantics, the notion of an integrated whole needs to be relativized to a situation, or so it is argued. (shrink)

Machine consciousness is not only a technological challenge, but a new way to approach scientific and theoretical issues which have not yet received a satisfactory solution from AI and robotics. We outline the foundations and the objectives of machine consciousness from the standpoint of building a conscious robot.

In "Does Four-Dimensionalism Explain Coincidence" Mark Moyer argues that there is no reason to prefer the four-dimensionalist (or perdurantist) explanation of coincidence to the three-dimensionalist (or endurantist) explanation. I argue that Moyer's formulations of perdurantism and endurantism lead him to overlook the perdurantist's advantage. A more satisfactory formulation of these views reveals a puzzle of coincidence that Moyer does not consider, and the perdurantist's treatment of this puzzle is clearly preferable.

Philosophical questions concerning parts and wholes have received a tremendous amount of the attention of contemporary analytic metaphysicians. In what follows, I discuss some of the central questions. The questions to be discussed are: how general is parthood? Are there different kinds of parthood or ways to be a part? Can two things be composed of the same parts? When does composition occur? Can material objects gain or lose parts? What is the logical form of the parthood relation enjoyed by (...) material objects? (shrink)

The project of a 'naive physics' has been the subject of attention in recent years above all in the artificial intelligence field, in connection with work on common-sense reasoning, perceptual representation and robotics. The idea of a theory of the common-sense world is however much older than this, having its roots not least in the work of phenomenologists and Gestalt psychologists such as K hler, Husserl, Schapp and Gibson. This paper seeks to show how contemporary naive physicists can profit from (...) a knowledge of these historical roots of their discipline, which are shown to imply above alla critique of the set-theory-based models of reality typically presupposed by contemporary work in common-sense ontology [1]. (shrink)

The aim of this paper is to elucidate the mereological structure of complex states of affairs without relying on the problematic notion of structural universals. For this task tools from graph theory, lattice theory, and the theory of relational systems are employed. Our starting point is the mereology of similarity structures. Since similarity structures are structured sets, their mereology can be considered as a generalization of the mereology of sets..

In this paper, I focus on three issues intertwined in current debates between endurantists and perdurantists—(i) the dimension of persisting objects, (ii) whether persisting objects have timeless, or only time-relative, parts, and (iii) whether persisting objects have proper temporal parts. I argue that one standard endurantist position on the first issue is compatible with standard perdurantist positions on parthood and temporal parts. I further argue that different accounts of persistence depend on the claims about objects' dimensions and not on the (...) auxiliary claims about parthood and temporal parts. (shrink)

In this paper, I argue against the claim recently defended by Josh Weisberg that a certain version of the self-representational approach to phenomenal consciousness cannot avoid a set of problems that have plagued higher-order approaches. These problems arise specifically for theories that allow for higher-order misrepresentation or—in the domain of self-representational theories—self-misrepresentation. In response to Weisberg, I articulate a self-representational theory of phenomenal consciousness according to which it is contingently impossible for self-representations tokened in the context of a conscious mental (...) state to misrepresent their objects. This contingent infallibility allows the theory to both acknowledge the (logical) possibility of self-misrepresentation and avoid the problems of self-misrepresentation. Expanding further on Weisberg’s work, I consider and reveal the shortcomings of three other self-representational models—put forward by Kreigel, Van Gulick, and Gennaro—in order to show that each indicates the need for this sort of infallibility. I then argue that contingent infallibility is in principle acceptable on naturalistic grounds only if we attribute (1) a neo-Fregean kind of directly referring, indexical content to self-representational mental states and (2) a certain ontological structure to the complex conscious mental states of which these indexical self-representations are a part. In these sections I draw on ideas from the work of Perry and Kaplan to articulate the context-dependent semantic structure of inner-representational states. (shrink)

Abstract: There is no such thing as ‘the’ hylemorphic account of personal identity. There are several views that count as hylemorphic, and these views can be grouped into two main families—the corruptionist view, and the survivalist view. The differentiating factor is that the corruptionist view holds that the persistence of the soul is not sufficient for the persistence of the person, while the survivalist view holds that the persistence of the soul is sufficient for the persistence of the person. In (...) this paper, I argue that hylemorphists should prefer the corruptionist view. This project ought to be of interest to anyone working on issues of personal identity, not only because hylemorphic views are historically important, but also because they are currently receiving significant attention in the personal identity literature. (shrink)

Monists about material constitution typically argue that when Statue is materially constituted by Clay, Statue is just Clay. Pluralists about material constitution deny that constitution is identity: Statue is not just Clay. When Clay materially constitutes Statue, Clay is not identical to Statue. I discuss three familiar puzzles involving grounding, overdetermination and conceptual issues, and develop three new puzzles stemming from the connection between mereological composition and material constitution: a mereological puzzle, an asymmetry puzzle, and a structural puzzle.

We discuss arguments against the thesis that the world itself can be vague. The first section of the paper distinguishes dialectically effective from ineffective arguments against metaphysical vagueness. The second section constructs an argument against metaphysical vagueness that promises to be of the dialectically effective sort: an argument against objects with vague parts. Firstly, cases of vague parthood commit one to cases of vague identity. But we argue that Evans' famous argument against will not on its own enable one to (...) complete the reductio in the present context. We provide a metaphysical premise that would complete the reductio, but note that it seems deniable. We conclude by drawing general morals from our case study. (shrink)

Abstract: There has recently been controversy over the existence of 'multiple realization' in addition to some confusion between different conceptions of its nature. To resolve these problems, we focus on concrete examples from the sciences to provide precise accounts of the scientific concepts of 'realization' and 'multiple realization' that have played key roles in recent debates in the philosophy of science and philosophy of psychology. We illustrate the advantages of our view over a prominent rival account ( Shapiro, 2000 and (...) 2004 ) and use our work to rebut recent objections to the long-standing claim that psychological properties are multiply realized. For we use scientific evidence, in combination with our more precise theoretical framework, to show that we have strong reason to believe that psychological properties are indeed multiply realized both at the biochemical and neuronal levels. (shrink)

Much attention has been given to the question of ontic vagueness, and the issues usually center around whether certain paradigmatically concrete entities – cats, clouds, mountains, etc. – are vague in the sense of having indeterminate spatial boundaries. In this paper, however, I wish to focus on a way in which some abstracta seem to be locationally vague. To begin, I will briefly cover some territory already covered regarding certain types of “traditional” abstracta and the ways they are currently alleged (...) to be vague. I then wish to discuss two types of “nontraditional” abstracta and the sense in which I think some of these objects are locationally vague. I will next reexamine some of the traditional abstracta and discuss whether any of these objects are locationally vague in the novel way suggested for the nontraditional sorts. I’ll finish by discussing objections, and conclude with some remarks about characterizing the abstract/concrete distinction. (shrink)

This article aims to provide a consistent explication of the doctrine of Divine Simplicity. To achieve this end, a re-construal of the doctrine is made within an “aspectival trope-theoretic” metaphysical framework, which will ultimately enable the doctrine to be elucidated in a consistent manner, and the Plantingian objections raised against it will be shown to be unproblematic.

While Darwin is commonly supposed to have demonstrated the inapplicability of the Aristotelian ontology of species to biological science, recent developments, especially in the wake of the Human Genome Project, have given rise to a new golden age of classification in which ontological ideas -- as for example in the Gene Ontology, the Cell Ontology, the Protein Ontology, and so forth -- are once again playing an important role. In regard to species, on the other hand, matters are more complex. (...) We provide a brief overview of recent proposals concerning the ontology of species, dealing with species as sets, classes and as collections, the views of Ernst Meyr, and mereological views. (shrink)

The literature on collective action largely ignores the constraints that moral principle places on action-prompting intentions. Here I suggest that neither individualism nor holism can account for the generality of intentional contents demanded by universalizability principles, respect for persons, or proactive altruism. Utilitarian and communitarian ethics are criticized for nominalism with respect to social intentions. The failure of individualism and holism as grounds for moral theory is confirmed by comparing Tuomela's reductivist analysis of we-intentions with Gilbert's analysis of social facts. (...) Tuomela's account founders over intentions to cooperate, and Gilbert's cannot accommodate legitimate authority, vicarious agency, or group structure. (shrink)

This paper argues that, in light of certain scenarios involving time travel, Sider’s definition of ‘instantaneous temporal part’ cannot be accepted in conjunction with a semantic thesis that perdurantists often assume. I examine a rejoinder from Sider, as well as Thomson’s alternative definition of ‘instantaneous temporal part’, and show how neither helps. Given this, we should give up on the perdurantist semantic thesis. I end by recommending that, once we no longer accept such semantics, we should accept a new set (...) of definitions, which are superior in certain respects to Sider’s original set. (shrink)

Friends of states of affairs and structural universals appeal to a relation, structure-making, that is allegedly a kind of composition relation: structure-making ?builds? facts out of particulars and universals, and ?builds? structural universals out of unstructured universals. D. M. Armstrong, an eminent champion of structures, endorses two interesting theses concerning composition. First, that structure-making is a composition relation. Second, that it is not the only (fundamental) composition relation: Armstrong also believes in a mode of composition that he calls mereological, and (...) which he takes to be the only kind of composition recognized by his philosophical adversaries, such as David Lewis. Armstrong, accordingly, is a kind of pluralist about compositional relations: there is more than one way to make wholes from parts. In this paper, I critically evaluate Armstrong's compositional pluralism. (shrink)

In the analysis of Anaxagoras’ physics in view of the relation between his teachings on multitude and heterogeneity, two central questions emerge: 1) How can the structure of the universe considered purely mereo-topologically help us explain that at the first cosmic stage no qualitative difference is manifest in spite of the fact that the entire qualitative heterogeneity is supposedly already present there? 2) How can heterogeneity become manifest at the second stage, resulting from the noûs intervention, if according to fragment (...) B 6 such a possibility requires the existence of “the smallest”, while according to the general principle stated in fragment B 3 there is not “the smallest” but always only “a smaller”? This paper showcases the perplexity of these two questions but deals only with the former. The answer follows from Anaxagoras’ being a thoroughgoing infinitist in the way in which no Greek physicist was: the principle of space isotropy operative in geometry is extended to physics as well. So any two parts of the original mixture are similar to each other not only in view of the smaller-larger relation but also because each contains everything that the other one contains. This in effect means that at the stage of maximal possible heterogeneity each part of any part contains infinitely many heterogeneous parts of any kind whatsoever. So, neither can there be homogeneous parts in view of any qualitative property, nor can there be predominance in quantity of parts of any kind that would make some property manifest. (shrink)

Aristotle holds that individual substances are ontologically independent from nonsubstances and universal substances but that non-substances and universal substances are ontologically dependent on substances. There is then an asymmetry between individual substances and other kinds of beings with respect to ontological dependence. Under what could plausibly be called the standard interpretation, the ontological independence ascribed to individual substances and denied of non-substances and universal substances is a capacity for independent existence. There is, however, a tension between this interpretation and the (...) asymmetry between individual substances and the other kinds of entities with respect to ontological independence. I will propose an alternative interpretation: to weaken the relevant notion of ontological independence from a capacity for independent existence to the independent possession of a certain ontological status. (shrink)

That parthood is a transitive relation is among the most basic principles of classical mereology. Alas, it is also very controversial. In a recent paper, Ingvar Johansson has put forward a novel diagnosis of the problem, along with a corresponding solution. The diagnosis is on the right track, I argue, but the solution is misleading. And once the pieces are properly put together, we end up with a reinforcement of the standard defense of transitivity on behalf of classical mereology.

The paper is a contribution to formal ontology. It seeks to use topological means in order to derive ontological laws pertaining to the boundaries and interiors of wholes, to relations of contact and connectedness, to the concepts of surface, point, neighbourhood, and so on. The basis of the theory is mereology, the formal theory of part and whole, a theory which is shown to have a number of advantages, for ontological purposes, over standard treatments of topology in set-theoretic terms. One (...) central goal of the paper is to provide a rigorous formulation of Brentano's thesis to the effect that a boundary can exist as a matter of necessity only as part of a whole of higher dimension which it is the boundary of. It concludes with a brief survey of current applications of mereotopology in areas such as natural-language analysis, geographic information systems, machine vision, naive physics, and database and knowledge engineering. (shrink)

This paper is concerned with certain ontological issues in the foundations of geographic representation. It sets out what these basic issues are, describes the tools needed to deal with them, and draws some implications for a general theory of spatial representation. Our approach has ramifications in the domains of mereology, topology, and the theory of location, and the question of the interaction of these three domains within a unified spatial representation theory is addressed. In the final part we also consider (...) the idea of non-standard geographies, which may be associated with geography under a classical conception in the same sense in which non-standard logics are associated with classical logic. (shrink)

Relevance logic has become ontologically fertile. No longer is the idea of relevance restricted in its application to purely logical relations among propositions, for as Dunn has shown in his (1987), it is possible to extend the idea in such a way that we can distinguish also between relevant and irrelevant predications, as for example between “Reagan is tall” and “Reagan is such that Socrates is wise”. Dunn shows that we can exploit certain special properties of identity within the context (...) of standard relevance logic in a way which allows us to discriminate further between relevant and irrelevant properties, as also between relevant and irrelevant relations. The idea yields a family of ontologically interesting results concerning the different ways in which attributes and objects may hang together. Because of certain notorious peculiarities of relevance logic, however,1 Dunn’s idea breaks down where the attempt is made to have it bear fruit in application to relations among entities which are of homogeneous type. (shrink)

The analytical philosophy of the last hundred years has been heavily influenced by a doctrine to the effect that the key to the correct understanding of reality is captured syntactically in the ‘Fa’ (or, in more sophisticated versions, in the ‘Rab’) of standard first order predicate logic. Here ‘F’ stands for what is general in reality and ‘a’ for what is individual. Hence “f(a)ntology”. Because predicate logic has exactly two syntactically different kinds of referring expressions—‘F’, ‘G’, ‘R’, etc., and ‘a’, (...) ‘b’, ‘c’, etc.—so reality must consist of exactly two correspondingly different kinds of entity: the general (properties, concepts) and the particular (things, objects). We describe the historical influence of this view, and also show how standard first-order predicate logic can be used for the logical formalization of a more adequate “six category ontology”, which recognizes, at the level of both particulars and universals, not only things or objects but also events and qualities. (shrink)

Many friends of the category of particularised qualities subscribe to the view that particularised qualities have a unique bearer in which they inhere; no such quality then can inhere in two different entities. But it seems that this idea is flawed, for there are apparent counterexamples. An apple’s redness is identical with the redness of its skin, though the apple is distinct from its skin. So it seems that a principle of beareruniqueness has to be modified, maybe by excluding certain (...) unwanted cases. (shrink)

Particularists in material-object metaphysics hold that our intuitive judgments about which kinds of things there are and are not are largely correct. One common argument against particularism is the argument from arbitrariness, which turns on the claim that there is no ontologically significant difference between certain of the familiar kinds that we intuitively judge to exist (snowballs, islands, statues, solar systems) and certain of the strange kinds that we intuitively judge not to exist (snowdiscalls, incars, gollyswoggles, the fusion of the (...) my nose and the Eiffel Tower). Particularists frequently respond by conceding that there is no ontologically significant difference and embracing some sort of deflationary metaontology (relativism, constructivism, quantifier variance). I show -- by identifying ontologically significant differences -- that the argument can be resisted without retreating to any sort of deflationary metaontology. (shrink)

Vere Chappell has pointed out that it is not clear whether Locke has a well-developed ontology or even whether he is entitled to have one.2 Nevertheless, it is clear that Locke believes that there are organisms, and it is clear that he thinks that there are substances. But does he believe that organisms are substances? There are certainly parts of the Essay in which Locke seems unequivocally to state that organisms are substances. For instance, in 2.23.3 Locke uses men and (...) horses as examples of substances. In Locke’s most explicit the account of abstraction, given in 3.3.7-9, organism [vivens] is treated as a sub-species of body and body as a sub-species of substance; so, by transitivity, organism is a kind of substance. Finally, in his discussion of essences in 3.6, Locke uses all of the following organisms as examples of substances: horses, mules, men, sheep, goats, plants, drills, changelings, asses, bulls, cats, and rats. This textual evidence would seem to settle the matter about the ontological status of organisms. However, there are other parts of the Essay in which the ontological status of organisms is less clear, to say the least. In fact, there are texts in which Locke seems to state (or at least to be committed to the.. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist terms. (...) In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

We presuppose a position of scientific realism to the effect (i) that the world exists and (ii) that through the working out of ever more sophisticated theories our scientific picture of reality will approximate ever more closely to the world as it really is. Against this background consider, now, the following question: 1. Do the empirical theories with the help of which we seek to approximate a good or true picture of reality rest on any non-empirical presuppositions? One can answer (...) this question with either a 'yes' or a 'no'. 'No' is the preferred answer of most contemporary methodologists -- Murray Rothbard is one distinguished counterexample to this trend -- who maintain that empirical theories are completely free of non-empirical ('a priori') admixtures and who see science as a matter of the gathering of pure 'data' obtained through simple observation. From such data scientific propositions are then supposed to be somehow capable of being established. (shrink)

Common sense is on the one hand a certain set of processes of natural cognition - of speaking, reasoning, seeing, and so on. On the other hand common sense is a system of beliefs (of folk physics, folk psychology and so on). Over against both of these is the world of common sense, the world of objects to which the processes of natural cognition and the corresponding belief-contents standardly relate. What are the structures of this world? How does the scientific (...) treatment of this world relate to traditional and contemporary metaphysics and formal ontology? Can we embrace a thesis of common-sense realism to the effect that the world of common sense exists uniquely? Or must we adopt instead a position of cultural relativism which would assign distinct worlds of common sense to each group and epoch? The present paper draws on recent work in computer science (especially in the fields of naive and qualitative physics), in perceptual and developmental psychology, and in cognitive anthropology, in order to consider in a new light these and related questions and to draw conclusions for the methodology and philosophical foundations of the cognitive sciences. (shrink)

We can see mereology as a theory of parthood and topology as a theory of wholeness. How can these be combined to obtain a unified theory of parts and wholes? This paper examines various non-equivalent ways of pursuing this task, with specific reference to its relevance to spatio-temporal reasoning. In particular, three main strategies are compared: (i) mereology and topology as two independent (though mutually related) chapters; (ii) mereology as a general theory subsuming topology; (iii) topology as a general theory (...) subsuming mereology. Some more speculative strategies and directions for further research are also considered. (shrink)

Mereotopology is today regarded as a major tool for ontological analysis, and for many good reasons. There are, however, a number of open questions that call for an answer. Some are philosophical, others have direct applicative import, but all are crucial for a proper assessment of the strengths and limits of mereotopology. This paper is an attempt to put sum order in this area.

Existing puzzles about coinciding objects can be divided into two types, corresponding to the manner in which they bear upon the endurantism v. perdurantism debate. Puzzles of the first type, which involve temporary spatial co-location, can be solved simply by abandoning endurantism in favor of perdurantism, whereas those of the second type, which involve career-long spatial co-location, remain equally puzzling on both views. I show that the possibility of backward time travel would give rise to a new type of puzzle. (...) The new puzzles confront perdurantists and can be solved just by shifting to endurantism. (shrink)

A radical metaphysical theory typically comes packaged with a semantic theory that reconciles those radical claims with common sense. The metaphysical theory says what things exist and what their natures are, while the semantic theory specifies, in terms of these things, how we are to interpret everyday language. Thus may we “think with the learned, and speak with the vulgar.” This semantic accommodation of common sense, however, can end up undermining the very theory it is designed to protect. This paper (...) is a case study, showing in detail how one popular version of temporal parts theory is self-undermining. This raises the specter that the problem generalizes to other metaphysical theories. (shrink)

This paper brings together two theories that I have propounded separately elsewhere. The first is the view that concrete individuals are constituted completely by tropes, that they are trope bundles. The second and more recently developed theory is that of the two major categories of concrete individuals, continuants and occurrents, the latter are ontologically more basic than the former and that continuants are to be viewed as invariants among occurrents under equivalence relations. The latter theory embodies on its own an (...) account of the nature of identity through time of things that are in time but not extended in time. The question is whether this view is compatible with the trope bundle account of concrete particulars, and, assuming it is (both theories being separately attractive) whether bringing them together entails any modifications (other than complexity) to either theory. After examining likely metaphysical difficulties the tentative conclusion is that the attractiveness of the trope bundle theory persists despite the marriage, but that the mental picture of what tropes and trope bundles are must be overhauled. (shrink)

It is often said by philosophers that the term ‘the universe’ is illegitimate, whether because the notion of ‘all things’ is incoherent, or inconsistent, or cannot even be meaningfully expressed. The reasons may be drawn from metaphysics, or logic, or the philosophy of language, or the philosophy of mathematics. In this essay I argue that the term is legitimate, withstanding all criticisms, and that there is a single best meaning for it, which is that it is a semantically plural term (...) standing equally for every existing object. ‘Forty‐two’, said Deep Thought, with infinite majesty and calm. (Douglas Adams, The Hitch‐Hiker's Guide to the Galaxy). (shrink)

There will be a few themes. One to get us going: expansion versus contraction. About an object, o, and the region, R, of space(time) in which o is exactly located,1 we may ask: i) must there exist expansions of o: objects in filled superregions2 of R? ii) must there exist contractions of o: objects in filled subregions of..

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).