Analytisk sats, inom logiken, ett påstående eller ett omdöme som är nödvändigtvis sant på rent logiska grunder och som endast tjänar till att belysa betydelser som redan är underförstådda i ämnet; dess sanning garanteras således av motsägelseprincipen. Sådana satser skiljer sig från syntetiska satser, vars innebörder innefattar information som importerats från icke-logiska (vanligen empiriska) källor och som därför är kontingenta. Satsen att alla kroppar är utsträckta är således analytisk, eftersom begreppet utsträckt är implicit i begreppet kropp; medan satsen att alla kroppar är tunga är syntetisk, eftersom begreppet vikt utöver begreppet kropp förutsätter begreppet kropp även begreppet kroppar i förhållande till varandra. På 1800-talet lade Bernard Bolzano, en logiker och epistemolog från Prag, till en tredje kategori, den analytiskt falska.
Gottfried Wilhelm Leibniz, en tysk rationalist från 1600-talet, hade gjort en parallell distinktion mellan ”förnuftssannolikheter” och ”faktasannolikheter”, och David Hume, en skotsk skeptiker, hade gjort en distinktion mellan ”idéförhållanden” och ”sakförhållanden”. Den första definitionen av en analytisk utsaga som närmar sig logisk adekvans var Bolzanos, som ansåg att en mening är analytiskt sann om antingen (1) dess satsform är sann för alla värden på variablerna eller (2) den kan reduceras till en sådan mening.
De flesta samtida logiker anser att det mest grundläggande område som analyticitet avser inte är domar (som är alltför psykologiska), inte heller meningar (som tillhör ett specifikt språk) eller definitioner (som handlar om ord i stället för objekt), utan i stället påståenden (som hänvisar till betydelser av meningar). Till denna hänvisning till betydelser lade Gottlob Frege, en av den moderna logikens grundare, till en hänvisning till ”allmänna logiska lagar”, och dessa två hänvisningar är de enda kraven för att bevisa ett analytiskt påstående.
Skillnaden mellan analytiska och syntetiska påståenden väckte en omfattande debatt i mitten av 1900-talet, särskilt med tanke på de invändningar som framfördes av den amerikanske logikern Willard Van Orman Quine.