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

["John F. Sowa" <sowa@xxxxxxxxxxx>]

Dear Matthew and Rob,    (01)

RF>> I can't imagine how to model an infinity of theories, let
 >> alone move between them, unless it is by generating them.    (02)

MW> You are not interested in all of them so it does not matter.
 > That there is "space" in the lattice for an infinite set of
 > theories is the important point.    (03)

Just think of the integers and the real numbers.  We use them all
the time, but we don't "generate" them unless we need them.  The
fact that they're infinite means that there are more than enough
to satisfy all our needs.  We'll never run out.    (04)

For the repository of actual theories, I use the term 'hierarchy'.
That's a finite subset of the lattice that contains those theories
that people have found useful.    (05)

The lattice is the theoretical framework that shows all the
possible options for future expansion.    (06)

That's the way we use the number system.    (07)

John    (08)


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