Re: [ontolog-forum] standard ontology

[Matthew West <dr.matthew.west@xxxxxxxxx>]

Dear Pat,

 

 [MW] I can only talk about ISO 15926 here. I have found that if you talk about sets, there is a very strong presumption that you are talking about ZF sets

 

Well, aren't you? What other kinds of set are there?

 

[MW] Well you were the one mentioning that it was rather natural for class to be a member of class, and that certainly isn’t ZF. So you need some kind of non-well-founded set theory, which is no problem really if you go with extensionalism, you can have them if you can construct them.

 

Regards

 

Matthew West                           

Information  Junction

Tel: +44 560 302 3685

Mobile: +44 750 3385279

matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx

http://www.matthew-west.org.uk/

 

This email originates from Information Junction Ltd. Registered in England and Wales No. 6632177.

Registered office: 2 Brookside, Meadow Way, Letchworth Garden City, Hertfordshire, SG6 3JE.

 

 

_________________________________________________________________
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    (01)