Four-Dimensionalism defends the thesis that the material world is composed of temporal as well as spatial parts. Along the way many topics concerning the metaphysics of time and identity over time are addressed. These include the status of past and future objects, the nature of motion and change, the existence of composite objects, and examples involving two things in the same place at the same time (such as statues and lumps of clay). An original and highly readable study of the metaphysics of time and identity.

In order to perfectly describe the world, it is not enough to speak truly. In this ambitious and ground-breaking book, Theodore Sider argues that for a representation to be fully successful, truth is not enough; the representation must also use the right concepts-concepts that 'carve at the joints'-so that its conceptual structure matches reality's structure. There is an objectively correct way to 'write the book of the world'. Sider's argument begins from the assertion that metaphysics is about the fundamental structure of reality. Not about what's necessarily true; not about what properties are essential; not about conceptual analysis; and not about what there is. While inquiry into necessity, essence, concepts, or ontology might help to illuminate reality's structure, the ultimate goal is insight into this structure. Sider argues that part of the theory of structure is an account of how structure connects to other concepts. For example, structure can be used to illuminate laws of nature, explanation, reference, induction, physical geometry, substantivity, conventionality, objectivity, and metametaphysics. Another part is an account of how structure behaves. Since structure is a way of thinking about fundamentality, Sider's account implies distinctive answers to questions about the nature of fundamentality. These answers distinguish his theory of structure from other recent theories of fundamentality, including Kit Fine's theory of ground and reality, the theory of truthmaking, and Jonathan Schaffer's theory of ontological dependence.

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems, and the same problems will look different when we change the lens. In this book, Theodore Sider identifies how the shift from modal to "postmodal" conceptual tools in recent years has affected the metaphysics of science and mathematics. He highlights, for instance, how the increased consideration of concepts of ground, essence, and fundamentality has transformed the debate over structuralism in many ways. Sider then examines three structuralist positions through a postmodal lens. First, nomic essentialism, which says that scientific properties are secondary and lawlike relationships among them are primary. Second, structuralism about individuals, a general position of which mathematical structuralism and structural realism are instances, which says that scientific and mathematical objects are secondary and the pattern of relations among them is primary. And third, comparativism about quantities, which says that particular values of scientific quantities, such as having exactly 1000g mass, are secondary, and quantitative relations, such as being-twice-as-massive-as, are primary. Sider concludes these discussions by considering the meta-question of when theories are equivalent and how that impacts the debate over structuralism.

Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy.

Riddles of Existence makes metaphysics genuinely accessible, even fun. Its lively, informal style brings the riddles to life and shows how stimulating they can be to think about. No philosophical background is required to enjoy this book. It is ideal for beginning students. Anyone wanting to think about life's most profound questions will find Riddles of Existence provocative and entertaining. This new edition is updated throughout, and features two extra, specially written chapters: one on metaphysical questions to do with morality, and the other on questions about the nature of metaphysics itself.

In order to perfectly describe the world, it is not enough to speak truly. In this ambitious and ground-breaking book, Theodore Sider argues that for a representation to be fully successful, truth is not enough; the representation must also use the right concepts-concepts that 'carve at the joints'-so that its conceptual structure matches reality's structure. There is an objectively correct way to 'write the book of the world'. According to Sider, metaphysics is primarily about fundamentality rather than necessity, conceptual analysis, or ontology. Fundamentality is understood in terms of structure: the fundamental truths are those truths that involve structural (joint-carving) concepts. Sider argues that part of the theory of structure is an account of how structure connects to other concepts. For example, structure can be used to illuminate laws of nature, explanation, reference, induction, physical geometry, substantivity, conventionality, objectivity, and metametaphysics. Another part is an account of how structure behaves. Since structure is a way of thinking about fundamentality, Sider's account implies distinctive answers to questions about the nature of fundamentality. These answers distinguish his theory of structure from other recent theories of fundamentality, including Kit Fine's theory of ground and reality, the theory of truthmaking, and Jonathan Schaffer's theory of ontological dependence.