更在乔治·布尔和德·摩根在1847年开创这种逻辑之后了。
形式逻辑.莱布尼茨是在亚里士多德和1847年乔治·布尔和德·摩根分别出版开创现代形式逻辑的着作之间最重要的逻辑学家。莱布尼茨阐明了我们现在叫做合取、析取、否定、同一、集合包含和空集的首要性质。莱布尼茨的逻辑原理和他的整个哲学可被归约为两点：
数学家.目前微积分领域使用的符号仍是莱布尼茨所提出的。在高等数学和数学分析领域，莱布尼茨判别法是用来判别交错级数的收敛性的。
微积分.