Den kan spores tilbake til 1800-tallet. Det var på denne tiden at bl.a. George Boole, Augustus De Morgan og Gottlob Frege gjorde de første forsøkene på gi logikken en matematisk fremstilling (se boolsk algebra og formal logikk). Den moderne logikkens mest grunnleggende gren er setningslogikken. Andre grener er predikat-, klasse- og relasjonslogikken.