Britannica
Sources used in this answer
Why are logic and mathematics often considered examples of a priori knowledge?
Created from Britannica articles
using AI.
AI can make mistakes, so verify using Britannica articles.
Epistemology
The refraction (bending) of light as it passes from air into water causes an optical illusion: straws in the glass of water appear broken or bent at the water's surface.
In epistemology, logic and mathematics are considered a priori knowledge because they are understood to be valid independently of empirical experience or observation.123
Philosophers and logicians generally categorize these disciplines as a priori for the following reasons:
- Analytic Nature: Many propositions in logic and mathematics are considered analytic, meaning they are true by virtue of the meanings of the terms they contain. For example, the statement "2 + 3 = 5" is true based solely on the definitions of the numbers and the operators involved.3
- Necessity and Universality: Unlike empirical observations, which are contingent and subject to exceptions, logical and mathematical truths are viewed as necessary; they cannot be denied without resulting in a self-contradiction.13
- Relation of Ideas: As noted by David Hume, these truths represent a "relation of ideas" rather than a statement of fact about the physical world. Consequently, they cannot be refuted by experience, as their validity is established through deductive inference from postulates and definitions.3
While Immanuel Kant famously sought to explain how such knowledge could be both necessary and informative, modern perspectives often emphasize their formal, deductive structure.134