Re: [ontolog-forum] IKL is a decent logic language

["Richard H. McCullough" <rhm@xxxxxxxxxxxxx>]

David

Pat Hayes is the final authority.

I think it is a reifying mechanism, and a definition, but not a function.

Being a definition is enough to introduce another level of abstraction
which is why it's so important.
 
Dick McCullough
Context Knowledge Systems

---

Date: Mon, 14 Apr 2014 11:50:52 -0400
Subject: Re: [ontolog-forum] IKL is a decent logic language
From: whitten@xxxxxxxxxx
To: rhm@xxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
CC: phayes@xxxxxxx; sowa@xxxxxxxxxxx; kr-language@xxxxxxxxxxxxxxx; rslatimer@xxxxxxx

To my knowledge in IKL, that() is a way of quoting a proposition or a reifying mechanism for propositions, and is not a function definition or any kind of definition.

I don't think IKL  (or Common Logic) supports what has traditionally been called "definitions" in first order predicate logic.

David

713-870-3834713-870-3834

PS: I sent this note to clarify my understanding. If anyone can verify I am right or wrong, I would appreciate a note.

On Sun, Apr 13, 2014 at 12:06 PM, Richard H. McCullough <rhmccullough@xxxxxxxxx> wrote:

that() is your new function definition.
 
Dick McCullough
Context Knowledge Systems
mKR/mKE tutorial

_________________________________________________________________
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
 

Call

Send SMS

Add to Skype

You'll need Skype CreditFree via Skype

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