Predicado de segundo orden

format_list_bulleted Contenido keyboard_arrow_down
ImprimirCitar
Aspectos de la lógica matemática

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.

Contenido relacionado

Producto de anillos

Convergencia débil

Introducción bicondicional

Más resultados...
Tamaño del texto:
undoredo
format_boldformat_italicformat_underlinedstrikethrough_ssuperscriptsubscriptlink
save