ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] Logic/Model theory references

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Charles D Turnitsa <CTurnits@xxxxxxx>
Date: Thu, 8 Feb 2007 16:42:53 -0500
Message-id: <OF987D6657.A744C620-ON8525727C.00771F83-8525727C.00774EEF@xxxxxxxxxxxxx>
Chris -    (01)

Thanks, this looks like a very useful list of references to get
re-grounded.  It would, in my opinion, serve as a good touch-off point for
a wiki page on model theory (and related topics).    (02)


Chuck    (03)






             Christopher                                                   
             Menzel                                                        
             <cmenzel@xxxxxxxx                                          To 
             >                         "[ontolog-forum] "                  
             Sent by:                  <ontolog-forum@xxxxxxxxxxxxxxxx>    
             ontolog-forum-bou                                          cc 
             nces@xxxxxxxxxxxx                                             
             .net                                                  Subject 
                                       [ontolog-forum] Logic/Model theory  
                                       references                          
             02/08/07 12:38 AM                                                 (04)


             Please respond to                                             
             "[ontolog-forum]                                              
                     "                                                     
             <ontolog-forum@on                                             
              tolog.cim3.net>                                                  (05)






> 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.    (06)

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:    (07)

* 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)    (08)

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.    (09)

I also recommend Stewart Shapiro's excellent entry:    (010)

* Classical Logic (http://plato.stanford.edu/entries/logic-classical)    (011)

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.    (012)

Chris Menzel    (013)


_________________________________________________________________
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    (014)




_________________________________________________________________
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    (015)

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