George Boole
19世紀中葉、ジョージ・ブールとそしてオーガスタス・ド・モルガンは体系的で数学的な論理の取り扱いを与えた。彼らの仕事は、ジョージ・ピーコックなどの代数学者の仕事の上に打ち立てられたものであり、アリストテレスの伝統的論理学を数学基礎論の研究に十分な枠組みに拡張した（Katz 1998, p. 686）。