George Boole
1800年代中頃、イギリスの数学者ジョージ・ブールがブール代数（ブール論理）により、二進的な数（ここで言う「数」は、数学的な広義の意味であり、普通の二進法の対象である、数値という意味ではない）の代数による命題論理の形式化を示した。