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
Context Knowledge Systems
Date: Mon, 14 Apr 2014 11:46:08 -0400
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.
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/
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