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)
|