The text below is directly related to the conversation I've been having
mainly with Matthew West in the 3D-4D thread, some of the questions that Rich
McCullough has recently alluded to and the email which started this
I've noticed that on this forum, there might not be a clear understanding
of what a logical (Tarski) model is, how exactly such models are connected to
the underlying axioms and perhaps most importantly, why one should care (how
the relation may be usefully exploited).
Similarly, I'm not sure the value of representation theorems and the
different possible types of mappings are well appreciated. I apologize in
advance if all this stuff is obvious, but it's useful to get it out and
perhaps to eventually migrate this discussion to the wiki after some criticism
Hope the above wasn't too pedantic and communicates to readers on this
list both what is meant by some of the terminology used in more formal
ontologies and how they are applicable to real world problems.