In the middle of the nineteenth century, George Boole and then Augustus De Morgan presented systematic mathematical treatments of logic.
I midten af 1800-tallet fremkom George Boole og derefter Augustus De Morgan med systematiske, matematiske behandlinger af logikken.