===== PREDICADO =====
(in. Predicate; fr. Prédicat; al. Prädikat; it. Predicató).

Na [[lexico:l:logica-aristotelica|lógica aristotélica]], a [[lexico:p:proposicao|proposição]] consiste em afirmar (ou negar) algo de [[lexico:a:alguma-coisa|alguma coisa]]: portanto, divide-se em dois termos essenciais, o [[lexico:s:sujeito|sujeito]], aquilo de que se afirma (ou se nega) alguma [[lexico:c:coisa|coisa]], e o predicado (pategoroumenon), que é justamente o que se afirma (ou nega) do sujeito: assim em "[[lexico:s:socrates|Sócrates]] é branco", "Sócrates" é o sujeito; "branco", o predicado. O predicado pode [[lexico:s:ser|ser]] [[lexico:e:essencial|essencial]], [[lexico:p:proprio|próprio]], ou simplesmente acidental. Através de [[lexico:b:boecio|Boécio]], essa doutrina passou à [[lexico:l:logica|Lógica]] medieval (cf. [[lexico:p:pedro-hispano|Pedro Hispano]], 1.07: "[[lexico:s:subiectum|subiectum]] est de [[lexico:q:quo|quo]] aliquid dicitur; praedicatum est [[lexico:q:quod|quod]] de altero dicitur") e, dela, a toda a Lógica ocidental. Na lógica contemporânea, com a crise da concepção predicativa da proposição (segundo a qual a proposição consiste na [[lexico:a:atribuicao|atribuição]] de um predicado a um sujeito), o [[lexico:t:termo|termo]] "predicado" passou a [[lexico:t:ter|ter]] [[lexico:u:uso|uso]] oscilante. [[lexico:r:russell|Russell]] (Princ. math., I2, pp. 51 ss.) dá o [[lexico:n:nome|nome]] de "predicado" às funções proposicionais de primeira [[lexico:o:ordem|ordem]], que contêm somente variáveis individuais (substituíveis apenas por nomes próprios, que denotam indivíduos). Hilbert e Ackermann (Grundzüge der theoretischen Logik), retornando de alguma maneira ao uso [[lexico:c:classico|clássico]], entendem propriamente por "predicado" o [[lexico:f:functor|functor]] de uma [[lexico:p:proposicao-funcional|proposição funcional]] qualquer com uma ou mais variáveis. Analogamente, mas com maior [[lexico:p:precisao|precisão]], Carnap (cf. p. ex., Einfuhrung in die Symbolische Logik, 1954, pp. 4 ss.) usa "predicado" para indicar o [[lexico:s:simbolo|símbolo]] de propriedades ou [[lexico:r:relacao|relação]] atribuídas a indivíduos.

Na lógica tradicional, define-se o predicado como o termo a cópula aplica ao sujeito. O predicado constitui, juntamente com o sujeito, a [[lexico:m:materia|matéria]] da proposição. Também se define o predicado como aquilo que se enuncia do sujeito. Os autores de inspiração fenomenológica distinguiram entre predicado e [[lexico:a:atributo|atributo]]. Este é concebido como um [[lexico:m:modo|modo]] de ser [[lexico:o:objetivo|objetivo]], portanto, a [[lexico:n:nocao|noção]] de atributo é [[lexico:o:ontologica|ontológica]], enquanto a de predicado é lógica.

A lógica tradicional considerou diversos tipos de predicação, de [[lexico:a:acordo|acordo]] com a [[lexico:e:extensao|extensão]] e a [[lexico:c:compreensao|compreensão]] do predicado. no que se refere à extensão, o predicado pode tomar-se particularmente (nas proposições afirmativas) e universalmente (nas proposições negativas). Quanto à compreensão, o predicado pode tomar-se totalmente (nas proposições afirmativas) e parcialmente (nas proposições negativas). A lógica [[lexico:a:atual|atual]] formulou um a doutrina mais precisa sobre o predicado; segundo os autores desta inspiração, o predicado é um dos dois [[lexico:e:elementos|elementos]] em que pode decompor-se o [[lexico:e:enunciado|enunciado]]. O [[lexico:c:chamado|chamado]] é da predicação está [[lexico:i:implicito|implícito]] e isso permite distingui-lo de outras formas de é. A relação entre o [[lexico:l:logico|lógico]] e o [[lexico:o:ontologico|ontológico]] no predicado foi tratada na lógica atual quando se discutiu o [[lexico:p:problema|problema]] da [[lexico:d:designacao|designação]], que põe as questões outrora conhecidas pelo nome de [[lexico:t:teoria|teoria]] dos [[lexico:u:universais|universais]].