This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

Modern readers turning to Einstein’s famous 1905 paper on special relativity may not find what they expect. Its title, “On the electrodynamics of moving bodies,” gives no inkling that it will develop an account of space and time that will topple Newton’s system. Even its first paragraph just calls to mind an elementary experimental result due to Faraday concerning the interaction of a magnet and conductor. Only then does Einstein get down to the business of space and time and lay (...) out a new theory in which rapidly moving rods shrink and clocks slow and the speed of light becomes an impassable barrier. This special theory of relativity has a central place in modern physics. As the first of the modern theories, it provides the foundation for particle physics and for Einstein’s general theory of relativity; and it is the last point of agreement between them. It has also received considerable attention outside physics. It is the first port of call for philosophers and other thinkers, seeking to understand what Einstein did and why it changed everything. It is often also their last port. The theory is arresting enough to demand serious reflection and, unlike quantum theory and general relativity, its essential content can be grasped fully by someone merely with a command of simple algebra. It contains Einstein’s analysis of simultaneity, probably the most celebrated conceptual analysis of the century. (shrink)

There is a basic distinction, in the realm of spatial boundaries, between bona fide boundaries on the one hand, and fiat boundaries on the other. The former are just the physical boundaries of old. The latter are exemplified especially by boundaries induced through human demarcation, for example in the geographic domain. The classical problems connected with the notions of adjacency, contact, separation and division can be resolved in an intuitive way by recognizing this two-sorted ontology of boundaries. Bona fide boundaries (...) yield a notion of contact that is effectively modeled by classical topology; the analogue of contact involving fiat boundaries calls, however, for a different account, based on the intuition that fiat boundaries do not support the open/closed distinction on which classical topology is based. In the presence of this two-sorted ontology it then transpires that mereotopology—topology erected on a mereological basis—is more than a trivial formal variant of classical point-set topology. (shrink)

This paper expounds the modern theory of symplectic reduction in finite-dimensional Hamiltonian mechanics. This theory generalizes the well-known connection between continuous symmetries and conserved quantities, i.e. Noether's theorem. It also illustrates one of mechanics' grand themes: exploiting a symmetry so as to reduce the number of variables needed to treat a problem. The exposition emphasises how the theory provides insights about the rotation group and the rigid body. The theory's device of quotienting a state space also casts light on philosophical (...) issues about whether two apparently distinct but utterly indiscernible possibilities should be ruled to be one and the same. These issues are illustrated using ``relationist'' mechanics. (shrink)

This paper is an edited form of a letter written by the two authors (in the name of Tarski) to Wolfram Schwabhäuser around 1978. It contains extended remarks about Tarski's system of foundations for Euclidean geometry, in particular its distinctive features, its historical evolution, the history of specific axioms, the questions of independence of axioms and primitive notions, and versions of the system suitable for the development of 1-dimensional geometry.