ABSTRACT

Supposing that truths require truth-makers, that true propositions are those that correspond to facts, is there a distinctive domain of facts that make true the relational truths? Or is it rather that, if we had collected the facts required to make true the other truths, the non-relational ones, we would then have enough facts to make all truths true?