Previously (Dec 18 2006 - 4:24pm ) I said (Re: Can there be a URI for the concepts "I", "you", "this", "it", "here", "there", "now", etc.? ) QUOTE The "i:" prefix indicates an instance of a concept. In other words "here", "there", "now" are constants, which you might say is not correct, but is OK in the current version of MKE. UNQUOTE I should have explained in more detail what I meant. I definitely do consider "here" and "now" to be context-dependent variables. My MKE program can handle that. The choice to treat "here" and "now" as constants is a quick and dirty way to avoid the complexity of dealing with their context-dependence. It requires only a minor change in declarations in the MKR language. As variables, which have individual context-dependent values, they are declared as here iss space; now iss space; As constants, which ARE individual values, they are declared as here isu space; now isu time; (As an aside, the MKR verb "isa" does not distinguish between "iss" and "isu".) Dick McCullough knowledge := man do identify od existent done; knowledge haspart proposition list; http://rhm.cdepot.net/Received on Saturday, 23 December 2006 14:08:51 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:22:45 GMT