[Top] [All Lists]

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

To: David Whitten <whitten@xxxxxxxxxx>, "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Richard H. McCullough" <rhm@xxxxxxxxxxxxx>
Date: Mon, 14 Apr 2014 12:48:25 -0700
Message-id: <COL129-W33EA3BF263D2DFC7C28C4BAA510@xxxxxxx>

From my perspective, there is not "another argument".
The argument is the "value" of a term in the proposition.
The "result" is the proposition with the term replaced
by the argument.

You can use a "another variable" whose "value" is
the proposition, or the name of the proposition,
or the truth value of the proposition.

The truth value of the "result" can be true or false or unknown.
The function can have side effects, i.e., additional propositions.

Dick McCullough
Context Knowledge Systems

Date: Mon, 14 Apr 2014 11:46:08 -0400
From: whitten

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".

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)

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