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.
Context Knowledge Systems
Date: Mon, 14 Apr 2014 11:46:08 -0400
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.
ical language "function" is radically different than
imperative language 'function".