 Kant also sorted statements, rather, into two types, "analytic" versus "synthetic".True by their terms' arrangement and meanings, the analytic are tautologies, mere logical truths—thus true by necessity—whereas the synthetic apply meanings toward factual states, which are contingent.Yet certain synthetic statements, presumably contingent, were nonetheless, via the mind, necessicarlly true.