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)
|