Veridical

Definition

• For operators relative to instants of time: Let F be a temporal or aspectual operator, and t an instant of time.
  1. F is veridical iff for Fp to be true at time t, p must be true at a (contextually relevant) time t′ ≤ t; otherwise F is nonveridical.
  2. A nonveridical operator F is antiveridical iff for Fp to be true at time t, ¬p must be true at a (contextually relevant) time t′ ≤ t.
• For operators relative to intervals of time: Let F be a temporal or aspectual operator, and t an interval of time.
  1. F is veridical iff for Fp to be true of t, p must be true of all (contextually relevant) t′ ⊆ t; otherwise F is nonveridical.
  2. A nonveridical operator F is antiveridical iff for Fp to be true of t, ¬p must be true of all (contextually relevant) t′ ⊆ t.