Abstract

Prior left us with a problem which he stated in the following way: ‘Very roughly, it would seem that countable “things” are made or grow from bits of stuff, or from other countable “things”, that are already there. The precise logic of this process hasn’t been worked out yet, and until it has been, it seems likely that any tensed predicate logic can only be provisional in character.’ Although I disagree with much of the philosophy of time underlying Priorean tense logic, the problem of presenting a coherent view of ‘countable things’ and ‘bits of stuff’ within a framework accommodating temporal reference and modal expressions along broadly the lines Prior proposed remains an interesting one. The present paper sketches a general framework within which more specific questions raised by this general issue can be addressed, and makes a number of tentative suggestions without, however, proceeding so far as to settle on and develop a definite logical theory.