===== PREDICATIVO =====
(in. Predicative; fr. Prédicatif; al. Prädicativ; it. Predicativó).

1. Chama-se predicativo o [[lexico:u:uso|uso]] do [[lexico:v:verbo|verbo]] [[lexico:s:ser|ser]] como cópula de uma [[lexico:p:proposicao|proposição]], ou seja, em seu [[lexico:s:significado|significado]] [[lexico:n:nao|não]] [[lexico:e:existencial|existencial]] (v. ser).

2. Chama-se de predicativa uma [[lexico:d:definicao|definição]] que não é impredicativa, no [[lexico:s:sentido|sentido]] que Poincaré deu a este [[lexico:t:termo|termo]] (v. [[lexico:d:definicao-impredicativa|definição impredicativa]]); portanto, chama-se de predicativo também a [[lexico:t:teoria|teoria]] que exclui por [[lexico:p:principio|princípio]] as definições impredicativas ou o [[lexico:c:calculo|cálculo]] proposicional baseado nessa exclusão (cf. p. ex., Church, Intr. to Mathematical Logic, § 58) (v. [[lexico:a:antinomia|antinomia]]).