[Top] [All Lists]

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

To: <doug@xxxxxxxxxx>, "'[ontolog-forum] '" <ontolog-forum@xxxxxxxxxxxxxxxx>
From: "Patrick Cassidy" <pat@xxxxxxxxx>
Date: Wed, 3 Feb 2010 13:36:35 -0500
Message-id: <001501caa4ff$d0afd340$720f79c0$@com>
[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
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)

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