Some may be of the opinion that one event can begin before another only by virtue of the existence of some event (a “witness”) which wholly precedes the other and does not wholly precede the one (and similarly for “ends before” and “does not abut”). Those would prefer $\mathbb{F}$ 0 to $\mathbb{F}$ as a model for observers' apprehensions of events. Since G is a functor from $\mathbb{M}$ to $\mathbb{F}$ 0, the current construction (restricted to $\mathbb{F}$ 0) remains applicable.This work supports (...) a claim that the psychologically fundamental temporal relationships are “wholly precedes”, “begins before”, “ends before” and “abuts”. But only in a very weak sense. Any other set of relationships which is interdefinable with this one, using only quantifier-free formulas in the definitions, could be used to define a category $\mathbb{F}$ ′ which is indistinguishable from $\mathbb{F}$ (because the same functions preserve and reflect the new relationships). This work equally supports the claim that those relationships are the psychologically fundamental ones, or the claim that it is just “wholly precedes” which is fundamental, and that we perceive “begins before” just by virtue of witnesses. But it refutes the claim that only “wholly precedes” is fundamental, and that we understand “begins before” only because we understand time as a linear ordering. (shrink)

An interpretation of Aristotle's modal syllogistic is proposed which is intuitively graspable, if only formally correst. The individuals to which a term applies, and possibly-applies, are supposed to be determined in a uniform way by the set of individuals to which the term necessarily-applies.

We show that the join of two classical [respectively, regular, normal] modal logics employing distinct modal operators is a conservative extension of each of them.

A set S of degrees is said to be an initial segment if c ≤ d ∈ S→-c∈S. Shoenfield has shown that if P is the lattice of all subsets of a finite set then there is an initial segment of degrees isomorphic to P. Rosenstein [2] (independently) proved the same to hold of the lattice of all finite subsets of a countable set. We shall show that “countable set” may be replaced by “set of cardinality at most that of (...) the continuum.” This result is also an extension of [3, Corollary 2 to Theorem 15], which states that there is a sublattice of degrees isomorphic to the lattice of all finite subsets of 2N. (A sublattice of degrees is a subset closed under ∪ and ∩; an initial segment closed under ∪ is necessarily a sublattice, but not conversely.)It seems worth noting that the proof of the present result was preceded in time by our proof [4] of the analogous theorem for hyperdegrees, and is in fact an adaptation of that proof. Thus the present work has been influenced much more directly by the Gandy-Sacks forcing construction of a minimal hyperdegree [1] than by previous work on initial segments of degrees. (shrink)