ontolog-forum
[Top] [All Lists]

Re: [ontolog-forum] mKR programming language

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
Cc: KR-language <KR-language@xxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Tue, 17 Mar 2009 12:54:32 -0700
Message-id: <0649CADC70764C6A9F4AC6AF713D2ED3@rhm8200>
----- Original Message ----- 
From: "Randall R Schulz" <rschulz@xxxxxxxxx>
Sent: Tuesday, March 17, 2009 12:07 PM    (01)


> On Tuesday March 17 2009, Richard H. McCullough wrote:
>>
>> I am relying on the "linguistic communities wherein the semantic
>> conventions of English have already been assimilated".
>>
>> I have stated, on my web site, that the meaning of an mKR proposition
>> is defined by the meaning of its English paraphrase.
>> I do not consider many pages of mathematical formulas to be an
>> appropriate definition of meaning in mKR.    (02)


> Then we come around again to the inevitable conclusion:
> 
>  mKR does not capture meaning at all. It is nothing but a very ugly and 
> unnatural kind of human language that uses English lexicography 
> interspersed with a bizarre kind of punctuation comprising a mixture of 
> real and concocted English words.
> 
> Randall Schulz
>     (03)

Yes, mKR is "a very ugly and unnatural kind of human language"
composed of "Simple English" + "UNIX shell" + explicit "context".
(In my view, it is a "beautiful language".)    (04)

>From your statement, I deduce that
English does not capture meaning at all.    (05)

Dick McCullough
http://mKRmKE.org/    (06)


_________________________________________________________________
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    (07)

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