How are the truth classification and the truth concept lattice connected?
The association between the truth classification and the truth concept lattice is based upon the fundamental theorem of Formal Concept Analysis. The fundamental theorem and its various mappings are represented by the IFF Upper Classification Ontology. The truth concept lattice is a potentially infinite open-ended lattice of theories. However, it is important to note is that we are dealing with a fibered structure. This is not a single lattice, but an infinite collection of lattices, where each truth classification and truth concept lattice is based upon (indexed by) a particular first order language.
