Re: [ontac-forum] Theories, Models, Reasoning, Language, and Truth

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

Paul,    (01)

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.    (02)

 > 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.    (03)

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

John    (05)


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