Bu dogmalardan ilki analitik ve sentetik önermeler arasında keskin bir ayrım olduğu; ikincisi ise anlamlı ifadelerin dolaysız deneyimle bire bir karşılaştırılabilecek basit önermelere çözümlenebileceği i dogmasıdır. Quine bu ikinci doğmayı indirgemecilik doğması olarak da adlandırmaktadır.