Así como la lógica proposicional puede considerarse un avance de la lógica silogísta anterior, la lógica del predicada de Gottlob Frege era un avance de la lógica proposicional anterior.