Leibniz y, más tarde Kant, distinguieron entre verdades de hecho y verdades de razón y juicios a priori y juicios a posteriori.