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

["Patrick Cassidy" <pat@xxxxxxxxx>]

Rob,
[RF] > > Examples of incompatible theories: the axiomatic set theories of
> > mathematics.
> 
  The math theories you mention may or may not be all describable in terms
of the same primitives - but I can't visualize the incompatibilities you are
referring to (and decide whether they are not expressible by common
primitives) unless I can see the logical axioms that demonstrate a logical
contradiction.  My first attempt to find them came up null. Your turn.  ;-)    (01)

Pat    (02)

Patrick Cassidy
MICRA, Inc.
908-561-3416
cell: 908-565-4053
cassidy@xxxxxxxxx    (03)



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