Well Isaid that there is mereology and merology related to each other.
Close but incorrect:
David wrote: "meronymy is a semantic relation usually defined with respect to holonymy; the mereological relation is ontological..."
and
David wrote: "Henry - is this really coincidence, or did you see my remarks on the mereology of the family? If the former, we really DO need to speak soon... All the same, I get the feeling that there's still a tendency to confuse meronymy and mereology... we must bear in mind that mereology is the "calculus of individuals", not a model of part-whole relations."
David Hirst on facebook commenting on Henry Story's status.
This is the thread.
I can't track down those comments about mereology of the family.
Holonomy = connections as in a topology, mereology w.r.t. things, that seems like the the properties of things that are related one thing to another.
And, yes, Tarsky (as introduced to me in Knowledge Representation by John Sowa) does come into this.