Predicado
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:372-373
Predicado
(en la lógica tradicional.) Elemento de todo juicio; es lo que se
afirma o niega del sujeto. Por lo común, el concepto de “predicado”
expresaba conceptos acerca de las propiedades. A diferencia de la
lógica tradicional, el propio Aristóteles definió el predicado de
manera algo distinta (y con mayor exactitud desde el punto de vista
funcional), incorporándole el nexo. La lógica formal contemporánea
parte de un concepto más general de predicado, por el que entiende una
función lógica que adquiere tal o cual significada verdadero,
determinada para una esfera objetiva. A diferencia de la concepción
tradicional de predicado como función monoádica, la función indicada
puede ser de dos, tres, etc., variables, es decir, puede expresar
relaciones poliádicas. Así, es un predicado monoádico: “x – río”;
diádico: “x < y”; triádico: “x se encuentra entre y y z”. Al sustituir
las variables por los nombres de objetos individuales de aquellas
zonas objetivas para las que el predicado tiene sentido, se obtiene
enunciados verdaderos o falsos.
Diccionario de filosofía · 1984:345
Predicado
(latín praedicatum.) En la lógica tradicional, uno de los dos términos
del juicio, a saber, aquel en que se dice algo sobre objeto del habla
(sujeto). Hasta fines del siglo 19, el sujeto del juicio de ordinario
se identificaba en la lógica con el sujeto gramatical, y el predicado,
con la parte nominal del predicado gramatical, que se expresa,
digamos, por el adjetivo. Así pues, la forma del predicado (conexión
predicativa) se reducía a la conexión atributiva, es decir,
significaba que le es propio al objeto (sujeto) determinado
carácter. El desarrollo de la lógica matemática condujo a la revisión
de este punto de vista. El enfoque contemporáneo de la estructura
lógica del juicio consiste en que los conceptos tradicionales de
predicado y de sujeto se sustituyen, respectivamente, por los
conceptos matemáticos exactos de función y sus argumentos. En
conformidad con ello, los predicados se determinan en los conjuntos
(esferas de objetos), cuyos elementos sirven de argumentos o
significaciones de las correspondientes variables. La nueva
interpretación del predicado imprime una comunidad necesaria al
razonamiento lógico, que unifica las ilaciones tanto silogísticas como
no silogísticas, y la forma funcional de anotación proporciona amplias
posibilidades para formalizar los enunciados de toda teoría
científica. (Véase asimismo Función, Cálculo de predicados).