|From:||ravi sharma <drravisharma@xxxxxxxxx>|
|Date:||Mon, 25 Jan 2010 11:52:06 -0500|
John and Ali
Appreciate the explanation of model theory. Suppose we replace true and real these two words with a prefix "approximately", what opens up as additional attributes that are required to complete model theory or a model of whatever, and the knowledge seeker can quantify the adjective "approximately" for example elementary particle scattering model to approximately (10**-13 cms or 1 Fermi distance) between particles.
Although I am also wanting to understand model theory, what I am after are the concepts that are "irreducible must have" for a model and what are other tests such as measurements to verify that the model is reasonable. Then next step is addressing "Semantic" models that would have notion of what is more relevant, predicate ordering by importance etc.?
John - FYI the online tutorial link is broken in your Tarski paper referenced above.
On Sun, Jan 24, 2010 at 10:35 PM, Ali Hashemi <ali.hashemi+ontolog@xxxxxxxxxxx> wrote:
(Dr. Ravi Sharma)
313 204 1740 Mobile
_________________________________________________________________ Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/ Config Subscr: 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 join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (01)
|<Prev in Thread]||Current Thread||[Next in Thread>|
|Previous by Date:||Re: [ontolog-forum] Can Syntax become Semantic ?, Pat Hayes|
|Next by Date:||Re: [ontolog-forum] rant on pseudoscience, Pat Hayes|
|Previous by Thread:||Re: [ontolog-forum] rant on pseudoscience, Ali Hashemi|
|Next by Thread:||Re: [ontolog-forum] Approximation (was: rant on pseudoscience), Pat Hayes|
|Indexes:||[Date] [Thread] [Top] [All Lists]|