[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Christopher Menzel <chris.menzel@xxxxxxxxx>
Date: Wed, 25 Jul 2012 15:53:58 -0500
Message-id: <563AC0F6-52B1-4EE7-B0FF-57DF70C041AF@xxxxxxxxx>
I wrote:
> On Wed, Jul 25, 2012 at 6:25 AM, John F Sowa <sowa@xxxxxxxxxxx> wrote:
> ...
> The backquote in LISP can be applied to any expression.  The IKL
> 'that' operator can be implemented in LISP by applying backquote
> to sentences in some version of logic.
> That is probably right.    (01)

But Pat wrote:    (02)

> Sorry, can't let that go by. No, it can't be implemented in LISP, in this or 
>any other way.     (03)

I appear to contradict Pat here, but all that I mean is that, given syntactic 
similarities between LISP backquote and the IKL "that" operator, you could 
probably use backquote to simulate a reasonably significant swath of the 
intended logical behavior of the IKL operator. I don't off the top of my head 
see what that wouldn't be so, but I would defer to Pat's superior knowledge of 
LISP on this point.    (04)

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

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