In philosophy and epistemology, epistemic theories of truth are attempts to analyze the notion of truth in terms of epistemic notions such as knowledge, belief, acceptance, verification, justification, and perspective.
A variety of such conceptions can be classified into verificationist theories, perspectivist or relativist theories, and pragmatic theories.
Verificationism is based on verifying propositions. The distinctive claim of verificationism is that the result of such verifications is, by definition, truth. That is, truth is reducible to this process of verification.
According to perspectivism and relativism, a proposition is only true relative to a particular perspective. Roughly, a proposition is true relative to a perspective if and only if it is accepted, endorsed, or legitimated by that perspective.
Many authors writing on the topic of the notion of truth advocate or endorse combinations of the above positions. Each of these epistemic conceptions of truth can be subjected to various criticisms. Some criticisms apply across the board, while others are more specific.
Verificationism
The two main kinds of verification philosophies are positivism and a-priorism.
In positivism, a proposition is meaningful, and thus capable of being true or false, if and only if it is verifiable by sensory experiences.
A-priorism, often used in the domains of logic and mathematics, holds a proposition true if and only if a priori reasoning can verify it. In the related certainty theory, associated with Descartes and Spinoza, a proposition is true if and only if it is known with certainty.
Logical positivism attempts to combine positivism with a version of a-priorism.
Another theory of truth that is related to a-priorism is the concept-containment theory of truth. The concept-containment theory of truth is the view that a proposition is true if and only if the concept of the predicate of the proposition is "contained in" the concept of the subject.