To: | "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx> |
---|---|
From: | "Richard H. McCullough" <rhm@xxxxxxxxxxxxx> |
Date: | Sat, 14 Mar 2009 13:41:08 -0700 |
Message-id: | <06E2D477660740128F3372C1CA565211@rhmlaptop> |
Christopher Menzel > I have looked at your language. It has no formal semantics and is > full of unaxiomatized primitives. (01) I have not presented any formal semantics. mKE provides an operational semantics for every proposition. Do you consider that to be of any value? (02) I have not discussed axioms on this forum. There are axioms on my web site, but I don't emphasize them. What kind of axioms are of interest to you? (03) Dick McCullough Ayn Rand do speak od mKR done; mKE do enhance od Real Intelligence done; knowledge := man do identify od existent done; knowledge haspart proposition list; http://mKRmKE.org/ (04) _________________________________________________________________ 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 (05) |
Previous by Date: | Re: [ontolog-forum] mKR programming language: was International Alliance for Interoperability, Christopher Menzel |
---|---|
Next by Date: | Re: [ontolog-forum] Interoperability - its natural basis, Ronald Stamper |
Previous by Thread: | Re: [ontolog-forum] mKR programming language: was International Alliance for Interoperability, Christopher Menzel |
Next by Thread: | Re: [ontolog-forum] mKR programming language: was InternationalAlliance for Interoperability, Richard H. McCullough |
Indexes: | [Date] [Thread] [Top] [All Lists] |