Lógica de Orden Superior

Una clase de sistemas lógicos que extiende la cuantificación a predicados, funciones y entidades de tipo superior (funciones de funciones, predicados de predicados, etc.), permitiendo razonar sobre objetos de tipo superior y posibilitando la formalización directa de conceptos matemáticos y semánticos no fácilmente expresables en lógicas de orden inferior.