Abstract

THIS PAPER PRESENTS THE SEMANTIC THEORY FOR A TEMPORAL-MODAL LOGIC WITH RIGIDLY REFERENTIAL TEMPORAL OPERATORS ('dtomorrow' AND 'dnow') IN WHICH THE 'TRADITIONAL' INDETERMINIST INTERPRETATION OF ARISTOTLE'S _DE INTERPRETATIONE 9 CAN BE MODELED. THIS LOGIC HAS, I BELIEVE, SOME INTRINSIC PHILOSOPHICAL INTEREST AND PLAUSIBILITY. HOWEVER, THE PRESENT PAPER IS PRINCIPALLY DEVOTED TO AN INITIAL EXAMINATION OF THE RELATION BETWEEN THE LOGIC AND SUCH TOPICS IN THE ANCIENT PHILOSOPHY OF THE TIME AND OF THE MODALITIES AS THE NECESSITY OF THE PAST, ABSOLUTE VERSUS TEMPORALLY RELATIVE ALETHIC MODALITIES, THE 'PLENITUDE' PRINCIPLE AND UNACTUALIZED POSSIBILITIES, AND THE CYCLICAL NATURE OF TIME