Logika kang dikembangaké déning Boole iki nyinaoni bab asas-asas "penalaran" kang bener lan migunakaké simbul-simbul tartamtu. Yèn dibandhingaké karo logika tradhisionalé Aristotèles, logika modhèren kang dikembangaké Boole iki luwih lumrah utawa umum. Logika iki uga logika kang nyinaoni wujud-wujudé "pernyataan," dudu nyinaoni isiné "pernyataan". Dadi logika modhèren iki sejatiné uga logika formal kang nganggo simbul-simbul matematik, mula logika iki uga dikenal minangka logika matematik.