The development of predicate logic is usually attributed to Gottlob Frege, who is also credited as one of the founders of analytical philosophy, but the formulation of predicate logic most often used today is the first-order logic presented in Principles of Mathematical Logic by David Hilbert and Wilhelm Ackermann in 1928.
O desenvolvemento da lóxica de predicados atribúese normalmente a Gottlob Frege, a quen tamén se recoñece como un dos fundadores da filosofía analítica, pero a formulación da lóxica de predicados máis utilizada hoxe en día é a lóxica de primeira orde presentada nos Principles of Mathematical Logic de David Hilbert e Wilhelm Ackermann en 1928.