Although the relationship of part to whole is one of the most fundamental there is, this is the first full-length study of this key concept. Showing that mereology, or the formal theory of part and whole, is essential to ontology, Simons surveys and critiques previous theories--especially the standard extensional view--and proposes a new account that encompasses both temporal and modal considerations. Simons's revised theory not only allows him to offer fresh solutions to long-standing problems, but also has far-reaching consequences for (...) our understanding of a host of classical philosophical concepts. (shrink)

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)

The correspondence theory of truth is often thought to be supported by the intuition that if a proposition (sentence, belief) is true, then something makes it true. I argue that this appearance is illusory and is sustained only by a conflation of two distinct notions of truthmaking, existential and non-existential. Once the conflation is exposed, I maintain, deflationism is seen to be adequate for accommodating truthmaking intuitions.

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)

The book contains the first systematic study of the ontology and metaphysics of Gustav Bergmann, tracing their development from early (1940s) criticisms of Carnap's semantical theories in Introduction to Semantics, to their culmination in his 1992 New Foundations of Ontology. This involves a detailed study of the implicit metaphysical doctrines in Carnap's important, but long neglected, 1942 book and their connection to his influential views on reference, truth and modality, (including, contrary to current opinion, Carnap's initiating the development of predicate (...) modal logic) that culminated in Meaning and Necessity. In dealing with various fundamental issues in ontology and metaphysics, the book discusses relevant views of major philosophers, such as Russell, Moore, Bradley, Wittgenstein, Meinong, Brentano, Husserl, Broad, McTaggart, and Quine, and of contemporary and recent figures, including D. M. Armstrong, D. Lewis, S. Kripke, J. Searle, W. Sellars, D. Davidson, J. J. C. Smart, and H. Feigl. Building on the critical studies of Bergmann, Carnap and such other philosophers, the author argues for a form of Logical Realism derived from important, but long misunderstood and ignored, aspects of Russell's theories of descriptions, reference and truth. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...) for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

In many of his logical writings, G. W. Leibniz makes use of two kinds of symbols : while A, B, C, . . . stand for certain determinate or definite concepts, X, Y, Z, . . . are referred to as "indefinite concepts". We investigate the various rôles played by these variables and show i) that their most important function consists in serving as quantifiers ; ii) that Leibniz's elliptic representation of the quantifiers by means of two sorts of „indefinite (...) concepts” leads to certain difficulties; iii) that despite these problems Leibniz anticipated the most fundamental logical principles for the quantifiers and may thus be viewed as a forerunner of modern predicate logic. (shrink)