ontolog-forum
[Top] [All Lists]

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

To: "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Thu, 19 Mar 2009 21:41:01 -0700
Message-id: <6B8428C6749A4F24A6CE4FCCA6ECF64E@rhm8200>

Dick McCullough
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;
http://mKRmKE.org/    (01)

----- Original Message ----- 
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Thursday, March 19, 2009 7:57 PM
Subject: Re: [ontolog-forum] Requirements of computer language semantics    (02)


> Dick,
> 
> RHM> It's a different objective.  You are trying to design
> > a dialect of mKR; I'm trying to design the most general
> > form of mKR.
> 
> No. I have no desire whatever to design a dialect of mKR.
> The only thing I was trying to do is to give you some
> idea of a potentially useful version of mKR that might be
> sufficiently well specified that it could be processed
> by a computer.    (03)

>>>> That's a strange thing to say when you know that
>>>> mKR has been processed by a computer for 12 years.
> 
> The comments you have been making indicate that you can't
> tell the difference between generality and vagueness.
> If you're interested in learning the difference, then
> please make some effort to do so.  If not, then don't
> bother us with your messages.
> 
> John
> 
> 
> _________________________________________________________________
> 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
> 
> 
>    (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>