Filosofía en español
(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, &c., 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 filosófico · 1965:372-373
(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).
Diccionario de filosofía · 1984:345