Et AD-system utgjør således regler for hva som skal anses som sant eller usant, og brukes i utforming av abstrakte, formale systemer som f.eks. matematikk og teologi. Som motsetning bruker man i empiriske kunnskapsområder såkalt hypotetisk-deduktiv metode for å avgjøre sannhetsgehalten i en påstand: man fremsetter hypoteser (teorier), og avgjør i hvilken grad empiriske observasjoner stemmer med dette. Er det forholdsvis god overensstemmelse beholdes hypotesen (og kan få status som teori), er det dårlig overensstemmelse, forkastes hypotesen. Empiriske vitenskaper forholder seg ikke til begreper som sant eller usant, bare grad av overensstemmelse mellom teori og observasjon (Hume).