Analytische beweringen staan tegenover synthetische beweringen. Ze worden onderscheiden vanwege de verschillende manieren waarop hun waarheid wordt vastgesteld.
De waarheid van een analytische bewering wordt geacht volledig en alleen af te hangen van de betekenis van de termen in de bewering. Het standaardvoorbeeld: "Vrijgezellen zijn ongetrouwd". Deze zin kan niet onwaar zijn, omdat 'vrijgezel' hetzelfde zou betekenen als 'ongetrouwd'. Je beweert er eigenlijk niets mee over de wereld maar over de relatie tussen de concepten die erin staan. De waarheid van analytische beweringen is a priori, d.w.z. ze gaat vooraf aan iedere zintuiglijke bevestiging. Ze is ook noodzakelijk.
Niet onvermeld mag blijven dat er filosofen, zijn, zoals Quine, die betogen dat alle beweringen synthetisch zijn. Echte synonymie bestaat niet. Van veel stellen kun je beweren dat ze ongetrouwd zijn, zonder dat je daarmee ook zegt dat de mannen van die stellen vrijgezel zijn.
