Re: [ontolog-forum] named proposition isa logical function

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

David,
I just want to emphasize this, because I did not say any such thing
in my response.

I'm NOT saying you are wrong.
I'm just having a hard time understanding you.

This Ontolog Forum is a strange place.
It doesn't foster the friendly discussion I had
hoped for.
 
Dick McCullough
Context Knowledge Systems

---

Date: Mon, 14 Apr 2014 11:46:08 -0400
From: whitten@xxxxxxxxxx
To: rhm@xxxxxxxxxxxxx; ontolog-forum@xxxxxxxxxxxxxxxx
CC: jeffery@xxxxxxxxxx; kr-language@xxxxxxxxxxxxxxx; rslatimer@xxxxxxx
Subject: Re: [ontolog-forum] named proposition isa logical function

As I understand it, a function in a logical language

is the same as a proposition with another argument.

The result of the function can be replaced by a variable

and the "call" of the function is the same as a conjunction

with the proposition with the variable as the functional argument.

A log ical language "function" is radically different than 

imperative language 'function".

On Sun, Apr 13, 2014 at 11:29 AM, Richard H. McCullough <rhmccullough@xxxxxxxxx> wrote:

They really are the same idea.
Any decent programming language
lets you define new functions.

Now let's say the same for
any decent logic language.
 
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
 

_________________________________________________________________ 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

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