Analitik-sentetik ayrımı

Analitik/sentetik ayrımı, terimlerin anlamları açısından doğru olan ifadeler ile doğruluğu yalnızca terimlerin anlamları değil, dünyanın nasıl olduğuyla (yani dünyanın varlığına dair bir işlev ve olgularla) ilgili olan ifadeler arasındaki ayrımdır.

Quine'ın (Carnap'tan) anladığı üzere, analitik doğrular, anlamlarından dolayı (yani anlamlarının sonucu olarak) doğrudur. Örneğin, "Tüm bekarlar, evlenmemiş kişilerdir." ifadesi doğrudur çünkü "bekar" olmak "evlenmemiş kişi" olmak anlamına gelir.

Diğer yandan sentetik iddialar, yalnızca kullanılan ifadedeki kelimelerin anlamlarından dolayı doğru olmaz. Tam aksine, bu ifadelerin doğruluğu (olgusal) gerçeklere dayanır. Örneğin, "Davut bekardır." iddiası, yalnızca, gerçekte de David bekar ise doğrudur.