Dear Colleagues, (01)
We mentioned making a contribution to Wikipedia. I don't know what
is there at the moment about models and model theory. But we could
at least check what is there, and hope to improve it if that is
needed. (02)
Regards (03)
Matthew (04)
> -----Original Message-----
> From: ontolog-forum-bounces@xxxxxxxxxxxxxxxx
> [mailto:ontolog-forum-bounces@xxxxxxxxxxxxxxxx]On Behalf Of
> Christopher
> Menzel
> Sent: 08 February 2007 05:38
> To: [ontolog-forum]
> Subject: [ontolog-forum] Logic/Model theory references
>
>
> > 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.
>
> 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:
>
> * 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)
>
> 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.
>
> I also recommend Stewart Shapiro's excellent entry:
>
> * Classical Logic (http://plato.stanford.edu/entries/logic-classical)
>
> 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.
>
> Chris Menzel
>
>
> _________________________________________________________________
> 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
>
>
> (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)
|