[Top] [All Lists]

Re: [ontolog-forum] Requirements of computer language semantics

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Thu, 19 Mar 2009 11:08:46 -0700
Message-id: <200903191108.46587.rschulz@xxxxxxxxx>
On Wednesday March 18 2009, Richard H. McCullough wrote:
> Chris
> I hereby resolve to stop talking and return to my task
> of translating mKR to IKL.    (01)

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

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?    (03)

Randall Schulz    (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)

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