La lógica de segundo orden surgió de la presentación inicial de la lógica de predicados de Gottlob Frege.Ya distinguía dos tipos de cuantificaciones diferentes(de variables o de predicados) pero no los separaba como lógicas distintas.