Analitik-sentetik Ayrımı
Analitik-sentetik ayrımı, hem mantık hem de epistemolojide, yüklemi özneye dahil olan ifadeler (analitik ifadeler) ile yüklemi özneye dahil olmayan ifadeler (sentetik ifadeler) arasındaki ayrım (Immanuel Kant'tan türetilmiştir). Bazı filozoflar, inkârı kendi içinde çelişkili olan tüm önermeleri analitik olarak tanımlamayı ve sentetik terimini "analitik olmayan" anlamında tanımlamayı tercih etmektedir. Kant'ın Saf Aklın Eleştirisi'nde ortaya koyduğu bu ayrım, 20. yüzyılın ortalarında, özellikle W.V.O. Quine tarafından dile getirilen itirazlar ışığında kapsamlı tartışmalara yol açmıştır.