La vérité matérielle, qui est l'adéquation entre ce qui est et le jugement que l'on énonce dans une proposition : cette adéquation est validée par l'expérience. Mais la nature de ce type de vérité est variable, car elle peut être qualifiée de vérité objective, relative, subjective, ou encore projective etc., suivant la théorie de la connaissance que l'on soutient (réalisme, relativisme, criticisme, constructivisme, etc.).
La vérité formelle, qui est la validité des conclusions d'un système hypothético-déductif, procédant suivant des règles de déduction à partir de postulats et d'axiomes admis. Cette vérité est indépendante du contenu des propositions (voyez l'article logique) et dépend de son accord avec les lois de l'entendement. Dans ce cas, la vérité est une vérité de correspondance, et elle est a priori car elle ne dépend pas de l'expérience.
Ce dernier point permet d'introduire une distinction : les vérités purement formelles et a priori sont appelées des vérités analytiques. Ces vérités sont nécessaires et ne nous apprennent rien sur le monde. Les vérités tirées de l'expérience sont quant à elle des vérités synthétiques, car nous lions des termes qui supposent pour des êtres dont l'existence est contingente.
La vérité métaphysique qui, remontant d'une hypothèse à ses conditions, suppose l'existence d'un référent ontologique existant en soi. Dans ce cas, on distingue vérité absolue et vérité relative.
La vérité d'une croyance ou d'une opinion, qui est la vérité d'une proposition qui s'accorde à un ensemble de croyances qui lui préexistent. Ce genre de vérité est souvent appelé vérité