逻辑

亚里士多德开创逻辑学，德·摩根改进书写逻辑公式的传统方法，真正的进步发生在布尔手里，他创造完整的现代代数符号体系，并在此基础上，使得逻辑学代数化，成为数学的一个分支。