Propoziție analitică, în logică, un enunț sau o judecată care este în mod necesar adevărată pe baze pur logice și care servește doar la elucidarea unor semnificații deja implicite în subiect; adevărul său este astfel garantat de principiul contradicției. Astfel de propoziții se disting de propozițiile sintetice, ale căror sensuri includ informații importate din surse nonlogice (de obicei empirice) și care sunt, prin urmare, contingente. Astfel, propoziția că toate corpurile sunt întinse este analitică, deoarece noțiunea de întindere este implicită în noțiunea de corp; în timp ce propoziția că toate corpurile sunt grele este sintetică, deoarece noțiunea de greutate presupune, pe lângă noțiunea de corp, și pe cea de corp în raport unul cu celălalt. În secolul al XIX-lea, Bernard Bolzano, logician și epistemolog praghez, a adăugat o a treia categorie, cea a falsului analitic.
Gottfried Wilhelm Leibniz, un raționalist german din secolul al XVII-lea, făcuse o distincție paralelă între „adevăruri de rațiune” și „adevăruri de fapt”, iar David Hume, un sceptic scoțian, făcuse distincția între „relații de idei” și „chestiuni de fapt”. Prima definiție a unui enunț analitic care se apropie de adecvarea logică a fost cea a lui Bolzano, care susținea că o propoziție este adevărată din punct de vedere analitic dacă fie (1) forma sa propozițională este adevărată pentru toate valorile variabilelor sale, fie (2) poate fi redusă la o astfel de propoziție.
Majoritatea logicienilor contemporani susțin că domeniul cel mai fundamental căruia îi aparține analiticitatea nu este cel al judecăților (care sunt prea psihologice), nici cel al propozițiilor (care aparțin unui limbaj specific), nici cel al definițiilor (care se referă la cuvinte în loc de obiecte); este, în schimb, cel al enunțurilor (care se referă la sensurile propozițiilor). La această referire la semnificații, Gottlob Frege, unul dintre fondatorii logicii contemporane, a adăugat o referire la „legi logice generale”, aceste două referințe fiind singurele cerințe pentru demonstrarea unui enunț analitic.
Distincția dintre enunțurile analitice și cele sintetice a suscitat ample dezbateri la mijlocul secolului al XX-lea, în special din cauza obiecțiilor ridicate de logicianul american Willard Van Orman Quine.
.