analytic a priori proposition

Written by

The Information Architects of Encyclopaedia Britannica

Last updated

June 18, 2026

Quick Summary

An analytic a priori proposition is a statement that is true by definition and does not require empirical evidence to verify. The predicate of the proposition is logically contained within the subject. For example, "All husbands are married" is analytic because the concept of being married is inherent in the definition of a husband.12

In contrast, synthetic propositions, like "Some bodies are heavy," are true based on how the world is, not just on the meaning of the words. While most analytic propositions are a priori (known independently of experience), and most synthetic propositions are a posteriori (known through experience), the possibility of a priori synthetic judgments has been a significant topic in philosophy, particularly for thinkers like Immanuel Kant.31

Summary created from Britannica articles using AI. AI can make mistakes, so verify using Britannica articles.

4 Britannica Sources

Ask Britannica AI about this topic

Britannica doesn't have a full article on this topic, so we've curated a list of our relevant coverage.

$optical illusion: refraction of light$
epistemology
Immanuel Kant
and synthetic propositions): (1) analytic a priori propositions, such as “All bachelors are unmarried” and “All squares have four sides,” (2) synthetic a posteriori propositions, such as “The cat is on the mat” and “It is raining,” and (3) what he called “synthetic a priori” propositions, such as “Every…
Read More
and synthetic propositions): (1) analytic a priori propositions, such as “All bachelors are unmarried” and “All squares have four sides,” (2) synthetic a posteriori propositions, such as “The cat is on the mat” and “It is raining,” and (3) what he called “synthetic a priori” propositions, such as “Every…
Read More