Setningslogikkens foregangsmenn var George Boole, Augustus De Morgan og Gottlob Frege. Disse grunnla fagfeltet som i dag er kjent som boolsk algebra, som setningslogikken er en del av.