Data are naturally defined in terms of theory of knowledge: they are those propositions of which the truth is known without demonstration, so that they may be used as premisses in proving other propositions.