Analytický výrok nebo analytický výrok je ve filosofii takový, že jeho pravdivost může být určena (výhradně) analýzou jeho smyslu. Volně definovaný analytický výrok je výrok, jehož negace si sama odporuje, nebo výrok, který je pravdivý v každém myslitelném světě, nebo výrok, který je pravdivý z definice.
Například Všechny bílé kočky jsou bílé je nejen pravda, ale také nutně pravda – protože negace toho – „Ne všechny bílé kočky jsou bílé“ si sama protiřečí. Prohlášení
je pravdivé díky významu jeho slov a nedává smysl uvažovat o tom, že bychom chodili ven a studovali chování vegetariánů, abychom zjistili, zda je pravdivé nebo ne. Prohlášení, která nejsou analytická – tedy jejichž pravdivost nebo nepravdivost nelze zjistit úvahami o jejich významu – se nazývají syntetická; viz syntetická tvrzení.
Neexistuje jediná, obecně přijímaná, přesná definice pro analytické tvrzení, ale filozofové navrhli malé množství úzce souvisejících definic, z nichž některé jsou prezentovány v dalším textu tohoto článku.
Pojem byl poprvé definován Immanuelem Kantem (1724-1804):
Tato definice je užší než definice, které se v současnosti používají.
Pozdější filozofové poukázali na to, že pokud je Kantova definice přijata, nejsou některé teze, které jsou podle definice pravdivé, analytické.
Například ‚A je A‘ je podle Kantovy definice analytické.
Ale stejně zřejmé ‚Jestliže A, pak A‘ není analytické, protože není zarámováno do předmětové predikátové formy. V důsledku toho byla definice analytické propozice rozšířena o výroky, které nejsou v předmětové predikátové formě.
Od té doby byly rozvinuty dvě základní definice pro „analytický návrh“:
Analytické propozice nemusí být triviální tautologie jako „Všechny bílé kočky jsou kočky“. Složité matematické a geometrické věty jsou analytické propozice, protože popření takových vět vede k rozporu. Nicméně v případě matematických a geometrických vět se tvrzení, že analytické propozice jsou pravdivé v každém myslitelném světě, rozpadá.
Analytické propozice a apriorní znalosti
Analytické propozice a apriorní znalosti spolu souvisí, i když ne stejně.
Analytické propozice jsou propozice určitého druhu.
A priori znalosti jsou znalosti, které lze získat bez zkušeností ze světa.
Znalost analytických propozic je tedy obecně považována za apriorní znalost. Zda mohou existovat i jiné druhy apriorních znalostí, je předmětem značné diskuse ve filosofii (viz syntetická propozice).