La abstracción hipostática en lógica matemática , también conocida como hipóstasis o abstracción subjetiva , es una operación formal que transforma un predicado en una relación ; por ejemplo, "La miel es dulce" se transforma en "La miel es dulce". La relación se crea entre el sujeto original y un nuevo término que representa la propiedad expresada por el predicado original.
La hipóstasis transforma una fórmula proposicional de la forma X es Y en otra de la forma X tiene la propiedad de ser Y o X tiene Y-idad . El funcionamiento lógico del segundo objeto Y-idad consiste únicamente en los valores de verdad de aquellas proposiciones que tienen la propiedad abstracta correspondiente Y como predicado. El objeto de pensamiento introducido de esta manera puede llamarse un objeto hipostático y, en algunos sentidos, un objeto abstracto y un objeto formal .
La definición anterior es una adaptación de la dada por Charles Sanders Peirce . [1] Como lo describe Peirce, el punto principal de la operación formal de la abstracción hipostática, en la medida en que opera sobre expresiones lingüísticas formales, es que convierte un adjetivo predicativo o predicado en un sujeto extra, aumentando así en uno el número de ranuras de "sujeto" —llamadas aridad o adicidad— del predicado principal.
La huella gramatical de esta transformación hipostática es un proceso que extrae el adjetivo "dulce" del predicado "es dulce", reemplazándolo por un nuevo predicado de mayor aridad "posee", y como subproducto de la reacción, por así decirlo, precipitando el sustantivo "dulzura" como un segundo sujeto del nuevo predicado.
La abstracción de la hipóstasis toma el sentido físico concreto del "sabor" que se encuentra en "la miel es dulce" y le atribuye las características metafísicas formales de "la miel es dulce". Esta es la falacia de la reificación [ cita requerida ] .