> Pat Hayes wrote:
>> Chuck, I think you are being misled by the
>> (technical, and unfortunate) use of the word
>> "model" in "model theory". A better word (and
>> technically more correct) is "interpretation".
>
> [snip]
>
> I found Pat's explanation of the sense of Model as used in Model
> Theory (model-1 sense) to be very helpful. We should put this
> description
> on a Wiki page in the Ontolog Wiki and include a pointer to it in the
> reference material that is put up after the upcoming Ontology Summit. (01)
A succinct characterization like that on the Wiki page is a terrific
idea (though I think there are details that Pat would want to clean
up and embellish here and there, fussy fellow that he is). Let me
suggest, however, that any such page also have links to three more
detailed articles in the Stanford Encyclopedia of Philosophy on model
theory by Wilfrid Hodges: (02)
* Model Theory (http://plato.stanford.edu/entries/model-theory)
* First-order Model Theory (http://plato.stanford.edu/entries/
modeltheory-fo)
* Tarski's Truth Definitions (http://plato.stanford.edu/entries/
tarski-truth) (03)
Hodges literally wrote the book on the subject. His huge tome _Model
Theory_ is considered *the* contemporary reference (supplanting the
great but now somewhat dated text by Chang and Keisler). Note there
is an abbreviated, more accessible (and much less expensive,
paperback) version of Hodges' text called _A Shorter Model Theory_.
Hodges is especially well known for his ability to convey very
technical material with clarity and wit. (04)
I also recommend Stewart Shapiro's excellent entry: (05)
* Classical Logic (http://plato.stanford.edu/entries/logic-classical) (06)
Frankly, the fundamentals of first-order logic and model theory found
in these sources are as essential to serious ontological engineering
as the calculus is to mechanical engineering. (07)
Chris Menzel (08)
_________________________________________________________________
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 (09)
|