We have, then, the three classes propositions which assert relations of ideas propositions which assert matters of fact for which we have the evidence of direct observation or personal memory; propositions which assert matters of fact for which we have not this evidence.