lógica de ordem superior

Na matemática e na lógica, uma lógica de ordem superior é uma forma de lógica de predicados que se distingue da lógica deprimeira ordem por permitir a presença de quantificadores sobre predicados, e por possuir uma semântica mais forte. Lógicas desse tipo, com sua semântica padrão, são mais expressivas, mas suas propriedades na teoria dos modelos são "menos bem-comportadas" do que as da lógica de primeira ordem em relação a certas aplicações. Um predicado de ordem superior seria um predicado que tem um ou mais predicados como argumentos. Em geral, um predicado de ordem superior de ordem n toma um ou mais predicados de ordem (n − 1) como argumentos, onde n > 1.