In the course of the discussion, Professor Quine pinpoints the difficulties involved in translation, brings to light the anomalies and conflicts implicit in our ...

I argue that the conjunction of perdurantism (the view that objects are temporally extended) and universalism (the thesis that any old class of things has a mereological fusion) gives rise to undesired complications when combined with certain plausible assumptions concerning the semantics of tensed statements.

1. Many philosophers think that “What is identity across time?” is an important and meaningful question. I have a great deal of trouble seeing what this question might be. But, very often, if one cannot understand a philosophical question, one’s best course is to look at some alleged answers to it; sometimes these answers enable one to see what question it is that they are offered as answers to. The following passage by Michael Tooley is supposed to provide an answer (...) to the question we are trying to get at. (shrink)

The paper presents a new method for generating typologies of formal-ontological relations. The guiding idea is that formal relations are those sorts of relations which hold between entities which are constituents of distinct ontologies. We provide examples of ontologies (in the spirit of Zemach’s classic “Four Ontologies” of 1970), and show how these can be used to give a rich typology of formal relations in a way which also throws light on the opposition between threeand four-dimensionalism.

Persistence through time is like extension through space. A road has spatial parts in the subregions of the region of space it occupies; likewise, an object that exists in time has temporal parts in the various subregions of the total region of time it occupies. This view — known variously as four dimensionalism, the doctrine of temporal parts, and the theory that objects “perdure” — is opposed to “three dimensionalism”, the doctrine that things “endure”, or are “wholly present”.1 I will (...) attempt to resolve this dispute in favor of four dimensionalism by means of a novel argument based on considerations of vagueness. But before argument in this area can be productive, I believe we must become much clearer than is customary about exactly what the dispute is, for the usual ways of formulating the dispute are flawed, especially where three dimensionalism is concerned. (shrink)

It seems evident that things sometimes get bigger by acquiring new parts. But there is an ancient argument purporting to show that this is impossible: the paradox of increase or growing argument.i Here is a sketch of the paradox. Suppose we have an object, A, and we want to make it bigger by adding a part, B. That is, we want to bring it about that A first lacks and then has B as a part. Imagine, then, that we conjoin (...) B to A in some appropriate way. Never mind what A and B are, or what this conjoining amounts to: let A be anything that can gain a part if anything can gain a part, and let B be the sort of thing that can become a part of A, and suppose we do whatever it would take to make B come to be a part of A if this is possible at all. Have we thereby made B a part of A? It seems not. We seem only to have brought it about that B is attached to A, like this. (shrink)

The paradox of increase in an ancient argument purporting to show that nothing can grow by acquiring new parts. If it is sound, similar reasoning leads to the more general conclusion that nothing can ever change its parts. After discussing the implicationsof this principle, the paper lays out the paradox in a way that reveals the premises that figure in it. It emerges that the paradox has no easy solution, and can be resisted only by taking on one of five (...) serious metaphysical commitments. (shrink)

How do things persist? Are material objects spread out through time just as they are spread out through space? Or is temporal persistence quite different from spatial extension? This key question lies at the heart of any metaphysical exploration of the material world, and it plays a crucial part in debates about personal identity and survival. This book explores and compares three theories of persistence — endurance, perdurance, and stage theories — investigating the ways in which they attempt to account (...) for the world around us. Having provided valuable clarification of its two main rivals, the book concludes by advocating stage theory. Such a basic issue about the nature of the physical world naturally has close ties with other central philosophical problems. This book includes discussions of change and parthood, of how we refer to material objects at different times, of the doctrine of Humean supervenience, and of the modal features of material things. In particular, it contains new accounts of the nature of worldly vagueness, and of what binds material things together over time, distinguishing the career of a natural object from an arbitrary sequence of events. Each chapter concludes with a reflection about the impact of these metaphysical debates upon questions about our personal identity and survival. (shrink)

A systematic overview of modern metaphysics, A Survey of Metaphysics covers all of the most important topics in the field. It adopts the fairly traditional conception of metaphysics as a subject that deals with the deepest questions that can be raised concerning the fundamental structure of reality as a whole. The book is divided into six main sections that address the following themes: identity and change, necessity and essence, causation, agency and events, space and time, and universals and particulars. It (...) focuses on contemporary views and issues throughout, rather than on the history of metaphysics. (shrink)

Recent work in formal philosophy has concentrated over-whelmingly on the logical problems pertaining to epistemic shortfall - which is to say on the various ways in which partial and sometimes incorrect information may be stored and processed. A directly depicting language, in contrast, would reflect a condition of epistemic perfection. It would enable us to construct representations not of our knowledge but of the structures of reality itself, in much the way that chemical diagrams allow the representation (at a certain (...) level of abstractness) of the structures of molecules of different sorts. A diagram of such a language would be true if that which it sets out to depict exists in reality, i.e. if the structural relations between the names (and other bits and pieces in the diagram) map structural relations among the corresponding objects in the world. Otherwise it would be false. All of this should, of course, be perfectly familiar. (See, for example, Aristotle, Metaphysics, 1027 b 22, 1051 b 32ff.) The present paper seeks to go further than its predecessors, however, in offering a detailed account of the syntax of a working universal characteristic and of the ways in which it might be used. (shrink)

We have a variety of different ways of dividing up, classifying, mapping, sorting and listing the objects in reality. The theory of granular partitions presented here seeks to provide a general and unified basis for understanding such phenomena in formal terms that is more realistic than existing alternatives. Our theory has two orthogonal parts: the first is a theory of classification; it provides an account of partitions as cells and subcells; the second is a theory of reference or intentionality; it (...) provides an account of how cells and subcells relate to objects in reality. We define a notion of well-formedness for partitions, and we give an account of what it means for a partition to project onto objects in reality. We continue by classifying partitions along three axes: (a) in terms of the degree of correspondence between partition cells and objects in reality; (b) in terms of the degree to which a partition represents the mereological structure of the domain it is projected onto; and (c) in terms of the degree of completeness with which a partition represents this domain. (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)

Current approaches to formal representation in biomedicine are characterized by their focus on either the static or the dynamic aspects of biological reality. We here outline a theory that combines both perspectives and at the same time tackles the by no means trivial issue of their coherent integration. Our position is that a good ontology must be capable of accounting for reality both synchronically (as it exists at a time) and diachronically (as it unfolds through time), but that these are (...) two quite different tasks, whose simultaneous realization is by no means trivial. The paper is structured as follows. We begin by laying out the methodological and philosophical background of our approach. We then summarize the structure and elements of the Basic Formal Ontology on which it rests, in particular the SNAP ontology of objects and the SPAN ontology of processes. Finally, we apply the general framework to the specific domain of biomedicine. (shrink)