Tag Archives: aat


In the following sense, ‘aat’ is to ‘at’ as ‘iff’ is to ‘if’:

aat = at and only at.

Aat is a unique placeholder. If ‘s1’ is a member of the set of places S {s1, s2, s3…}, then if O is aat s1, it is at s1 and it is not at s2, s3, s4, etc.

I originally thought of this as a way of spelling out the difference between presentism and eternalism:

presentism: reality is aat the present time.

eternalism: reality is at the present time but not aat the present time; it is also at other times.

(This is one term I think is probably somewhere in the literature, but I haven’t yet found it. Anyhow, I define it here).

Back to ‘-concepts’