section_heading: Logički pozitivizam
paragraph_text: Immanuel Kant je moć rasuđivanja podijelio na analitičke, sintetičke, kao i na a priori i a posteriori. Prema Kantu mogli su postojati sintetički "a priori rasuđivanja". Primjer su matematičke tvrdnje. Frege je prihvatio Kantovu podjelu, ali je odbacio stav da postoje sintetički "a priori rasuđivanja". Prema Fregeu, matematika je logika, i njen učinak je da su matematičke tvrdnje analitički a priori. Ostali logički pozitivisti prihvataju uglavnom Fregeove ideje u okvirima matematike i logicizma da je rasuđivanje ili analitičko a priori ili sintetičko a posteriori. Nešto treće, sintetičko a priori, što se moglo naći kod Kanta, nije prihvaćeno.