Impredicatividad
De Wikipedia, la enciclopedia encyclopedia
En el ámbito de las matemáticas, la lógica y la filosofía de las matemáticas, se llama impredicativa a toda definición autorreferencial, es decir, a toda definición de un objeto en la que se cuantifica sobre el conjunto al que este objeto pertenece o en la que se define un conjunto haciendo referencia a él mismo. No existe convenio acerca de lo que diferencia lo predicativo de lo impredicativo.
Las definiciones predicativas son las que tratan a los objetos de manera estratificada o ramificada (véase Teoría de tipos), y en este caso se cuantifica sobre variables de un nivel estrictamente inferior al del tipo en el que se efectúa la definición. Un ejemplo representativo es el de la teoría de tipos intuicionista.
La Paradoja de Russell es un ejemplo de una construcción impredicativa: el conjunto de todos los conjuntos que no se contienen a sí mismos. Entonces podemos afirmar que este conjunto pertenece a sí mismo si y solo si no se pertenece a sí mismo.
La menor cota superior de un conjunto es otro ejemplo claro de definición impredicativa, ya que definimos a este objeto como el elemento del conjunto que es mayor o igual que todos los demás. Está claro que estamos haciendo referencia al conjunto al cual pertenece tal objeto, y por tanto esta definición es impredicativa.[1]