[Top] [All Lists]

Re: [ontolog-forum] Truth

To: "Avril Styrman" <Avril.Styrman@xxxxxxxxxxx>
Cc: John Bottoms <john@xxxxxxxxxxxxxxxxxxxx>, "[ontolog-forum] " <ontolog-forum@xxxxxxxxxxxxxxxx>
From: Pat Hayes <phayes@xxxxxxx>
Date: Thu, 26 Jul 2012 21:56:11 -0500
Message-id: <69B6E20C-2347-43C8-8AB1-EE53CA24B84B@xxxxxxx>

On Jul 26, 2012, at 2:13 PM, Avril Styrman wrote:    (01)

> Lainaus "Pat Hayes" <phayes@xxxxxxx>:
>>> 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.
> 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?    (02)

No, its a wholly new idea to me. I would encourage you to work on it and see 
how far it goes :-)    (03)

Pat    (04)

> Avril
>     (05)

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

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

<Prev in Thread] Current Thread [Next in Thread>