Interesting. But is it not possible to define Identity/Difference as a special class of Interior/Exterior? It seems like a simple double iteration of the first class.{Interior/Exterior} <> Name <> {Identity/Difference}
A IN B; A NOT IN B;
X IN (Group of things that are very much like X), Y IN (Group of things that are very much like X); X IN (Group of things that are very much like X), Y NOT IN (Group of things that are very much like X)
...
To take it further, dow do you define interior/exterior? By using labels. So when determining whether dog is in mammal, you go along a list of labels, and each label is weighted by importance.
So I would argue that all you need are Names, an AND function to compare which of the labels of NameX and the labels of NameY match, and a way to sum up the result of the comparison (weights).
persistence? moments?Dioscuri wrote: Time, for instance, is entirely an interplay of the persistence of Identities and their differences from themselves over the course of multiple moments.
Sounds to me like you're using time-concepts to define time.