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

Na [[lexico:l:logica-aristotelica:start|lógica aristotélica]], a [[lexico:p:proposicao:start|proposição]] consiste em afirmar (ou negar) algo de [[lexico:a:alguma-coisa:start|alguma coisa]]: portanto, divide-se em dois termos essenciais, o [[lexico:s:sujeito:start|sujeito]], aquilo de que se afirma (ou se nega) alguma [[lexico:c:coisa:start|coisa]], e o predicado (pategoroumenon), que é justamente o que se afirma (ou nega) do sujeito: assim em "[[lexico:s:socrates:start|Sócrates]] é branco", "Sócrates" é o sujeito; "branco", o predicado. O predicado pode [[lexico:s:ser:start|ser]] [[lexico:e:essencial:start|essencial]], [[lexico:p:proprio:start|próprio]], ou simplesmente acidental. Através de [[lexico:b:boecio:start|Boécio]], essa doutrina passou à [[lexico:l:logica:start|Lógica]] medieval (cf. [[lexico:p:pedro-hispano:start|Pedro Hispano]], 1.07: "[[lexico:s:subiectum:start|subiectum]] est de [[lexico:q:quo:start|quo]] aliquid dicitur; praedicatum est [[lexico:q:quod:start|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:start|atribuição]] de um predicado a um sujeito), o [[lexico:t:termo:start|termo]] "predicado" passou a [[lexico:t:ter:start|ter]] [[lexico:u:uso:start|uso]] oscilante. [[lexico:r:russell:start|Russell]] (Princ. math., I2, pp. 51 ss.) dá o [[lexico:n:nome:start|nome]] de "predicado" às funções proposicionais de primeira [[lexico:o:ordem:start|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:start|clássico]], entendem propriamente por "predicado" o [[lexico:f:functor:start|functor]] de uma [[lexico:p:proposicao-funcional:start|proposição funcional]] qualquer com uma ou mais variáveis. Analogamente, mas com maior [[lexico:p:precisao:start|precisão]], Carnap (cf. p. ex., Einfuhrung in die Symbolische Logik, 1954, pp. 4 ss.) usa "predicado" para indicar o [[lexico:s:simbolo:start|símbolo]] de propriedades ou [[lexico:r:relacao:start|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:start|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:start|atributo]]. Este é concebido como um [[lexico:m:modo:start|modo]] de ser [[lexico:o:objetivo:start|objetivo]], portanto, a [[lexico:n:nocao:start|noção]] de atributo é [[lexico:o:ontologica:start|ontológica]], enquanto a de predicado é lógica.

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

{{indexmenu>.#1|skipns=/^playground|^wiki/ nsonly}}