• sentetik-analitik önermeler ayrımı semantik, a priori-a posteriori ise epistemik bir ayrımdır.

    analitik önerme yüklemin öznede içerildiği önermelerdir.
    örnek: bekar erkekler evli değildir. bekar olmak evli olmamayı içerdiği için bu önerme analitiktir.

    geri kalan tüm önermeler ise sentetik sayılabilir.

    a priori deney öncesi bilgi demektir. a posteriori ise deney sonrası.

    peki bir şey hem sentetik hem a priori olabilir mi? kant bu soruya evet yanıtını veriyor ve matematiği örnek gösteriyor. örneğin 5+7=12 önermesinde 12, 5 ve 7'yi içermez ancak "5", "+" ,"7" ve "=" doğada bulunup deneye de konu edilemez niteliklerdir.

    o halde sentetik a priori mümkündür ve kant'ın felsefeye büyük katkılarından biri bu tespittir.