>> On Feb 9, 2007, at 12:26 PM, Pat Hayes wrote:
>>> ...I think (as I said in
>>> an email response a few days ago) that the usages
>>> of "model" in "model theory" and "modelling"
>>> (respectively realization and prototype) are at
>>> best unrelated, and at worst almost directly
>>> opposite in meaning.
>>
>> I guess I don't see that, Pat. Don't, say, a physical model of a
>> Boeing 777 and my Tarskian model of the faculty and administration at
>> Texas A&M both represent (hence, in some sense, "model") relevant
>> structural features of complex real-world things?
>
> Well, you can put it that way, as John prefers, but I think its
> misleading. Why isn't your Tarskian model actually part of the
> (real) faculty and administration at TAMU? Or perhaps better, why
> could it not be? (01)
Well, it *is* a set, and (extentions of) the properties of and
relations among the elements of the domain are just sets of n-
tuples. I don't see how those are in any robust sense *part* of
TAMU. Furthermore, I might choose to represent faculty members by,
say, their University ID numbers in my model; even still, the model
is a representation of the indended structure. (02)
> The oppositeness happens when we speak not of a physical model of
> the plane, but a symbolic model in a computer, which amounts to a
> large complicated description of the plane. Which way does the
> modelling relationship go now? This is a simulation-model of the
> real physical plane because it *describes* that plane accurately,
> i.e. because the real physical plane is a Tarski-realization-model
> of it. The 'model of' arrows in this picture are now pointing in
> opposite directions; in fact, they are at opposite ends of the very
> same arc. (03)
Point taken. (04)
-chris (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|