  (Prior 1953), in which (following the Polish logician Jan Łukasiewicz) he uses a 3-valued logic to formalize the Aristotelian view that ‘propositions about such future events as are not already predetermined’ are neither true nor false (1953: 322).