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

[David Whitten <whitten@xxxxxxxxxx>]

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