Lainaus "Pat Hayes" <phayes@xxxxxxx>:  (01)
>> can you cite any article that talks about contexts in terms of sets 
>> with different ranks?
>
> Not sure what you mean by 'rank' here. Do you mean as in set theory 
> where the rank of an ordinal is the ordinal? If so, I don't know how 
> to interpret that in context language, but it sounds intriguing.  (02) 
Yes, I meant the level of granularity of sets by rank. For instance, 
in KPU and ZFU which incorporate ur-elements a,b,c,... the rank of {a} 
is 1 and the rank of {{a}} is 2. In mereology all parts are parts of 
the same level, but while a is member of {a}, it is not member of 
{{a}}. This way, set theories could function as a foundation of 
granularity and context, at least in classifying stuff. Can you cite 
any articles that discuss this?  (03)
Avril  (04)
_________________________________________________________________
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  (05)