In der mathematischen Logik ist ein Prädikat der zweiten Ordnung ein Prädikat, das ein Prädikat der ersten Ordnung als ein Argument nimmt. Vergleichen Sie höherwertiges Prädikat.

Die Idee von der zweiten Ordnungsaussage wurde vom deutschen Mathematiker und Philosophen Frege eingeführt. Es basiert auf seiner Idee, dass ein Prädikat, das "ein Philosoph ist", ein Konzept, aber nicht einen Gegenstand benennt. Manchmal kann ein Konzept selbst das Thema eines Vorschlags, solcher als darin sein "Ihm gibt keine albanischen Philosophen". In diesem Fall sagen wir nicht, dass irgendetwas irgendwelcher albanischen Philosophen, aber des Konzepts "ein albanischer Philosoph ist", dass es nicht zufrieden ist. So ist das Prädikat "nicht zufrieden" schreibt zu etwas zum Konzept "ist ein albanischer Philosoph", und ist so ein Prädikat des zweiten Niveaus.

Diese Idee ist die Basis der Theorie von Frege der Zahl.