To: | ontolog-forum@xxxxxxxxxxxxxxxx |
---|---|
From: | ewallace@xxxxxxxxxxxx |
Date: | Wed, 7 Feb 2007 17:52:33 -0500 (EST) |
Message-id: | <200702072252.RAA07678@xxxxxxxxxxxxxxxxx> |
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". (01) [snip] (02) 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. (03) -Evan (04) _________________________________________________________________ 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) |
Previous by Date: | Re: [ontolog-forum] Visual Complexity, Pat Hayes |
---|---|
Next by Date: | Re: [ontolog-forum] Visual Complexity, John F. Sowa |
Previous by Thread: | Re: [ontolog-forum] Visual Complexity, paola . dimaio |
Next by Thread: | [ontolog-forum] Logic/Model theory references, Christopher Menzel |
Indexes: | [Date] [Thread] [Top] [All Lists] |