Re: [ontolog-forum] Foundation ontology, CYC, and Mapping

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

Dear Rob,    (01)

> Matthew. You seem to be suggesting a theory capable of deriving all
> the axiomatic set theories of maths which you call "4D
> extensionalism". Am I right that you think it might be possible to
> derive all of mathematics using this theory?    (02)

MW: Maths is abstract and has nothing to do with 4D which is about
individuals.    (03)

Regards    (04)

Matthew West                            
Information  Junction
Tel: +44 560 302 3685
Mobile: +44 750 3385279
matthew.west@xxxxxxxxxxxxxxxxxxxxxxxxx
http://www.informationjunction.co.uk/
http://www.matthew-west.org.uk/    (05)

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.    (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
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (07)