JS: We now have a recipe for discovering the Mind of God. ''...there must be
a complete and consistent description of the entire universe for all time.''
'' Instead of striving for a global consistency of everything, it might be
better to adopt methods that don't require global consistency''. ''The kind
of higher level of abstraction I would recommend would be a metalevel
ontology that can relate different ontologies and generate new categories to
extend an ontology as needed.'' (01)
John,
You made some noteworthy but contradictory statements. Now I wonder if the
conception of MoG carries the sense of a single global ontology, in your
terms, '' a global consistency of everything'', or, in my terms, UFO,
universal formal ontology, unified framework ontology, a comprehensive and
consistent theory of reality.
Regards,
Azamat (02)
----- Original Message -----
From: "John F. Sowa" <sowa@xxxxxxxxxxx>
To: "[ontolog-forum]" <ontolog-forum@xxxxxxxxxxxxxxxx>
Sent: Friday, June 08, 2007 3:56 PM
Subject: Re: [ontolog-forum] Disaster Management ontology BOF in Delft (03)
Bill and Wacek, (04)
That is like an existence theorem in mathematics, which shows
that something exists without showing how to find an explicit
representation: (05)
BA> You just gave us a recipe for how to make (IMO) a single ontology
> from Sean's "inconsistent" pieces, via the use of reformulation
> of his pieces to make them consistent, or via use of some kind
> of paraconsistency. (06)
vQ> I sympathize with Bill, and would like to see a counterexample
> to what he says. (07)
I can state another existence theorem: (08)
1. Any theory that has at least one instance must be consistent. (09)
2. Since the universe exists, any accurate description of any
part P of the universe has that part as an instance. Therefore,
that description, dscr(P), must be a consistent theory. (010)
3. If P1 and P2 are two parts of the universe that coexist, then
dscr(P1) and dscr(P2) must each be consistent separately, and
their conjunction dscr(P1) & dscr(P2) must also be consistent. (011)
4. By induction, we can prove that the conjunction of all descriptions
of all parts of the universe that coexist must be consistent. (012)
5. If we use a 4D representation of the universe and consider all
space-time chunks as parts, then there must be a complete and
consistent description of the entire universe for all time. (013)
6. Let's call that description MoG (for Mind of God). (014)
We now have a recipe for discovering the Mind of God (or at least
a sizable chunk thereof). (015)
BA> That was what I was trying to get to in my original note – loose
> talk of "one single ontology for X can't ..." is usually based
> on equally loose understanding of the terms "ontology" and "can't". (016)
I just gave a formalizable proof that there is a method for solving
the problem. I wish the both of you the best of luck in carrying out
the details. (017)
John (018)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (019)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Config: 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 Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (020)
|