Myro, p. 405 on System G in PGRICE

Myro writes:

"This brings to mind that

we must re-think our

notions of SET with

attention to temporal

qualification"

(a point made by O. Doctorow in CHORA).

----

Myro goes on:

"before we can employ

that notion in describing

the intended 'semantics'

of System G."

---

"First, the relation

of set-membership is to

be subjected to

termporal qualification:

t/x E y. So which

objects belong to a set

may change over time."