Predicado de segundo orden

En lógica matemática, un predicado de segundo orden es un predicado que toma un predicado de primer orden como argumento. Comparar predicado de orden superior.

La idea de la predicación de segundo orden fue introducida por el matemático y filósofo alemán Frege. Se basa en su idea de que un predicado como "es un filósofo" designa un concepto, en lugar de un objeto. A veces, un concepto puede ser el sujeto de una proposición, como en "No hay filósofos bosnios". En este caso, no estamos diciendo nada de ningún filósofo bosnio, sino del concepto "es un filósofo bosnio" que no se satisface. Así, el predicado "no se satisface" atribuye algo al concepto "es un filósofo bosnio" y, por lo tanto, es un predicado de segundo nivel.

Esta idea es la base de la teoría del número de Frege.