Four- Dimensionalism defends the thesis that the material world is composed of temporal as well as spatial parts. This defense includes a novel account of persistence over time, new arguments in favour of the four-dimensional ontology, and responses to the challenges four- dimensionalism faces." "Theodore Sider pays particular attention to the philosophy of time, including a strong series of arguments against presentism, the thesis that only the present is real. Arguments offered in favour of four- dimensionalism include novel arguments based (...) on time travel, the debate between spacetime substantivalists and relationalists, and vagueness. Also included is a comprehensive discussion of the paradoxes of coinciding material objects, and a novel resolution of those paradoxes based on temporal counterpart theory. In conclusion Sider replies to prominent objections to four- dimensionalism, including discussion of the problem of the rotating homogenous disk. (shrink)

This is a revised and expanded edition of a seminal work in the logic and philosophy of time, originally published in 1968. Arthur N. Prior (1914-1969) was the founding father of temporal logic, and his book offers an excellent introduction to the fundamental questions in the field. Several important papers have been added to the original selection, as well as a comprehensive bibliography of Prior's work and an illuminating interview with his widow, Mary Prior. In addition, the Polish logic which (...) made Prior's writings difficult for many readers has been replaced by standard logical notation. This new edition will secure the classic status of the book. (shrink)

The purpose of this book is to develop a terminological structure in which private perceptions can be discussed publicly without bringing into existence the usual unnecessary philosophical problems of confused usage of language. chisholm displays an appraisive, quasi-ethical use of language, whereby he claims that a thing has some particular sensible property is to have adequate evidence that it actually does have that property. (staff).

A lot of people believe that distinct objects can occupy precisely the same place for the entire time during which they exist. Such people have to provide an answer to the 'grounding problem' – they have to explain how such things, alike in so many ways, nonetheless manage to fall under different sortals, or have different modal properties. I argue in detail that they cannot say that there is anything in virtue of which spatio-temporally coincident things have those properties. However, (...) I also argue that this may not be as bad as it looks, and that there is a way to make sense of the claim that such properties are primitive. (shrink)

Preface In these days, an anthology on the topic of possible worlds hardly needs justification. No issue has given rise to as much literature in the past ...

The topic of this book is material objects. Like most interesting concepts, the concept of a material object is one without precise boundaries.

The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...) many concepts in contemporary mathematics, and thus that both first- and higher-order logics are needed to fully reflect current work. Throughout, the emphasis is on discussing the associated philosophical and historical issues and the implications they have for foundational studies. For the most part, the author assumes little more than a familiarity with logic comparable to that provided in a beginning graduate course which includes the incompleteness of arithmetic and the Lowenheim-Skolem theorems. All those concerned with the foundations of mathematics will find this a thought-provoking discussion of some of the central issues in the field today. (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

In this book, Eli Hirsch focuses on identity through time, first with respect to ordinary bodies, then underlying matter, and eventually persons.

This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; ...

In order to perfectly describe the world, it is not enough to speak truly. One must also use the right concepts - including the right logical concepts. One must use concepts that "carve at the joints", that give the world's "structure". There is an objectively correct way to "write the book of the world". Much of metaphysics, as traditionally conceived, is about the fundamental nature of reality; in the present terms, this is about the world's structure. Metametaphysics - inquiry into (...) the status of metaphysical questions - turns on structure. The question of whether ontological, causal, or modal questions are "substantive" is in large part a question of whether the world has ontological, causal, and modal structure - whether quantifiers, causal relations, and modal operators carve at the joints. (shrink)

This volume concerns the status and ambitions of metaphysics as a discipline.

A sense of unity -- Basic objects : a reply to Xu -- Objectivity without objects -- The vagueness of identity -- Quantifier variance and realism -- Against revisionary ontology -- Comments on Theodore Sider's four dimensionalism -- Sosa's existential relativism -- Physical-object ontology, verbal disputes, and common sense -- Ontological arguments : interpretive charity and quantifier variance -- Language, ontology, and structure -- Ontology and alternative languages.

We are used to talking about the “structure” posited by a given theory of physics, such as the spacetime structure of relativity. What is “structure”? What does the mathematical structure used to formulate a theory tell us about the physical world according to the theory? What if there are different mathematical formulations of a given theory? Do different formulations posit different structures, or are they merely notational variants? I consider the case of Lagrangian and Hamiltonian classical mechanics. I argue that, (...) contrary to standard wisdom, these are not genuinely equivalent theories: they differ in statespace structure. I suggest that we should be realists about statespace structure. (shrink)

This paper distinguishes two kinds of realist issue -- the issue of whether the propositions of a given domain are factual and the issue of whether they are fundamental. It criticizes previous accounts of what these issues come to and suggests that they are to be understood in terms of a basic metaphysical concept of reality. This leaves open the question of how such issues are to be resolved; and it is argued that this may be done through consideration of (...) what grounds the facts of a given domain, when fundamentality is in question, and what grounds our engagement with the putative facts, when factuality is in question. (shrink)