Analitikus tétel, a logikában olyan állítás vagy ítélet, amely tisztán logikai alapon szükségszerűen igaz, és csak a tárgyban már implicit módon meglévő jelentések megvilágítására szolgál; igazságát tehát az ellentmondás elve garantálja. Az ilyen tételeket megkülönböztetjük a szintetikus tételektől, amelyek jelentései nem logikai (általában empirikus) forrásokból importált információkat tartalmaznak, és ezért kontingensek. Így az a tétel, hogy minden test kiterjedt, analitikus, mert a kiterjedés fogalma implicit módon benne van a test fogalmában; míg az a tétel, hogy minden test nehéz, szintetikus, mert a súly fogalma a test fogalma mellett feltételezi a testek egymáshoz való viszonyát is. A 19. században Bernard Bolzano prágai logikus és episztemológus egy harmadik kategóriával, az analitikusan hamisakkal egészítette ki.
Gottfried Wilhelm Leibniz, a 17. századi német racionalista párhuzamosan különbséget tett az “ész igazságai” és a “tényigazságok” között, David Hume skót szkeptikus pedig az “eszmei viszonyok” és a “ténykérdések” között. A logikai adekvátságot megközelítő analitikus állítás első definíciója Bolzanoé volt, aki szerint egy mondat akkor analitikusan igaz, ha (1) kijelentő formája vagy igaz a változóinak minden értékére, vagy (2) ilyen mondattá redukálható.
A legtöbb kortárs logikus úgy véli, hogy a legalapvetőbb terület, amelyre az analitikusság vonatkozik, nem az ítéleteké (amelyek túlságosan pszichológiai jellegűek), nem a mondatoké (amelyek egy adott nyelvhez tartoznak), nem a definícióké (amelyek tárgyak helyett szavakról szólnak), hanem az állításoké (amelyek a mondatok jelentéseire vonatkoznak). A jelentésekre való hivatkozást Gottlob Frege, a kortárs logika egyik alapítója kiegészítette az “általános logikai törvényekre” való hivatkozással, és ez a két hivatkozás az egyetlen követelmény egy analitikus állítás bizonyításához.
Az analitikus és szintetikus állítások megkülönböztetése a 20. század közepén széles körű vitát váltott ki, különösen az amerikai logikus, Willard Van Orman Quine által felvetett ellenvetések miatt.