13 papers · 1 filter
The Architecture of Truth
Robert E. Kent
The theory of institutions is framed as an indexed/fibered duality, where the indexed aspect specifies the fibered aspect. Tarski represented truth in terms of a satisfaction relat…
Truth Factors
Robert E. Kent
Truth refers to the satisfaction relation used to define the semantics of model-theoretic languages. The satisfaction relation for first order languages (truth classification), and…
The Characterization of Abstract Truth and its Factorization
Robert E. Kent
Human knowledge is made up of the conceptual structures of many communities of interest. In order to establish coherence in human knowledge representation, it is important to enabl…
Conceptua: Institutions in a Topos
Robert E. Kent
Tarski's semantic definition of truth is the composition of its extensional and intensional aspects. Abstract satisfaction, the core of the semantic definition of truth, is the bas…
The IFF Approach to the Lattice of Theories
Robert E. Kent
The IFF approach for the notion of "lattice of theories" uses the idea of a concept lattice from Formal Concept Analysis (Ganter and Wille) and the idea of the truth classification…
Semantic Integration in the Information Flow Framework
Robert E. Kent
The Information Flow Framework (IFF) is a descriptive category metatheory currently under development, which is being offered as the structural aspect of the Standard Upper Ontolog…