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

ontolog-forum

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

from [Richard H. McCullough] [Permanent Link][Original]

To:	David Whitten <whitten@xxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From:	"Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date:	2014年4月14日 11:03:42 -0700
Message-id:	<COL129-W406E2DC3196561AADBC23FAA510@xxxxxxx>

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: 2014年4月14日 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)

[More with this subject...]

<Prev in Thread]	Current Thread	[Next in Thread>
[ontolog-forum] IKL is a decent logic language , Richard H. McCullough Re: [ontolog-forum] IKL is a decent logic language , David Whitten [ontolog-forum] Please remove me from the mailing list , Liping Di Re: [ontolog-forum] IKL is a decent logic language, Richard H. McCullough <=

Previous by Date:	Re: [ontolog-forum] named proposition isa logical function , John F Sowa
Next by Date:	Re: [ontolog-forum] Health/Human/Social Services: the Open Referral data standards initiative , Greg Bloom
Previous by Thread:	[ontolog-forum] Please remove me from the mailing list , Liping Di
Next by Thread:	[ontolog-forum] concept isa logic function , Richard H. McCullough
Indexes:	[Date] [Thread] [Top] [All Lists]