I have not published a model-theoretic semantics for mKR.
That does NOT mean I do not have a semantic definition in my head.
That does NOT mean that mKE performs some random action
in response to an mKR proposition. (02)
I have in fact implemented an mKR-to-CycL translator. (03)
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;
----- Original Message -----
From: "Randall R Schulz" <rschulz@xxxxxxxxx>
To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Thursday, March 19, 2009 11:08 AM
Subject: Re: [ontolog-forum] Requirements of computer language semantics (05)
> On Wednesday March 18 2009, Richard H. McCullough wrote:
>> I hereby resolve to stop talking and return to my task
>> of translating mKR to IKL.
> How will you do that? How will you _define_ it? As I understand you, mKR
> has no model-theoretic semantics, as IKL and CL do, so the best you can
> hope to do is come up with some kind of syntactic transliteration.
> Translation—which should preserve meaning—is not possible when there's
> no sense of meaning in the source form of the conversion.
> Considering it from another perspective, if you were to write a similar
> transliteration to a different language, say CycL, and someone had a
> CycL <=> IKL translator, would the result of mKR -> CycL => IKL be
> consistent with mKR -> IKL (where the -> are your mKR transliterators
> and => is the CycL to IKL translator)? Similarly, would mKR -> IKL =>
> CycL be consistent with mKR -> CycL?
> Randall Schulz
> 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
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
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 (07)