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.