Consistancy between two theories might not be total, and thus there might
need to be something other than a drop to the bottom, as something absurd;
OR something that can be in fact merged from two theories into one theory. (01)
I am not rejecting the notion of a lattice of theories ordered by some
formal method, but it does not seem to me that this lattice, as commonly
understood, is going to allow users (business or medical community) to
define what they (as the domain specialists) want to define and then let the
lattice manage the merge and comparison issues. (02)
What am I missing, here? (03)
-----Original Message-----
From: ontac-forum-bounces@xxxxxxxxxxxxxx
[mailto:ontac-forum-bounces@xxxxxxxxxxxxxx]On Behalf Of John F. Sowa
Sent: Monday, December 19, 2005 2:07 PM
To: ONTAC-WG General Discussion
Subject: Re: [ontac-forum] Theories, Models, Reasoning, Language, and
Truth (04)
Paul, (05)
The whole point of the lattice of theories is to provide
a systematic method for classifying all theories and showing
how they are related to one another. (06)
> I assume that these theories might have terminological
> inconsistencies with other theories, and that two theories
> might exist that were founded on very different assumptions. (07)
Yes. That is one of the reasons for organizing them in a
lattice: if the infimum of two theories is the absurd
type at the bottom, they are inconsistent with one another.
Otherwise, they are consistent, and their infimum is a
a common specialization. (08)
John (09)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (010)
_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-forum/
To Post: mailto:ontac-forum@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (011)
|