A logic of intervals is proposed akin to the one published by Hamblin (Hamblin (1969) and (1971)). Like Hamblin's, the present system is also based on a single primitive. However, the work presented here differs from Hamblin's in a number of respects. Most importantly, the present system is explicitly based on mereological ideas in such a way that not only are the two notions of abutment and temporal order involved in Hamblin's primitive two-place relation "abuts at the earlier end" distinguished (...) ; the temporal ordering itself is built up from a symmetric mereological primitive. The present system is shown to be complete. (shrink)

A gas in a box is perhaps the most important model system studied in thermodynamics and statistical mechanics. Usually, studies focus on the gas, whereas the box merely serves as an idealized confinement. The present article focuses on the box as the central object and develops a thermodynamic theory by treating the geometric degrees of freedom of the box as the degrees of freedom of a thermodynamic system. Applying standard mathematical methods to the thermody- namics of an empty box allows (...) equations with the same structure as those of cosmology and classical and quantum mechanics to be derived. The simple model system of an empty box is shown to have interesting connections to classical mechanics, special relativity, and quantum field theory. (shrink)

Davidson’s account of singular causal statements as expressing relations between events together with his views on event identity lead to inferences involving causal statements which many of his critics find counterintuitive. These are sometimes said to be avoided on Kim’s view of events, in terms of which this line of criticism is often formulated. It is argued that neither Davidson nor Kim offer a satisfactory account of events - an essential prerequisit for the relational theory - and an account of (...) singular causal statements in terms of a modal sentential connective is advocated in place of the relational view. Such an account suffices to block the counter-intuitive inferences without needing to resort to a theory of events. It is suggested that a theory of events might be built upon a connective account of singular causal statements, but no such theory is presented here. (shrink)

A system for the modal logic K furnishes a simple mechanical process for proving theorems.

An assessment of the similarities and differences between space and time has played an important part in the development of the views of a number of philosophers about time. Examples of statements about time are compared with allegedly corresponding statements about space to give us analogies and disanalogies according to whether the statements have the same or different truth values. But what are the general principles on which such comparisons are based? In particular, according to what criteria are corresponding sentences (...) paired off? Are there any such general criteria? And if so, do they already presuppose a substantial commitment to one or other of the points of view at issue where analogies and disanalogies are discussed? This paper is concerned with two specific proposals for criteria of correspondence, one due to Richard Gale (1968, 1969) and James Garson (1969), which is rejected, and the other tentatively advanced in its place. (shrink)