On Tue, January 25, 2011 4:24, Pat Hayes said:
> On Jan 25, 2011, at 12:04 AM, doug foxvog wrote:
> ...
>> Your reference, ``"time" is a means of labeling "alternative possible
>> worlds"'', suggested to me that such "possible worlds" could (not
>> "must")
>> be mapped into contexts. I am not suggesting that you intended this.
>>
>> One can reason about relationships among multiple possible worlds
>> by stepping outside those worlds. One can reason about relationships
>> among multiple contexts by stepping outside those contexts.
>
> Honestly, I have no idea what you mean here by a 'context'. I would be
> interested to know what you do mean. (One of my hobbies is collecting
> senses of the word "context". So far I have about 25 of them. :-) (01)
I was thinking of "context" in the Cyc sense of #$Microtheory. A set of
statements describes a situation -- possibly jurisdictional, spatial,
temporal, economic or political framework, etc. -- and the statements
within the microtheory/context specify what is true within that situation. (02)
Such a "context" can be atemporal or temporal. It can be spatial or
aspatial. (03)
-- doug foxvog (04)
> Pat Hayes
>
>>
>> -- doug foxvog
>>
>>> Pat Hayes
> ------------------------------------------------------------
> IHMC (850)434 8903 or (650)494 3973
> 40 South Alcaniz St. (850)202 4416 office
> Pensacola (850)202 4440 fax
> FL 32502 (850)291 0667 mobile
> phayesAT-SIGNihmc.us http://www.ihmc.us/users/phayes (05)
=============================================================
doug foxvog doug@xxxxxxxxxx http://ProgressiveAustin.org (06)
"I speak as an American to the leaders of my own nation. The great
initiative in this war is ours. The initiative to stop it must be ours."
- Dr. Martin Luther King Jr.
============================================================= (07)
_________________________________________________________________
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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|