ontolog-forum
[Top] [All Lists]

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

 To: David Whitten , "[ontolog-forum]" "Richard H. McCullough" Mon, 14 Apr 2014 12:48:25 -0700
 DavidFrom 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" isthe 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 SystemsDate: Mon, 14 Apr 2014 11:46:08 -0400From: whittenAs I understand it, a function in a logical languageis the same as a proposition with another argument. The result of the function can be replaced by a variableand the "call" of the function is the same as a conjunctionwith 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)

```
 Current Thread [ontolog-forum] named proposition isa logical function, Richard H. McCullough Re: [ontolog-forum] named proposition isa logical function, David Whitten Re: [ontolog-forum] named proposition isa logical function, David Whitten Re: [ontolog-forum] named proposition isa logical function, John F Sowa Re: [ontolog-forum] named proposition isa logical function, Richard H. McCullough Re: [ontolog-forum] named proposition isa logical function, Richard H. McCullough <= Re: [ontolog-forum] named proposition isa logical function, Richard H. McCullough