La idea de un cálculo de razonamiento fue también cultivada por Gottfried Wilhelm Leibniz.