"Relations of ideas", such as the abstract truths of logic and mathematics, known true without experience of particular instances, offer "a priori" knowledge.Yet the quests of empirical science concern "matters of fact and real existence", known true only through experience, thus "a posteriori" knowledge.