[Top] [All Lists]

Re: [ontolog-forum] mKR programming language

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Randall R Schulz <rschulz@xxxxxxxxx>
Date: Tue, 17 Mar 2009 12:07:59 -0700
Message-id: <200903171207.59686.rschulz@xxxxxxxxx>
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.    (01)

Then we come around again to the inevitable conclusion:    (02)

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

> Dick McCullough    (04)

Randall Schulz    (05)

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

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