A branch of mathematics that was first developed systematically, because of its applications to logic, by the English mathematician George Boole, around 1850. Closely related are its applications to sets and probability.