The papers present some work in progress on a theory of truth for semantic information, which is interpreted as a relation of correctness. There are many theories of truth, but essentially
a) redundancy-friendly theories have no patience for truth itself;
b) coherence-friendly theories have little to say about epistemic realism and how truth latches on to reality; and
c) correspondence-friendly theories fail to account for a relation of truth based on constructionist epistemologies (e.g. Kant’s) sympathetic to a critical form of realism, according to which the world in itself (the noumenal) remains intrinsically unknowable.
The paper seeks to bypass the limits of (a)-(c) and other approaches by focusing on what it means for some information (a model) to be true because of some other information (another model).