En lógica , las afirmaciones apofánticas ( del griego ἀποφαντικός , "declaratorias", de ἀποφαίνειν apophainein , "mostrar, dar a conocer") son afirmaciones declarativas cuyo valor de verdad puede determinarse examinando si su predicado puede atribuirse lógicamente a su sujeto .
Por ejemplo, considere las dos oraciones "Todos los pingüinos son pájaros " y "Todos los solteros son infelices". En la primera oración, el conjunto de todos los pájaros es una categoría en la que los pingüinos pueden o no necesariamente ser colocados. En la segunda oración, "infeliz" no es una categoría en la que todos los solteros deban ser colocados necesariamente, depende de la felicidad de los solteros individuales. Sin embargo, como no es necesario consultar o examinar a ningún pingüino para determinar que todos los pingüinos son pájaros, la conclusión de que la primera afirmación debe ser verdadera es apofántica.
El término "apofántico" apareció por primera vez en las obras de Aristóteles . El concepto aparece en la tradición aristotélica árabe como jâzim. [1] En fenomenología , [2] Edmund Husserl consideró que el juicio apofántico era central para su "lógica trascendental" [3] pero su alumno Martin Heidegger argumentó más tarde que los juicios apofánticos son los medios menos confiables para obtener la verdad porque están separados del marco interpretativo original de las relaciones con el sujeto. [4]