| To: | "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx> |
|---|---|
| From: | Matthew West <dr.matthew.west@xxxxxxxxx> |
| Date: | 2009年2月12日 01:09:35 -0000 |
| Message-id: | <499376e1.0c17400a.0e89.ffff859d@xxxxxxxxxxxxx> |
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)
| Previous by Date: | Re: [ontolog-forum] PDF and the semantic web , Duane Nickull |
|---|---|
| Next by Date: | Re: [ontolog-forum] standard ontology , Mike Bennett |
| Previous by Thread: | Re: [ontolog-forum] standard ontology , Pat Hayes |
| Next by Thread: | [ontolog-forum] (no subject) , Chris Partridge |
| Indexes: | [Date] [Thread] [Top] [All Lists] |