[Top] [All Lists]

[ontolog-forum] Logic/Model theory references

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <cmenzel@xxxxxxxx>
Date: Wed, 7 Feb 2007 23:38:01 -0600
Message-id: <17B35921-BB89-4E0C-91F7-CB83CFEE9EF9@xxxxxxxx>
> 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/ 
* 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)

<Prev in Thread] Current Thread [Next in Thread>