Logic, in its modal aspect, as to which Aristotle was the great founder, shows the relationship between contingent or empirical and necessary or metaphysical truths to be thus: if P is a necessary truth and Q is a contingent truth, then the conjunction, P and Q. is a contingent truth.